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

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

作　　者：刘刚[1] 罗爱民[1] 皇甫先鹏[1] 

机构地区：[1]国防科学技术大学信息系统工程重点实验室,长沙410073

出　　处：《计算机科学》2012年第5期291-294,共4页Computer Science

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

摘　　要：为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与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.

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

分 类 号：TP392[自动化与计算机技术—计算机应用技术]