一种UML活动图到模糊Petri网的转换算法

摘要：

UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。

关键词： 模糊UML Petri网 活动图 软件工程

作者: 张炜钟 王智学 陈剑

作者单位: 解放军理工大学指挥自动化学院,南京 210007

会议类型: 国内会议

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

会议地点: 天津

会议语种:中文

页码: 102-106

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