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

基于UML扩展的实时系统建模方法 被引量：3

Method of real-time system modeling through UML extension
下载PDF
导出
摘要 UML是一种应用广泛的面向对象建模语言,但是在对实时系统的建模中,UML缺乏实时和并发特性的描述能力,运用UML的扩展机制,借鉴着色Petri网描述并发的思想,扩充了UML的模型元素,并在此基础上提出了一种并发图,用于描述实时系统任务间的动态并发行为。最后通过一个实例说明了该扩展的应用方法和有效性。 UML is a widely used object-oriented modeling language. However, UML lacks the capability of describing real-time and concurrent characteristics in modeling real-time system. Using the extension mechanism of UML and based on the idea of concurrent description in colored Petri net, the model elements of UML is extended and the concurrent diagram is proposed, which is used in describing the dynamic concurrent behaviors between tasks in real-time system. Lastly, the application method and efficiency of this extension is evaluated through an application instance.
作者 李双庆 曹银龙
机构地区 重庆大学计算机学院
出处 《计算机工程与设计》 CSCD 北大核心 2006年第24期4778-4780,4783,共4页 Computer Engineering and Design
关键词 UML 实时系统 建模 着色PETRI网 并发图 UML real-time system modeling colored Petri net concurrency diagram
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1Booch G,Rumbaugh J,Jacobson I.The unified modeling language user guide[M].MA:Addison Wesley,Reading,1999.
  • 2OMG unified modeling language specification version 1.5[DB/OL].Object Management Group,2003.http://www.omg.org.
  • 3Alan Moore,Niall Cooling.Developing real-time systems using object technology[C].ARTISAN Software Tools Ltd,2000
  • 4Bran Selic.The emerging real-time standard[Z].Rational Software Inc,2001.
  • 5Douglass B P.Doing hard time:Developing real-time systems with UML,objects,frameworks,and patterns[M].Object Technology Series,1999.
  • 6Ran Rinat.A framework-based approach to real-time development with UML[EB/OL].2000.http://www.Ilogix.com.
  • 7Leblanc P,Ober I.Comparative case study in SDL and UML Technology of Object-oriented Language[C].Tools33 Proceedings 33rd International Conference,2000.
  • 8Agha G,Cindio F D,Rozenberg G.Concurrent object-oriented programming and Petri nets[C].Lecture Notes in Computer Science,Springer-Verlag,2001.
  • 9Kurt Jensen.A brief introduction to colored Petri nets,workshop on the applicability of formal models[M].Aarhus,Denmark,1999.55-58.
  • 10Jasmine Farhad.The UML extension mechamsms[M].London:Dept of Computer Science University College,2002.

同被引文献19

  • 1江金龙,周献中,孙勇成.基于UML状态图的C4ISR系统的建模和实时分析[J].计算机工程,2005,31(22):15-17. 被引量：1
  • 2郭琳,付梦印,肖烜.基于VxWorks的导航系统人机交互界面的开发[J].微计算机信息,2006,22(12Z):50-52. 被引量：4
  • 3张广泉,戎玫,黄正宝.UML 2.0的形式化语义研究[J].南京邮电大学学报（自然科学版）,2007,27(3):39-43. 被引量：4
  • 4Grady Booch,James Rumbaugh,Ivar Jacobson.UML用户指南(第二版)[M].北京:人民邮电出版社,2006:254-255.
  • 5杨玉梅,刁永锋.基于UML顺序图的Petri网建模[J].计算机技术与发展,2007,17(10):130-133. 被引量：12
  • 6谭振藩,周洪宇,袁赣南.导航系统信息转换[M].北京:国防工业出版社,1988.
  • 7SUN Meng,YANG Hongli,ZHANG Naixiao,et al.Using UML for specification and refinement of software architectures[J].北京大学学报(自然科学版),2006,4:3-12.
  • 8Quadri I R, Gamati6 A, Boulet P. Expressing embedded sys- tems configurations at high abstraction levels with UML MARTE profile : Advantages, limitations and alternatives [ J ]. Journal of systems architecture ,2012,58 (5) : 178-194.
  • 9Colbert E. Overview of the UML profile for the architecture a- nalysis & design language [ EB/OL]. 2004. http ://aadl. sei. emu. edu/aadl/doeuments/041103% 20AADL % 20Profile % 20SEApdf.
  • 10Marehal B. Working XML: UML, XMI, and eode generation, partl [ EB/OL]. 2004-04-15. http ://www. ibm. eom/devel- operwarks/ library/xwxxm23/index, html? S_ TACT = 105AGX52&S_CMP = Cn-a-x.

引证文献3

二级引证文献7

计算机工程与设计
2006年 第24期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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