UML2.0顺序图的时序描述逻辑语义  

Semantics of UML2.0 Sequence Diagram in TDLs

作　　者：张其文[1] 童格明[1] 李明[1] 

机构地区：[1]兰州理工大学计算机与通信学院,兰州730050

出　　处：《计算机工程》2011年第3期52-54,共3页Computer Engineering

基　　金：甘肃省自然科学基金资助项目(0809RJZA018)

摘　　要：针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。Aiming at the problem that dynamic semantics of the UML2.0 sequence diagram models is not able to formal description when it is used to model the interaction among objects, this paper puts forward an formalization method based on Temporal Description Logics（TDLs）. TDLs is proposed by the temporal extending the Description Logics（DLs）, which is the formal specification of the dynamic and temporal semantics. According to the novel UML2.0 interaction operators, the UML2.0 sequence diagram is separated into one or several maximal sequence fragments in order to get the TDLs semantic by formalizing the maximal sequence fragments and the interaction operators. Examples verify the feasibility of this method.

关 键 词：UML2.0顺序图 时序描述逻辑 形式化 描述逻辑 

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