摘要: 针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。
关键词:
UML2.0顺序图,
时序描述逻辑,
形式化,
描述逻辑
Abstract: 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.
Key words:
UML2.0 sequence diagram,
Temporal Description Logics(TDLs),
formalization,
Description Logics(DLs)
中图分类号:
张其文, 童格明, 李明. UML2.0顺序图的时序描述逻辑语义[J]. 计算机工程, 2011, 37(3): 52-54.
ZHANG Ji-Wen, TONG Ge-Meng, LI Meng. Semantics of UML2.0 Sequence Diagram in TDLs[J]. Computer Engineering, 2011, 37(3): 52-54.