面向任务的作战系统模型一致性研究

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致。最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证。

Research on Consistency of Model in Task-oriented Combat System

For checking consistency of task in combat system,a formal approach,based on the graph grammar,is proposed which transforms models of combat system to attributed graph and check conflicts and dependencies between functional requirements.A cycle dependency may lead to prevent execution of dynamic models;a wrong dependency shows that functional requirement does not agree with the execution process of dynamic model.So dependency relationships need to be verified detecting whether circle dependency or wrong dependency exist or not.And corresponding detection algorithms have given in this paper.Cycle dependency detection algorithm finds circles by the depth first search;wrong dependency detection algorithm makes depth first search in activity diagram to check if dependency relationship is consistent with the execution process.A consistency checking system is implemented based on the approach and verified with example in the end of this paper.