摘要
当前对C^4ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C^4ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对C^4ISR系统能力需求过程元模型的验证。
Current descriptions of C4 ISR system capability requirement are mostly based on static model such as literature and static diagram,and lack of definition of specific operation to information and data, which leads to lack of detailed explanation of behavior between objects. Since the capability model which lacks executable dynamic semantics is unexecutable, a modeling approach to capability requirement process based on activity diagram was proposed to support the modeling and simulation of executable architecture. Firstly, definition of system process model was presented, and with the guidance of C4ISR capability metamodel, capability requirement process metamodel was built by extending UML activity diagram. Then ontology was used to describe the semantics of capability requirement process metamodel, and validation of C4 ISR capability requirement process metamodel was done through reasoning of ontology.
出处
《计算机科学》
CSCD
北大核心
2015年第B11期473-478,507,共7页
Computer Science
关键词
能力需求
可执行
活动图
过程建模
模型验证
Capability requirement, Executable, Activity diagram, Process modeling, Model validation