| 顺序图至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 维普 万方数据 等数据库收录！ |
