面向C4ISR能力分析的领域特定描述语言  

Domain-specific language for C4ISR capability analysis

作　　者：董庆超[1] 王智学[1] 朱卫星[1] 陈剑[1] 张婷婷[2] 

机构地区：[1]解放军理工大学指挥自动化学院,南京210007 [2]解放军理工大学理学院,南京211101

出　　处：《系统工程理论与实践》2011年第3期552-560,共9页Systems Engineering-Theory & Practice

基　　金：国家高技术研究发展计划(863计划)(2007AA01Z126);"十一五"国防重点预研基金(9140A06040108JB8101)

摘　　要：针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.The applicability of UML for C4ISR capability requirements analysis is weak. To solve the problem, the paper proposes a construction method of domain-specific language. It discusses the domain conceptualization, suggesting a meta ontology for C4ISR capability conceptualization under which a domain-specific language can be defined to describe the C4ISR capability concepts. The method is supported by taking advantage of the UML Profile mechanism. The model integrity checking is studied through adopting a symbol inference system based on Description Logic. Finally, a case study of C4ISR domain-specific model checking is provided to demonstrate the availability and applicability of the method.

关 键 词：能力元本体 领域特定描述语言 领域特定模型 描述逻辑 SHOIN(D) 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]