期刊文献+

UML状态图映射为Petri网模型的方法研究

Research of Mapping UML State Diagram to Petri Nets
下载PDF
导出
摘要 UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。 A method of mapping UML state diagram to Petri nets model was proposed, the mapping model was analyzed by illustrating and the correctness of the model was verified.
出处 《湖北汽车工业学院学报》 2008年第2期30-34,共5页 Journal of Hubei University Of Automotive Technology
关键词 UML PETRI网 软件建模 状态图 UML Petri nets software modeling state diagram
  • 相关文献

参考文献5

二级参考文献13

  • 1[1]Grady Booch,James Rambaugh,Ivar Jacobson. U nified Modeling Language Use r Guide[R].Wesley,est. 1999.
  • 2[2]Rational Software Crop. UML Summary v1.1[R]. 1997,9.
  • 3[3]Jacobson. The Unified Modeling Language Development Proess[ J]. Addison-Wesley Longman,Inc., 1998,(12).
  • 4Harel D.Statecharts:a visual formalism for complex systems[J].Science of Computer Programming,1987,8(3):231-274
  • 5OMG unified modelling language version 1.5[EB/OL].Object Management Group,2003,http://www.omg.org/uml/
  • 6Wieringa R,Broersen J.A minimal transition system semantics for lightweight class and behavior diagrams[C]// Broy M,Coleman D,Maibaum T,et al.Proceedings of the ICSE98 Workshop on Precise Semantics for Software Modeling techniques.Munich:Technical University Munich,1998:129-151
  • 7Latella D,Majzik I,Massink M.Towards a formal operational semantics of UML statechart diagrams[C]//Ciancarini P,Fantechi A,Gorrieri R.Proceedings of the 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems.Boston:Kluwer Academic Publishers,1999:15-18
  • 8Lilius J,Paltor P I.The semantics of UML state machines[R].TUCS Technical Report No 273,1999
  • 9Baresi L,Pezzè M.On formalizing UML with high-level Petri nets[C]//Cindio F De,Agha G.Concurrent Object-oriented Programming and Petri Nets:Advances in Petri Nets.New york:Springer-Verlag,2001:276-304
  • 10Saldhana J A,Shatz S M,Hu Zh X.Formalization of object behavior and interactions from UML models[J].International Journal of Software Engineering and Knowledge Engineering,2001,11(6):643-673

共引文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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