体系结构是系统的系统(system of systems,SoS)构成的基础,是系统可靠运行和演进的依据。传统的SoS体系结构设计方法包括面向过程的结构化设计方法和面向对象方法等。它们均缺乏对SoS中各利益相关者的目的、意图和行为等的描述与表达。...体系结构是系统的系统(system of systems,SoS)构成的基础,是系统可靠运行和演进的依据。传统的SoS体系结构设计方法包括面向过程的结构化设计方法和面向对象方法等。它们均缺乏对SoS中各利益相关者的目的、意图和行为等的描述与表达。建立了用户需求符号(user requirements notation,URN)这一目标建模语言与美国国防部体系结构框架元模型间的对应关系。基于元模型,提出了SoS目标建模的过程与思路,并以搜索救援为例阐明了所提出的过程与思路。展开更多
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.展开更多
文摘体系结构是系统的系统(system of systems,SoS)构成的基础,是系统可靠运行和演进的依据。传统的SoS体系结构设计方法包括面向过程的结构化设计方法和面向对象方法等。它们均缺乏对SoS中各利益相关者的目的、意图和行为等的描述与表达。建立了用户需求符号(user requirements notation,URN)这一目标建模语言与美国国防部体系结构框架元模型间的对应关系。基于元模型,提出了SoS目标建模的过程与思路,并以搜索救援为例阐明了所提出的过程与思路。
基金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.
