UML2.0顺序图的时序描述逻辑语义
Semantics of UML2.0 Sequence Diagram in TDLs作者机构：兰州理工大学计算机与通信学院兰州730050
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2011年第37卷第3期
页 面：52-54页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：甘肃省自然科学基金资助项目(0809RJZA018)
摘 要：针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。
维普期刊数据库
同方期刊数据库