期刊文献+

UML时序图向PNML转换的研究与实现 被引量:3

Research and Implementation of Translation from UML Sequence Diagrams to PNML
原文传递
导出
摘要 对已有行为模型向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.
出处 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2011年第6期511-516,共6页 Journal of Wuhan University:Natural Science Edition
基金 国家自然科学基金(60863015) 国家科技部春晖计划(Z2007-1-01042) 内蒙古自然科学基金资助项目(2011MS0911)
关键词 UML 时序图 PNML PETRI网 转换规则 UML sequence diagram PNML Petri net translation rule
  • 相关文献

参考文献8

  • 1Campos J, Merseguer J. On the Integration of UML and Petri Nets in Software Development[C]//In 27th Int. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006) (LNCS 4024), Berlin.- Springer, 2006 : 19-36.
  • 2L6pez-Grao J P, Merseguer J, Campos J. From UML Activity Diagrams to Stochastic Petri Nets: Applica- tion to Software Performance Engineering[C]//In 4th Int. Workshop on Software and Performance (WOSP 2004), New York.. ACM Press, 2004 .. 25-36.
  • 3Merseguer J,Campos J, Bernardi S, et al. A Composi- tional Semantics for UML State Machines Aimed at Performance Evaluation[C]/ / In 6th Int. Workshop on Discrete Event Systems (WODES 2002), NJ .. IEEE CS Press, 2002 : 295-302.
  • 4Baresi L, Pezze M. On Formalizing UML with High- Level Petri Nets [C]//In Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets (LNCS 2001 ), Berlin: Springer, 2001 : 276-304.
  • 5Fernandes J M,Tjell S,J~rgensen J B,Ribeiro O. De- signing Tool Support for Translating Use Cases andUML 2.0 Sequence Diagrams into a Coloured Petri Net [C]//Sizth International Workshop on Scenarios and State Machines (SCESM07), [J]. IEEE, 2007.
  • 6Eichner C, Fleischhack H, Meyer R, et al. Composi- tional Semantics for UML 2. 0 Sequence Diagrams Using Petri Nets [C]//In SDL 2005 : Model Driven Systems Design (LNCS 3530 ), Berlin : Springer, 2005 : 133-148.
  • 7谢彦辉,姚淑珍,郭峰.顺序图至Petri网转化方法的研究与实现[J].计算机工程,2006,32(6):260-262. 被引量:6
  • 8叶丽君,桑海,张明清,唐俊.基于UML的概念模型的Petri网映射算法研究[J].计算机仿真,2009,26(3):112-116. 被引量:2

二级参考文献7

  • 1谢彦辉,姚淑珍,郭峰.顺序图至Petri网转化方法的研究与实现[J].计算机工程,2006,32(6):260-262. 被引量:6
  • 2Osman Balci. Verification, Validation, and Accreditation[ C]. Proceeding of the 1998 Winter Simulation Conference, 1995.
  • 3国刚,周峰,孙更新.UML与Rational Rose2003软件工程统一原理与实践教程[M].北京,电子工业出版社,2007.
  • 4袁崇义.Petri网原理[M].北京:电子工业出版社,1997..
  • 5彭德耿,国桐,史立奇等.UML 宝典[M].北京:电子工业出版社,2004.
  • 6吴哲辉.Petri网理论与系统模拟[M].北京:中国矿业大学出版社,1989.
  • 7郭峰,姚淑珍.Agent UML协议图的改进及验证方法[C].北京:全国软件与应用学术会议,2004:23-28.

共引文献5

同被引文献36

引证文献3

二级引证文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部