期刊文献+

UML通信图和Petri网转换方法的研究 被引量:2

Research of Transformation from Communication Diagram to Petri Net
下载PDF
导出
摘要 软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制。Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。 Software modeling is an important part of software development. UML is one of the efficient means to modeling. Because of scarcity of formalization, UML has some restrictions in its application. On the other hand, Petri Net is a formal model with mature analysis techniques. This paper tries to find a method to transform UML Communication Diagram to Petri Net. Also discusses the reversible transformation and the necessity of the auto-transform program. Then system model can be analyzed and validated by Petri Net analysis techniques in the early age of system modeling.
机构地区 大连海事大学
出处 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期104-107,共4页 Journal of System Simulation
关键词 UML 通信图 PETRI网 转换方法 UML communication diagram Petri net transformation
  • 相关文献

参考文献6

  • 1SHUZHEN YAO. SHATZ S M. Consistency Checking of UML Dynamic Models Based on Petri Net Techniques [C]// Proceedings of the 15^th International Conference on Computing (CIC'06), 2006, 0-7695-2708-6106.
  • 2Luciano Baresi. Some Preliminary Hints on Formalizing UML with Object Petri Nets[J]. Integrated Design and Process Technology, 2002.
  • 3John Anil Saldhana, Sol M Shatz. UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis [C]// Chicago: In Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE). 2000: 103-110.
  • 4Peter King, Rob Pooley. Using UML to Derive Stochastic Petri Net Models [C]//In Proceedings of the 5^th UK Performance Engineering Workshop (UKPEW'99). 1999: 45-56.
  • 5谢彦辉,姚淑珍,郭峰.顺序图至Petri网转化方法的研究与实现[J].计算机工程,2006,32(6):260-262. 被引量:6
  • 6张昭理.基于Petri网的UML模型映射与验证方法的研究[M].武汉:华中师范大学,2004.

二级参考文献4

  • 1袁崇义.Petri网原理[M].北京:电子工业出版社,1997..
  • 2彭德耿,国桐,史立奇等.UML 宝典[M].北京:电子工业出版社,2004.
  • 3吴哲辉.Petri网理论与系统模拟[M].北京:中国矿业大学出版社,1989.
  • 4郭峰,姚淑珍.Agent UML协议图的改进及验证方法[C].北京:全国软件与应用学术会议,2004:23-28.

共引文献5

同被引文献12

引证文献2

二级引证文献80

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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