论文部分内容阅读
针对UML2．0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题，提出一种基于时序描述逻辑的UML2．0顺序图形式化方法。对描述逻辑进行时序扩展，得到可表示动态和时序语义的形式化规范一时序描述逻辑，根据UML2．0新增的交互操作符将UML2．0顺序图分成一个或多个最大顺序片段，通过形式化最大顺序片段和交互操作符得到UML2．0顺序图的时序描述逻辑语义。实例检验结果表明，该方法具有可行性。