UML顺序图中消息的形式化描述与相关特性分析  

Formalization description of message in UML sequence diagram and corresponding feature analysis

作　　者：黄陇 杨宇航 李虎[2] 

机构地区：[1]总参陆航研究所,北京101121 [2]北京航空航天大学计算机学院,北京100083

出　　处：《计算机工程与设计》2010年第15期3427-3431,共5页Computer Engineering and Design

基　　金：国家863高技术研究发展计划重点基金项目(2004AA119030)

摘　　要：为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法。形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析。提出了活动点的概念,讨论了其所具有的性质。建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现。定义了消息集合上的二元关系,分析了其所具有的性质。最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析。To implement automated testing based on UML sequence diagram,formal description method of message in sequence diagram is researched.Sending and receiving of message is formally defined,and the consistency between them is analysed.The concept of ActionPoint is proposed,properties of its are discussed.Description method of binary relation in ActionPoint set is setup,detailed representations of this binary relation in signle object ActionPoint set and the whole ActionPoint set are formally discussed.Binay relation in message set is defined,and the properties of its are analysed.Finally,time constraint characteristic and message constraint characteristic in sequence diagram are formally analysed.

关 键 词：统一建模语言 顺序图 消息 形式化分析 活动点 

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