UML状态图至Petri网转化方法的研究

摘要：

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法。

关键词： UML 状态图 自动机 EHA Petri网 统一建模语言

作者: 李飚 郭峰 姚淑珍

作者单位: 北京航空航天大学计算机学院,北京,100083

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 207-210

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）