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

UML时序图向PNML转换的研究与实现 Research and Implementation of Translation from UML Sequence Diagrams to PNML 赵俊峰 ZHAO Junfeng 1 first-author 周建涛 ZHOU Jiantao 1 内蒙古大学计算机学院 内蒙古大学计算机学院 College of Computer Science,Inner Mongolia University,Hohhot 010021,Innermongolia College of Computer Science,Inner Mongolia University,Hohhot 010021,Innermongolia 对已有行为模型向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网 转换规则 UML sequence diagram PNML Petri net translation rule 10.14188/j.1671-8836.2011.06.009 TP301.1 国家自然科学基金（60863015）;国家科技部春晖计划（Z2007-1-01042）;内蒙古自然科学基金资助项目（2011MS0911） 2011-06-01 2021-04-01 6 57