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

UML类图到CPN转化方法的研究 被引量：1

The Research of Transforming UML Class Diagram to CPN
下载PDF
导出
摘要 UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。 As an Object-Oriented analysis and design modeling language, UML has been used in many large software systems. But UML is lack of precise semantic, which makes it difficult to analyze and verify the UML＇s models by directly using math tools. Howerver, being a modeling tool, CPN has rigorous formal semantics and analysis methods. This paper gives a transforming method of UML＇s class diagram to CPN, and uses an instance to explain.
作者 田保军
机构地区 内蒙古工业大学信息工程学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期101-103,共3页 Journal of System Simulation
关键词 UML CPN 类图 建模 UML CPN class diagram modeling
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

二级参考文献23

  • 1张攀,田国会,贾磊,李晓磊,路飞.旋转货架拣选作业优化问题的新型混合遗传算法求解[J].机械工程学报,2004,40(6):34-38. 被引量：11
  • 2顾强,宫婧,郑彦.基于UML的短消息计费系统的分析与设计[J].通信世界,2004(45):43-43. 被引量：2
  • 3孙相建 田国会 刘长有.输送系统的Petri网建模分析与控制[A].见:张嗣瀛主编.1997中国控制与决策学术年会论文集[C].沈阳:东北大学出版社,1997.874-877.
  • 4Murata T. Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, 1989, 77(4): 541-580.
  • 5David R, Alla H. Petri nets for modeling of dynamic systems-a survey. Automatica, 1994, 30(2): 175-202.
  • 6Jensen K. An introduction to the theoretical aspects of colored petri nets. Lecture Notes in Computer Science.New York: Springer-Verlag, 1994:230-272.
  • 7Jensen K. An introduction to the practical use ofcoloured petri nets. In: Reisig W, Rozenberg G, eds., Lectures on Petri Nets Ⅱ. LNCS 1492, Berlin, Heidelberg, New York:Springer-Verlag, 1998, 237-292.
  • 8CPN Tools. http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
  • 9KRITZINGER P S．使用UML和SDL设计并发通信软件系统[M]．车皓阳，译．2003：35-70．
  • 10LUNN K．UML软件开发[M]．马蔷，杨南海，等译．北京：电子工业出版社，2005：44-81．

共引文献20

同被引文献10

  • 1肖明清,朱小平,夏锐.并行测试技术综述[J].空军工程大学学报（自然科学版）,2005,6(3):22-25. 被引量：56
  • 2方贤文,赵艳,殷志祥.基于Petri网的软件测试分析[J].计算机技术与发展,2007,17(2):96-98. 被引量：4
  • 3Zhu X P,Xiao M Q. The TPS Development of Parallel Automatic TestSystems[ C]//Proe of AUTOTEST 2004 IEEE Systems Readiness Technology Conference. Xi ' an, China: [ s. n. ] ,2004:248-253.
  • 4陈国良.并行算法的设计与分析[M].北京:高等教育出版社,1995.
  • 5Hu Z,Shatz S M. Mapping UML Diagrams to a Petri Net Notation for System Simulation [ C]//Proceedings of the International Conference on Software Engineering and Knowledge Engineering. Banffshire : [ s. n. ] ,2004:213-219.
  • 6Grolleau E, Choquet-Geniet A. Off-Line Computation of real- Time schedules usingPetri nets [ J ]. Discrete Event Dynamic Systems,2002,12 (3) :311-333.
  • 7Kaznhiro S. Robust design of flexible manufacturing syslems using colored Petri net and genetic algorithm[ J]. Journal of Intelligent Manufacturing,2002,13 ( 5 ) : 339- 351.
  • 8姚绍文,周明天,龙华,曾家智.CPN原理及其在人工智能中的应用[J].计算机科学,2001,28(1):65-69. 被引量：2
  • 9周维,王明哲.UML和着色PETRI网在物资采购建模中的应用[J].计算机系统应用,2002,11(3):25-28. 被引量：2
  • 10董威,王戟,齐治昌.并发程序的切片模型检验方法[J].计算机学报,2003,26(3):266-274. 被引量：7

引证文献1

二级引证文献5

系统仿真学报
2007年 第A01期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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