作战事件跟踪描述建模及验证方法研究

摘要：

为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法.定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法.在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例.最后,结合防空作战过程给出该方法的一个应用案例.

关键词：对象Petri网、作战事件跟踪描述、验证评估

所属期刊栏目：39

分类号：TP392(计算技术、计算机技术)

资助基金：国家自然科学基金项目复杂信息系统功能活动模型集成分析方法71071160

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：291-294