留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

UML顺序图的形式化定义与特性分析

李晓丽 龙 翔 包晓露 李 虎

李晓丽, 龙 翔, 包晓露, 等 . UML顺序图的形式化定义与特性分析[J]. 北京航空航天大学学报, 2010, 36(3): 350-352.
引用本文: 李晓丽, 龙 翔, 包晓露, 等 . UML顺序图的形式化定义与特性分析[J]. 北京航空航天大学学报, 2010, 36(3): 350-352.
Li Xiaoli, Long Xiang, Bao Xiaolu, et al. Formal definition and characteristic analysis of UML sequence diagram[J]. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(3): 350-352. (in Chinese)
Citation: Li Xiaoli, Long Xiang, Bao Xiaolu, et al. Formal definition and characteristic analysis of UML sequence diagram[J]. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(3): 350-352. (in Chinese)

UML顺序图的形式化定义与特性分析

详细信息
    作者简介:

    李晓丽(1975-),女,北京人,博士生,lixiaoli@sei.buaa.edu.cn.

  • 中图分类号: TP 310

Formal definition and characteristic analysis of UML sequence diagram

  • 摘要: 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.

     

  • [1] Joseph Schmuller.Teach yourself UML in 24 hours[M].Indianapolis:Sams Publishing Inc,2004 [2] 黄陇,于洪敏,陈致明.UML顺序图的结构化操作语义研究[J].计算机应用,2005,25(2):359-361 Huang Long,Yu Hongmin,Chen Zhiming.Research on structured operational semantics of UML sequence diagram[J].Computer Application,2005,25(2):359-361(in Chinese) [3] 王璐珍,董威,陈火旺.UML顺序图的自动验证[J].计算机工程与应用,2003,39(29):80-83 Wang Luzhen,Dong Wei,Chen Huowang.Automatic verification of UML sequence diagrams[J].Computer Engineering and Applications,2003,39(29):80-83(in Chinese) [4] Schafer T,Knapp A,Merz S.Model checking UML statemachines and collaborations[J].Electronic Notes in Theoretical Computer Science,2001,55(3):357-369 [5] Vitus S W L,Julian P.Consistency checking of sequence diagrams and statechart diagrams using the π-calculus //Proc of the 5th Int‘l Conf on Integrated Formal Methods(IFM 2005).Berlin: Springer-Verlag,2005,3771:347-365 [6] Rasch H,Wehrheim H,Najm E,et al.Checking consistency in UML diagrams: classes and state machines //Formal Methods for Open Object-Based Distributed Systems (FMOODS-03).Heidelberg:Springer,2003,2884:229-243 [7] Pender Tom.UML宝典[M].耿国桐,史立奇,叶卓映,等译.北京:电子工业出版社,2004 Pender Tom.UML bible[M].Translated by Geng Guotong,Shi Liqi,Ye Zhuoying,et al.Beijing:Publishing House of Electronics Industry,2004(in Chinese) [8] Eriksson H E,Penker M,Lyons B,et al.UML2 toolkit[M].Indianapolis: Wiley Publishing,2004
  • 加载中
计量
  • 文章访问数:  4672
  • HTML全文浏览量:  103
  • PDF下载量:  1157
  • 被引次数: 0
出版历程
  • 收稿日期:  2009-03-04
  • 网络出版日期:  2010-03-31

目录

    /

    返回文章
    返回
    常见问答