罗爱民， 傅 炯

(国防科技大学 信息系统工程重点实验室， 湖南 长沙 410073)



基于体系结构物理交换规范的作战活动可执行模型构建方法

罗爱民， 傅 炯

(国防科技大学 信息系统工程重点实验室， 湖南 长沙 410073)

作战活动是体系结构的核心数据，保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范，定义了作战活动模型和作战规则模型的数据模型；对基本Petri网交换规范进行扩展，形成扩展Petri网的数据交换规范；建立活动模型相关数据与扩展Petri网交换规范的映射规则，根据映射规则自动生成作战活动Petri网模型，并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。

体系结构；可执行模型；物理交换规范；扩展Petri网标记语言

体系结构是系统组成及其关系，以及它们随时间演进的原则和指南。组成、关系以及指南是体系结构设计的基本要素。作战活动不仅反映了系统体系结构的功能和流程，而且也决定了信息交换关系和交换内容。因此作战活动及其流程是体系结构设计的核心内容。在美国国防部体系结构框架(DoD Architecture Framework，DoDAF)2.0提出的DM2[1](DoDAF Meta-model)中，活动也是重要的数据实体。科学地分析、验证与评估活动的动态特性是保证体系结构设计质量的关键。利用可执行模型进行数据分析、验证与评估是体系结构开发中最常用的方法之一。通过构建体系结构可执行模型，可以分析行为合理性、逻辑合理性，验证评估与活动相关的属性、性能等。……