UML活动图到Petri网的转换方法及实现研究

摘要：

统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性.研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter.此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证.

关键词：UML、活动图、Petri网、PNML、转换规则

所属期刊栏目：41

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61262082;国家教育部重点资助项目212025;内蒙古杰出青年学者科学基金资助项目2012JQ03;内蒙古自然科学基金资助项目2011MS0911

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：143-147