UML时序图向PNML转换的研究与实现  

Research and Implementation of Translation from UML Sequence Diagrams to PNML

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

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

出　　处：《武汉大学学报（理学版）》2011年第6期511-516,共6页Journal of Wuhan University:Natural Science Edition

基　　金：国家自然科学基金(60863015);国家科技部春晖计划(Z2007-1-01042);内蒙古自然科学基金资助项目(2011MS0911)

摘　　要：对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.Existing translation mechanisms from behavioral model to Petri net are analyzed,and improved translation rules from UML2 sequence diagram to Petri net are put forward.Then a translation tool is implemented for translating sequence diagram to Petri Net Markup Language.Experiment result shows that sequence diagram can be translated into Petri net and expressed in PNML effectively by the use of the tool proposed in this paper,so the UML model can be analyzed and verified better.

关 键 词：UML 时序图 PNML PETRI网 转换规则 

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