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

Formal definition and characteristic analysis of UML sequence diagram

作　　者：李晓丽[1] 龙翔[1] 包晓露[1] 李虎[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100191

出　　处：《北京航空航天大学学报》2010年第3期350-352,362,共4页Journal of Beijing University of Aeronautics and Astronautics

基　　金：国家自然科学基金资助项目(60703057);国家高技术研究发展计划资助项目(2006AA01Z176)

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

关 键 词：统一建模语言 顺序图 形式化 模型验证 

分 类 号：TP310[自动化与计算机技术—计算机软件与理论]