基于UML/OCL的C4ISR效能概念建模分析

摘要

为了统一描述C4ISR系统功能和效能两方面的需求，提出了一种基于UML/OCL的C4ISR效能概念建模和形式化验证方法。首先，利用效能相关概念扩展了DoDAF 2.0能力元模型，构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UMLProfile，形成一种基于UML的C4ISR效能概念建模语言，并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。