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顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范--时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义.实例检验结果表明,该方法具有可行性.
展开▼
