作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (3): 52-54. doi: 10.3969/j.issn.1000-3428.2011.03.019

• 软件技术与数据库 • 上一篇    下一篇

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

张其文,童格明,李 明   

  1. (兰州理工大学计算机与通信学院,兰州 730050)
  • 出版日期:2011-02-05 发布日期:2011-01-28
  • 作者简介:张其文(1975-),男,讲师、硕士,主研方向:语义Web,本体论,软件工程;童格明,硕士;李 明,教授
  • 基金资助:
    甘肃省自然科学基金资助项目(0809RJZA018)

Semantics of UML2.0 Sequence Diagram in TDLs

ZHANG Qi-wen, TONG Ge-ming, LI Ming   

  1. (School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, China)
  • Online:2011-02-05 Published:2011-01-28

摘要: 针对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)

中图分类号: