谢彦辉
- 作品数：1 被引量：11H指数：1
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 顺序图至Petri网转化方法的研究与实现被引量：11
- 2006年
- 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法。该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性。
- 谢彦辉姚淑珍郭峰
- 关键词：顺序图PETRI网
