UML通信图和Petri网转换方法的研究

摘要：

软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制.Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。

关键词： UML通信图 Petri网 转换方法 系统建模 软件开发

作者: 孙莹 蒋波 王赫

作者单位: 大连海事大学 辽宁大连 116026

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 104-107

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）