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

维普资讯 第 22卷第 2期 湖 北 汽 车 工 业 学 院 学报 Vo1．22 No．2 2008年 6月 JournalofHubeiAutomotiveIndustriesInstitute Jun．2008 UML状态图映射为 Petri网模型的方法研究 陈志进 一，简 炜 ，邵平凡 (1．武汉科技大学 计算机学 院，湖北 武汉 430065；2．湖北汽车工业学院 电气]程系 ，湖北 十堰 442002) 摘 要 ：UML广泛应用于软件建模 ．然而 UML是半形式化 的．这使得很难对其进行严格 的语义分析和正确性验 证 。状态图作为UML动态描述机制的重要组成部分 ．同样存在这样的问题。Petri网作为一种 图形化建模工具 ，具 有严格 的形式化语法语义 ，而且有很 多成熟 的分析方法 本文提出了将 UML状态 图映射为 Petri网模型 的方法 ， 并结合实例对映射后 的模型进行分析 ．验证 了模型的一系列正确性 关键词 ：UML；Petri网；软件建模 ；状态 图 中图分类号 ：TP302．7 文献