10.3969/j.issn.1000-3428.2011.03.019
UML2.0顺序图的时序描述逻辑语义
针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范--时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义.实例检验结果表明,该方法具有可行性.
UML2.0顺序图、时序描述逻辑、形式化、描述逻辑
37
TP311.5(计算技术、计算机技术)
甘肃省自然科学基金资助项目0809RJZA018
2011-04-28(万方平台首次上网日期,不代表论文的发表时间)
共3页
52-54