基于UML模型的C^4ISR系统能力需求分析与验证

Analysis and verification of C^4ISR system capability requirements based on UML model

针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。

To analyze the complicated C^4ISR requirements, the paper proposes a systematic approach to capability requirements acquisition and analysis. It suggests that the acquired process be initiated with mission analysis by modeling the operational mission goals and task scenarios using UML modeling technology, and then the conceptual models of the C^4ISR capability requirements can be automatically established through analyzing the mission activity models. Furthermore, the capability concepts are formally described using an ontology description language （OWL DL）, which can check the model integrity and consistency by using a symbol inference system. A demonstrational example is provided to show how to use the method, and experimental tools are applied to demonstrate its availability.