基于元模型的状态图至Petri网转化方法研究

摘要

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题;而Petri网有严格的形式化语义,而且有许多成熟的分析方法。针对这个问题,首先对状态图变迁上的各个元素用Petri网描述,提出了TES模型,然后提出了一种基于元模型的状态图到Petri网的转化方法,以便于用Petri网进行形式化分析。