基于UML的面向C4ISR能力需求分析的对象建模语言

军事电子信息系统是一种典型的大规模复杂系统,如何获取这种复杂系统的需求仍然是一个难题。提出了一种新的能力需求分析方法。该方法从领域概念化入手,构造了C4ISR能力概念化的元本体;利用UML元层扩展机制,提出了一种用于定义C4ISR能力概念的对象建模语言,并给出了该语言的抽象语法和详细语法,利用OWL DL定义了形式语义。最后以一个C4ISR体系结构仿真建模为案例,说明了该方法的有效性和可用性。

C^4ISR领域本体研究初探

如何实现C4ISR系统的跨越式发展,是当前的研究重点。本体论作为最新的知识工程化技术,信息系统建设是其研究、应用的重要领域。通过分析C4ISR系统特点及未来军事发展趋势,结合C4ISR系统建设的实际情况,阐述了军事领域开展本体研究的广阔前景,并探求建立C4ISR领域本体库,对本体库的作用及发展过程提出了初步设想,在C4ISR系统建设和本体应用两方面做出了有益的探索。

面向领域知识复用的C^4ISR系统需求建模方法

为了准确地获取和复用C4ISR系统需求,提出基于多本体的需求获取与建模框架。详细介绍了在此框架下进行需求建模的过程,首先明确用户的目标模型,然后使用目标对已有的领域知识库进行查询,如果发现匹配的目标,则利用目标-任务的映射关系抽取相关知识,如果没有匹配的目标,则生成概念描述框架引导用户提出需求,最后将两部分需求合并形成最终的需求模型。需求建模过程一方面能够复用已有需求,另一方面能够在本体的引导下提出新的需求,保证了需求模型的质量和建模的效率。

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

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

基于能力的C^4ISR通信领域上下文本体建模方法

上下文信息建模及推理是业务智能化的关键.针对C^4ISR通信领域的智能化,研究了军事通信领域上下文本体建模及推理问题.在基于C^4ISR能力需求分析的基础上提出了一种通信领域上下文本体构建方法.该方法首先给出C^4ISR通信领域元本体的概念、关联、规则等,然后通过对完成使命任务相关的活动分析来驱动C^4ISR通信领域上下文本体的建模,并利用本体自动推理工具完成了上下文推理,最后以一个案例说明该方法的可行性.