计算机科学 ›› 2012, Vol. 39 ›› Issue (5): 291-294.
• 体系结构 • 上一篇 下一篇
刘刚,罗爱民,皇甫先鹏
出版日期:
发布日期:
Online:
Published:
摘要： 为了对体系结构设计中的作战事件跟踪描述进行建模分析，提出了用扩展时序图模型对作战事件跟踪描述 进行建模的方法。定义时序图的生命线为时间消息，研究了时序图模型与Petri模型之间的同构关系，以此为依据给 出了时序图转换为Petri网的算法。在此基础上，研究了扩展时序图和对象Petri网之间的转换算法，并处理了扩展时 序图中的自环消息特例。最后，结合防空作战过程给出该方法的一个应用案例。
关键词: 对象Petri网，作战事件跟踪描述，验证评估
Abstract: A model based on extended UML sequence diagram was given, for modeling operational event trace descrip- lion, which is one of the productions of Dol)八F. The model includes graphics and formal description. The lifeline of se- qucnce diagram was defined as time message, and the homologous relationship between sequence diagram and petrinets was studied, and then the arithmetic of sectuence 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 spe- cial. At last, an example was given based on the air defense process.
Key words: Object-based petrinets,Operational event trace description,Validation and evaluation
刘刚,罗爱民,皇甫先鹏. 作战事件跟踪描述建模及验证方法研究[J]. 计算机科学, 2012, 39(5): 291-294. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I5/291
Cited
首页