|
|||||
|
|
| UML状态图映射为Petri网模型的方法研究 | |
| 引用本文： | 陈志进,简炜,邵平凡.UML状态图映射为Petri网模型的方法研究[J].湖北汽车工业学院学报,2008,22(2):30-34. |
| 作者姓名： | 陈志进 简炜 邵平凡 |
| 作者单位： | 1. 武汉科技大学计算机学院,湖北武汉,430065;湖北汽车工业学院电气工程系,湖北十堰,442002 2. 湖北汽车工业学院电气工程系,湖北十堰,442002 3. 武汉科技大学计算机学院,湖北武汉,430065 |
| 摘 要： | UML广泛应用于软件建模，然而UML是半形式化的，这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分，同样存在这样的问题。Petri网作为一种图形化建模工具，具有严格的形式化语法语义，而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法，并结合实例对映射后的模型进行分析，验证了模型的一系列正确性。 |
| 关 键 词： | UML Petri网 软件建模 状态图 |
Research of Mapping UML State Diagram to Petri Nets |
|
| Chen Zhijin,Jian Wei,Shao Pingfan.Research of Mapping UML State Diagram to Petri Nets[J].Journal of Hubei Automotive Industries Institute,2008,22(2):30-34. | |
| Authors: | Chen Zhijin Jian Wei Shao Pingfan |
| Institution: | Chen Zhijin, Jian Wei, Shao Pingfan (1. College of Computer, Wuhan University of Science and Technology, Wuhan 430065, China; 2. Dept. of Electrical Engineering, Hubei Automotive Industries Institute, Shiyan 442002, China) |
| Abstract: | A method of mapping UML state diagram to Petri nets model was proposed,the mapping model was analyzed by illustrating and the correctness of the model was verified. |
| Keywords: | UML Petri nets software modeling state diagram |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |