基于元模型的状态图至Petri网转化方法研究
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题;而Petri网有严格的形式化语义,而且有许多成熟的分析方法。针对这个问题,首先对状态图变迁上的各个元素用Petri网描述,提出了TES模型,然后提出了一种基于元模型的状态图到Petri网的转化方法,以便于用Petri网进行形式化分析。
统一建模语言 Petri网 元模型 状态图
何建伟 姚淑珍
北京航空航天大学计算机学院 北京 100083
国内会议
西安
中文
83-86
2007-09-20（万方平台首次上网日期，不代表论文的发表时间）