期刊文献+

基于UML顺序图的Petri网建模 被引量:12

Petri Net Modeling Based on UML Sequence Diagram
下载PDF
导出
摘要 UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。 UML is a strong function of the object- oriented graphical modeling tool, but it' s lack of strict semantic description of the process, and Petri nets not only have the visual image of the graphic description, but also have strict mathematical definitions. In this paper, a simple modeling of the transport system will allow the two to work together, expounded the UML class diagram, sequence diagram modeling ways to avoid the cumbersome process of direct Petri net modeling, the modeling process is clearly discernible.
出处 《计算机技术与发展》 2007年第10期130-133,共4页 Computer Technology and Development
基金 四川省科技厅重点科研项目(05JY029-093)
关键词 UML PETRI网 建模 UML Petri net modeling
  • 相关文献

参考文献2

二级参考文献24

  • 1徐峻,沈康辰,黄柏林.着色Petri网在工作流建模中的应用[J].计算机应用与软件,2004,21(7):47-48. 被引量:9
  • 2Kleppe A,Bast W,Warmer J.The model driven architecture:practice and promise[EB/OL].[2003-04-21].http://www.wfmc.org.
  • 3Wil M P,Van Der Aalst.Verification of workflow task structures:a Petri-net-based approach[J].Information Systems,2000,25(1):43-69.
  • 4Ellis C A,Null G J.Modeling and enactment of workflow system application and theory of Petri net[C]//Lecture Notes in Computer Science 691.Berlin:Springer Verlag,1999:1-16.
  • 5RATIONAL.UML for enterprise applications:model driven solutions for the enterprise[EB/OL].http://www.omg.org:/UML 2001 Workshop Program.htm,2001.
  • 6Hai Zhuge.Component-based workflow systems development[J].Decision Support Systems,2003,35(7):517-536.
  • 7Hans W,Aldo de Moor.Workflow analysis with communication norms[J].Data & Knowledge Engineering,2003,47(11):349-369.
  • 8WFMC-The Workflow Management Coalition Specification:Terminology & Glossary [S].Document Number fMC2TC21011.Version 3.0,February 1999.
  • 9Workflow Management Coalition.The workflow reference model [S].WFMC TC0021003,1994.
  • 10Harel D,Pnueli A.On the development of reactive system [M].Apt K ed.Logics and models of Concurrent system,NATO ASI series F13,Berlin,Springer2Verlag,1985.

共引文献22

同被引文献89

引证文献12

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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