首页 | 本学科首页   官方微博 | 高级检索  
     

顺序图至Petri网转化方法的研究与实现
引用本文:谢彦辉,姚淑珍,郭峰. 顺序图至Petri网转化方法的研究与实现[J]. 计算机工程, 2006, 32(6): 260-262
作者姓名:谢彦辉  姚淑珍  郭峰
作者单位:北京航空航天大学计算机科学与工程学院,北京,100083
摘    要:作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法。该文针对UML20顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性。

关 键 词:统一建模语言  顺序图  Petri网
文章编号:1000-3428(2006)06-0260-03
收稿时间:2005-04-15
修稿时间:2005-04-15

Research and Realization of Transiting Sequence Diagram to Petri Nets
XIE Yanhui,YAO Shuzhen,GUO Feng. Research and Realization of Transiting Sequence Diagram to Petri Nets[J]. Computer Engineering, 2006, 32(6): 260-262
Authors:XIE Yanhui  YAO Shuzhen  GUO Feng
Affiliation:School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083
Abstract:As an OO analysis and design modeling language, UML has been used in many large systems. However, the semi-formal property of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models. Being an important part of UML dynamic describing mechanism, sequence diagram has the disadvantage described above too, Petri nets is another modeling tool, it has rigorous formal semantics and many mature analysis methods. Based on UML2.0 sequence diagram model, this paper combines several simple structures which have been put forward before, and proposes an algorithm of converting sequence diagram to Petri nets model, finally the effectiveness of this algorithm is demonstrated by an example.
Keywords:UML   Sequence diagram   Petri nets
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号