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

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