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

基于通信序列进程的UML序列图形式化方法 被引量：1

Formal method for UML sequence diagrams based on communication sequential processes
下载PDF
导出
摘要 UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证。为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则,实现了UML序列图的形式化,为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。 UML2.0 sequence diagram describes the dynamic collaboration and expresses the relation among the time of events. However, the lack of precise formal semantics is not conducive for the systems to be described in formal verification. To soNe this probiem, according to UML 2.0 semantic document and combination of fragment packets, the basic elements of UML sequence diagram, message trace definition and generation rules were given based on Communication Sequence Process （ CSP）. The accuracy and validity of formal method for UML sequence diagrams describing the system was provided. Finally an ATM example proves the validity of this process.
作者 邓建波 张立臣 邓惠敏 徐碧红
机构地区 广东工业大学计算机学院 吉首大学数学与计算机科学学院
出处 《计算机应用》 CSCD 北大核心 2010年第10期2727-2729,2734,共4页 journal of Computer Applications
基金 国家自然科学基金资助项目(90818008 60774095 60474072Z)
关键词 UML2.0序列图 形式语义 组合碎片包 通信序列进程 UML2. 0 sequence diagram formal semantics combined fragrnen（ packet Communicating Sequential Process （CSP）
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献9

  • 1Unified Modeling Language. Final adopted specification, version 2.0 [ S]. Object Managagement Group, 2003.
  • 2GALLARDO M M, MERINO P, PIMENTEL E. Debugging UML designs with model checking[ J]. Journal of Object Technology., 2002, 1(2) : 101 - 117.
  • 3FRAIKI F, LEONHARDT T, SEDIREC. Testing based on sequence diagrams [ C]//ASE'02: the 17 IEEE International Conference on Automated Software Engineering. Washington, DC: IEEE, 2002: 261 - 267.
  • 4江泽凡,王林章,李宣东,郑国梁.基于UML顺序图的测试方法[J].计算机科学,2004,31(7):131-136. 被引量：9
  • 5HOARE C A R. Communicating sequential processes[ J]. Communications of the ACM, 1983, 26(1) : 100 - 106.
  • 6HAREL D. Stateeharts: A visual formalism for complex systems[ J]. Science of Computer Programming, 1987, 8(3) : 231 -274.
  • 7崔萌,李宣东,郑国梁.UML实时活动图的形式化分析[J].计算机学报,2004,27(3):339-346. 被引量：22
  • 8KUSTER J M, STEHR J. Towards explicit Behavioral consistency concepts in the UML[ C/OL]//Proceedings of the 2nd International Workshop on Scenarios and State Machines: Model, Algorithms, and Tools. Portland, USA: [ s. n. ], 2003 [ 2009 - 11 - 10]. http://www, cs. uni-paderborn, de/uploads/txsibibtex/Kuester- SCESM2003. ndf.
  • 9陈卉,窦万峰.UML顺序图与状态图的一致性检查[J].计算机工程,2008,34(18):62-64. 被引量：5

二级参考文献29

  • 1[1]Powel D.B.. Real-Time UML: Developing Efficient Objects for Embedded Systems. Massachusetts, USA: Addison Wesley, 1998
  • 2[2]Grady B., James R., Ivar J.. The Unified Modeling Language User Guide. Massachusetts, USA: Addison Wesley, 1998
  • 3[3]Rumbaugh J., Jacobson I., Booch G.. The Unified Modeling Language Reference Manual. Massachusetts, USA: Addison Wesley, 1999
  • 4[4]Li Xuan-Dong, Lilius Johan. Checking time Petri nets for linear duration properties. In: Proceedings of PNPM'99, Zaragoza, Spain, 1999, 218～226
  • 5[5]Christie B., Jim D.. On giving a behavioural semantics to activity graphs. A Position Paper for the Workshop Dynamic Behaviour in UML Models: Semantic Questions associated with UML 2000
  • 6[6]Borger E., Cavarra A., Riccobene E.. An ASM semantics for UML activity diagrams. In: Rus T. Ed.. Proceedings of AMAST'00, LNCS 1816. Berlin: Springer, 2000
  • 7[7]Rodrigues Roberto W.S.. Formalising UML activity diagrams using finite state process. A Position Paper for the Workshop Dynamic Behaviour in UML Models: Semantic Questions associated with UML 2000
  • 8[8]Bruel Jean-Michel, France Robert B.. Transforming UML models to formal specifications. In: Proceedings of OOPSLA'98 Workshop on Formalizing UML, Vancouver BC, Canada,1998
  • 9[9]OMG Unified Modeling Language Specification, ver 1.3. June 13, 1999
  • 10[10]Li Xuan-Dong, Cui Meng et al.. Timing analysis of UML activity diagrams. In: Gegolla M et al. eds.. Proceedings of UML 2001, LNCS 2185, Berlin: Springer, 2001, 62～75

共引文献33

同被引文献2

引证文献1

二级引证文献3

计算机应用
2010年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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