计算机工程2011，Vol.37Issue(3)：52-54,3.DOI:10.3969/j.issn.1000-3428.2011.03.019
UML2.0顺序图的时序描述逻辑语义
Semantics of UML2.0 Sequence Diagram in TDLs
摘要
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.关键词
UML2.0顺序图/时序描述逻辑/形式化/描述逻辑Key words
UML2.0 sequence diagram/ Temporal Descripfon Logics(TDLs)/ formalization/ Description Logics(DLs)分类
信息技术与安全科学引用本文复制引用
张其文,童格明,李明..UML2.0顺序图的时序描述逻辑语义[J].计算机工程,2011,37(3):52-54,3.基金项目
甘肃省自然科学基金资助项目(0809RJZA018) （0809RJZA018）
