An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defin...An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.展开更多
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）.展开更多
Schema theory research has shown importance of background knowledge within a psycholinguistic model of reading. This paper gives an overview of schema theory as part of a reader-centered, psycholinguistic processing m...Schema theory research has shown importance of background knowledge within a psycholinguistic model of reading. This paper gives an overview of schema theory as part of a reader-centered, psycholinguistic processing model of EFL/ESL reading, in which we discuss how reading comprehension involves background knowledge that goes far beyond linguistic knowledge. The process of interpretation is realized by the employment of two basic modes of information processing, bottom-up and top-down processing. Then, a variety of techniques and classroom activities are suggested for accommodating this phenomenon in a reader-centered EFL/ESL reading program.展开更多
Most efficient indeces and query techniques over XML （extensible markup language） data are based on a certain labeling scheme, which can quickly determine ancestor-descendant and parent-child relationship between tw...Most efficient indeces and query techniques over XML （extensible markup language） data are based on a certain labeling scheme, which can quickly determine ancestor-descendant and parent-child relationship between two nodes. The current basic labeling schemes such as containment scheme and prefix scheme cannot avoid re- labeling when XML documents are updated. After analyzing the essence of existing dynamic XML labels such as compact dynamic binary string （CDBS） and vector encoding, this paper gives a common unifying framework for the numeric-based generalized dynamic label, which can be implemented into a variety of dynamic labels according to the different user-defined value comparison methods. This paper also proposes a novel dynamic labeling scheme called radical sign label. Extensive experiments show that the radical sign label performs well for the initialization, insertion and query operations, and especially for skewed insertion where the storage cost of the radical sign label is better than that of former methods.展开更多
基金Project(2007AA01Z126) supported by the National High Technology Research and Development Program of ChinaProject(51306010202) supported by the National Defense Advance Research Program of China
文摘An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.
文摘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）.
文摘Schema theory research has shown importance of background knowledge within a psycholinguistic model of reading. This paper gives an overview of schema theory as part of a reader-centered, psycholinguistic processing model of EFL/ESL reading, in which we discuss how reading comprehension involves background knowledge that goes far beyond linguistic knowledge. The process of interpretation is realized by the employment of two basic modes of information processing, bottom-up and top-down processing. Then, a variety of techniques and classroom activities are suggested for accommodating this phenomenon in a reader-centered EFL/ESL reading program.
基金the National Major Projects on Science and Technology(No.2010ZX01042-002-003-004)the National Basic Research Program (973) of China(No.2010CB328106)+2 种基金the National Natural Science Foundation of China(No. 61170085)the Program for New Century Excellent Talents in China(No.NCET-10-0388)the Shanghai Leading Academic Discipline Project(No.B412)
文摘Most efficient indeces and query techniques over XML （extensible markup language） data are based on a certain labeling scheme, which can quickly determine ancestor-descendant and parent-child relationship between two nodes. The current basic labeling schemes such as containment scheme and prefix scheme cannot avoid re- labeling when XML documents are updated. After analyzing the essence of existing dynamic XML labels such as compact dynamic binary string （CDBS） and vector encoding, this paper gives a common unifying framework for the numeric-based generalized dynamic label, which can be implemented into a variety of dynamic labels according to the different user-defined value comparison methods. This paper also proposes a novel dynamic labeling scheme called radical sign label. Extensive experiments show that the radical sign label performs well for the initialization, insertion and query operations, and especially for skewed insertion where the storage cost of the radical sign label is better than that of former methods.
