UML状态图映射为Petri网模型的方法研究

• 作者: 简炜 邵平凡 陈志进
• 来源期刊: 湖北汽车工业学院学报
• 学科: 工学
• 关键词: UML Petri网 软件建模 状态图
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 计算机技术与应用
• 页码范围: 30-34
• 页数: 5页
• 分类号: TP302.7
• 字数: 2816字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-5483.2008.02.007

摘要

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题.Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法.本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邵平凡	武汉科技大学计算机学院	27	98	5.0	8.0
2	简炜	湖北汽车工业学院电气工程系	22	52	4.0	5.0
3	陈志进	武汉科技大学计算机学院	1	4	1.0	1.0