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

Research of Translating UML Activity Diagram to Petri Net

作　　者：赵俊峰[1] 周建涛[1] 邢冠男[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021

出　　处：《计算机科学》2014年第7期143-147,共5页Computer Science

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

摘　　要：统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。Because Unified Modeling Language lacks formal semantics, the dynamic analysis and verification to UML based model are difficult to carry out. However Petri net not only has sufficient and rigid semantics, but also is equipped with precise analysis method. Comprehensive usage of Petri net and UML can efficiently improve the comprehensive- ness, consistency, accuracy and completeness of the software model The translation rules from UML activity diagram to Petri net were proposed. Then a translation tool called APConventer was implemented for translating activity diagram to Petri Net Markup Language. Activity diagram can be translated into Petri net and expressed in PNML effectively by the usage of the tool, so the UML model can be analyzed and verified better.

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]