期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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
分类号 TP302.7 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献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

湖北汽车工业学院学报
2008年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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