A Unified Object Topology
نویسندگان
چکیده
Frameworks Architectural styles
منابع مشابه
$L$-enriched topological systems---a common framework of $L$-topology and $L$-frames
Employing the notions of the strong $L$-topology introduced by Zhangand the $L$-frame introduced by Yao and the concept of $L$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf St$L$-Top} of strong$L$-topological spaces, {bf S$L$-Loc} of strict $L$-locales and{bf $L$-EnTopSys} of $L$-enriched topological systems. All of theseconcepts are ...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملVerification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragment of UML, where a graph represents an object diagram, allows us to apply Topology Analysis, a particular abstract interpretation of graph grammars. The outcome of this analysis is a finite and concise over-approximat...
متن کاملVerification and Synthesis of OCL Constraints via Topology Analysis A Case Study
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragment of UML, where a graph represents an object diagram, allows us to apply Topology Analysis, a particular abstract interpretation of graph grammars. The outcome of this analysis is a finite and concise description of ...
متن کاملOn exponentiable soft topological spaces
An object $X$ of a category $mathbf{C}$ with finite limits is called exponentiable if the functor $-times X:mathbf{C}rightarrow mathbf{C}$ has a right adjoint. There are many characterizations of the exponentiable spaces in the category $mathbf{Top}$ of topological spaces. Here, we study the exponentiable objects in the category $mathbf{STop}$ of soft topological spaces which is a generalizati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Software
دوره 14 شماره
صفحات -
تاریخ انتشار 1997