In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in whi...In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.展开更多
A 3 × 3 matrix spectral problem and a Liouville integrable hierarchy are constructed by designing a new subalgebra of loop algebra A^-2. Furthermore, high-order binary symmetry constraints of the corresponding hi...A 3 × 3 matrix spectral problem and a Liouville integrable hierarchy are constructed by designing a new subalgebra of loop algebra A^-2. Furthermore, high-order binary symmetry constraints of the corresponding hierarchy are obtained by using the binary nonlinearization method. Finally, according to another new subalgebra of loop algebra A^-2, its integrable couplings are established.展开更多
The success of system modernization depends on the existence of technical frameworks for information integration and tool interoperation like the Model Driven Architecture （MDA）. Reverse engineering techniques play ...The success of system modernization depends on the existence of technical frameworks for information integration and tool interoperation like the Model Driven Architecture （MDA）. Reverse engineering techniques play a crucial role in system modernization. This paper describes how to reverse engineering activity diagrams from object oriented code in the MDA context focusing on transformations at model and metamodel levels. A framework to reverse engineering MDA models from object oriented code that distinguishes three different abstraction levels linked to models, metamodels and formal specifications, is described. At model level, transformations are based on static and dynamic analysis. At metamodel level, transformations are specified as 0CL （Object Constraint Language） contracts between M0F （Meta Object Facility） metamodels which control the consistency of these transformations. The level of formal specification includes algebraic specifications of MOF metamodels and metamodel-based transformations. This paper analyzes a recovery process of activity diagrams from Java code by applying static and dynamic analysis and shows a formalization of this process in terms of MOF metamodels. The authors validate their approach by using Eclipse Modeling Framework, Ecore metamodels and ATL （Atlas Transformation Language）.展开更多
基金Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905))the National Natural Science Foundation of China(Grant No.60374071)
文摘In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.
基金supported by China Postdoctoral Science Foundation and National Natural Science Foundation of China under Grant No.10471139
文摘A 3 × 3 matrix spectral problem and a Liouville integrable hierarchy are constructed by designing a new subalgebra of loop algebra A^-2. Furthermore, high-order binary symmetry constraints of the corresponding hierarchy are obtained by using the binary nonlinearization method. Finally, according to another new subalgebra of loop algebra A^-2, its integrable couplings are established.
文摘The success of system modernization depends on the existence of technical frameworks for information integration and tool interoperation like the Model Driven Architecture （MDA）. Reverse engineering techniques play a crucial role in system modernization. This paper describes how to reverse engineering activity diagrams from object oriented code in the MDA context focusing on transformations at model and metamodel levels. A framework to reverse engineering MDA models from object oriented code that distinguishes three different abstraction levels linked to models, metamodels and formal specifications, is described. At model level, transformations are based on static and dynamic analysis. At metamodel level, transformations are specified as 0CL （Object Constraint Language） contracts between M0F （Meta Object Facility） metamodels which control the consistency of these transformations. The level of formal specification includes algebraic specifications of MOF metamodels and metamodel-based transformations. This paper analyzes a recovery process of activity diagrams from Java code by applying static and dynamic analysis and shows a formalization of this process in terms of MOF metamodels. The authors validate their approach by using Eclipse Modeling Framework, Ecore metamodels and ATL （Atlas Transformation Language）.
