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

？针对在c4isr能力需求分析中,uml对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向c4isr能力分析的领域特定描述语言构建方法,并利用umlprofile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.