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

Study on Method for Operational Event-trace Description Modeling and Validation

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

A model based on extended UML sequence diagram was given,for modeling operational event-trace description,which is one of the productions of DoDAF.The model includes graphics and formal description.The lifeline of sequence diagram was defined as time message,and the homologous relationship between sequence diagram and petrinets was studied,and then the arithmetic of sequence diagram mapping to petrinets was given.After that,the arithmetic of extended sequence diagram mapping to object-based petrinets was studied.And the self-message was considered as special.At last,an example was given based on the air defense process.