论文部分内容阅读
针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.
In view of the weak applicability of UML object modeling language in C4ISR capability requirements analysis, based on the capability meta-ontology, starting from the conceptualization of the domain, a domain-specific description language construction method for C4ISR capability analysis is proposed and used UML Profile Expansion Mechanism, an object modeling method suitable for this language is designed, and on the basis of this, the field-specific model consistency and integrity verification methods based on the description of logical symbolic reasoning system are studied.Finally, a field armored vehicle maintenance area The specific model validation case illustrates the effectiveness and usability of this method.