为保障复杂装备技术状态管理的有效集成和多方协同,实现技术状态管理业务数据的双重有序管控,提出基于领域系统(domain system,DS)的建模架构和设计方法。通过引入基于模式的系统工程(pattern-based system engineering,PBSE)框架,构建...为保障复杂装备技术状态管理的有效集成和多方协同,实现技术状态管理业务数据的双重有序管控,提出基于领域系统(domain system,DS)的建模架构和设计方法。通过引入基于模式的系统工程(pattern-based system engineering,PBSE)框架,构建基于DS的复杂装备技术状态管理基本架构,设计DS元模型、DS模型、DS模式的建模方法,将国防部体系架构元模型(Department of Defense Architecture framework metamodel,DM2)进行复杂装备技术状态管理领域化重组为DS元模型,并通过领域元数据映射为DS模型,使其有序组织为适用于具体装备技术状态管理的DS模式。为验证所提方法的有效性,以运载火箭结构系统多视图物料清单(X bill of material,XBOM)为案例,开展基于DS的技术状态管理应用。结果表明,所提方法可为其技术状态管理提供兼具建模的一致性和可追溯性的实施方案,为复杂装备技术状态管理的领域模型配置提供指导性思路。展开更多
模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF(weaving-based model composition framework),在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型...模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF(weaving-based model composition framework),在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型合成。WMCF框架支持QVT(query/view/transformations)规范,这也是将模型合成与模型转换相结合的有益尝试。展开更多
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.展开更多
文摘为保障复杂装备技术状态管理的有效集成和多方协同,实现技术状态管理业务数据的双重有序管控,提出基于领域系统(domain system,DS)的建模架构和设计方法。通过引入基于模式的系统工程(pattern-based system engineering,PBSE)框架,构建基于DS的复杂装备技术状态管理基本架构,设计DS元模型、DS模型、DS模式的建模方法,将国防部体系架构元模型(Department of Defense Architecture framework metamodel,DM2)进行复杂装备技术状态管理领域化重组为DS元模型,并通过领域元数据映射为DS模型,使其有序组织为适用于具体装备技术状态管理的DS模式。为验证所提方法的有效性,以运载火箭结构系统多视图物料清单(X bill of material,XBOM)为案例,开展基于DS的技术状态管理应用。结果表明,所提方法可为其技术状态管理提供兼具建模的一致性和可追溯性的实施方案,为复杂装备技术状态管理的领域模型配置提供指导性思路。
文摘模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF(weaving-based model composition framework),在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型合成。WMCF框架支持QVT(query/view/transformations)规范,这也是将模型合成与模型转换相结合的有益尝试。
基金Supposed by the National Natural Science Foundation of China under Grant Nos.6053406060473094(国家自然科学基金)+3 种基金the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863))the National Basic Research Program of China under Grant No.2003CB317002(国家重点基础研究发展计划(973))the 2006 Mountaineering Program ofShanghaiChina under Grant No.06JC14065(上海市科委2006年度"登山行动计划")
文摘在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.
基金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.
