Formal definition and characteristic analysis of UML sequence diagram
-
摘要: 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.Abstract: A formal method of software specification and a set of mathematics models were put forward based on UML(unified modeling language) sequence diagram. UML sequence diagrams reflect the interaction and sequence of message among the concurrent objects in the system, and hold the important position in software modeling. A formal description of UML sequence diagram and compound sequence diagram was dealt based on UML criterion. The send character and receive character of the message, as well as message consistency in message-sending and message-receiving were analyzed in detail. UML sequence diagram character was proved by example. A formal description and analysis of UML sequence diagram character was proposed, which provided a prior condition for model transforming and model validation, and provided the foundation for automated software test case on UML sequence diagram. The formal definition of UML sequence diagram was used in the construction of a software comprehension and modeling tool.
-
Key words:
- UML(unified modeling language) /
- sequence diagram /
- formalization /
- model validation
-
[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 -
点击查看大图
计量
- 文章访问数: 4805
- HTML全文浏览量: 130
- PDF下载量: 1161
- 被引次数: 0
下载:
