对象约束语言对武器系统效能评估指标体系的描述与验证

摘要

武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果。针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引入统一建模语言（UML）规范的一部分对象约束语言（OCL）对其进行精确描述。最后,通过实验验证了OCL描述的正确性,为武器系统设计过程中的效能评估提供依据。