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