顺序图至Petri网转化方法的研究与实现

• 作者: 姚淑珍 谢彦辉 郭峰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 统一建模语言 顺序图 Petri网
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 260-262
• 页数: 3页
• 分类号: TP311
• 字数: 3348字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.06.091

摘要

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚淑珍	北京航空航天大学计算机科学与工程学院	45	393	10.0	18.0
2	郭峰	北京航空航天大学计算机科学与工程学院	13	121	8.0	10.0
3	谢彦辉	北京航空航天大学计算机科学与工程学院	1	17	1.0	1.0