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

UML状态图至Petri网转化方法的研究 被引量：1

The Research Of Transforming State Diagram To Petri Nets
在线阅读 下载PDF
导出
摘要 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.
作者 李飚 郭峰 姚淑珍
机构地区 北京航空航天大学计算机学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期207-210,共4页 Journal of System Simulation
基金 航空科学基金资助项目(01F51052)
关键词 UML 状态图 自动机 EHA PETRI网
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献7

  • 1[1]Hartmut Ehrig. Petri Net Technology for Commu- nication-Based Systems [C]. Springer-Verlag, 2004.
  • 2[2]Marc-Philippe Huget. Model Checking Agent UML Protocol Diagrams. Technical Report ULCS-02-012 [R]. University of Liverpool Department of Computer Science.
  • 3[3]Sadeghi T, Lyons A. Fault tolerant EHA architectures [J]. Aerospace and Electronic Systems Magazine, IEEE, 1992.
  • 4[4]Lilius J, Paltor Porres I. The semantics of UML state machines [R]. Technical Report 273, Turku Centre for Computer Science, 1999.
  • 5董威,王戟,齐治昌.UMLStatecharts的模型检验方法[J].软件学报,2003,14(4):750-756. 被引量：40
  • 6刘恩均,王占林,孙卫华.一种新型EHA及其仿真分析[J].液压气动与密封,2005,25(1):14-16. 被引量：8
  • 7[8]袁崇义. Petri 网原理[M]. 北京: 电子工业出版社, 1997.

二级参考文献5

  • 1李军,付永领,王占林,高波.一种新型机载一体化电液作动器的设计与分析[J].北京航空航天大学学报,2003,29(12):1101-1104. 被引量：28
  • 2李军.[D].北京:北京航空航天大学,2004.
  • 3Croke Steven,Herrenschmidt Jack. More electric initiative power-by-wire actuation alternatives[C]. In: Proceedings of IEEE'94 National Aerospace & Electronics Conference. Piscataway: IEEE Aerospace & Electronics Systems Sco,1994.1338-1346.
  • 4C. Courcoubetis,M. Vardi,P. Wolper,M. Yannakakis. Memory-efficient algorithms for the verification of temporal properties[J] 1992,Formal Methods in System Design(2-3):275～288
  • 5祁晓野,付永领,王占林.功率电传机载作动系统方案分析[J].北京航空航天大学学报,1999,25(4):426-430. 被引量：46

共引文献46

同被引文献4

  • 1UML China.UML参考手册[M].第2版.北京:机械工业出版社,2005.
  • 2Yu Zhao, Yushun Fan, Xinxin Bai. Towards Formal Verification of UML Diagrams based on Graph Transformation [C]// Proceedings of 2004 IEEE International Conference on E-Commerce Technology for Dynamic E-Business, IEEE, 2004.
  • 3Bouabana-Tebibel, T. Belmesk, M. Formalization of UML Object Dynamics and Behavior [C]//2004 IEEE International Conference on Systems, Man and Cybernetics, IEEE, 2004.
  • 4Lilius J, Paltor Porres I. The Semantics of UML State Machines [R]. Technical Report 273, Turku Centre for Computer Science, 1999.

引证文献1

二级引证文献3

系统仿真学报
2005年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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