10.3969/j.issn.1000-3428.2006.06.091
顺序图至Petri网转化方法的研究与实现
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性.
统一建模语言、顺序图、Petri网
32
TP311(计算技术、计算机技术)
航空基金01F51052
2006-04-20(万方平台首次上网日期,不代表论文的发表时间)
共3页
260-262