文献笔记【十八】

一：基本信息

标题：ＵＭＬ顺序图形式化语义的研究综述
时间：2017
出版源：烟台大学计算机与控制工程学院
文献分类：文献笔记

二：研究背景

随着模型驱动软件开发方法的发展和形式化方法在软件开发中的应用，已经成为软件行业标准的统一建模语言 ＵＭＬ（ｕｎｉｆｉｅｄｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ）的精确语义问题引起了业界的关注。现有的 ＵＭＬ是一种半形式化语言，诸 多 元 素 不 具 有 形式化的语义，因此缺乏精确语义的 ＵＭＬ 模型不仅会带来理解上的模糊性，而且会增加对模型进行形式化分析和验证的难度。因此，对 ＵＭＬ的语义进行形式化定义，对增强该建模语言的准确性、等价性、一致性和扩展性有一定的帮 助，并 为实现基于 ＵＭＬ的模型检验、模型间的一致性检测、模型驱动开发等奠定坚实的理论基础。
问题定义：ＵＭＬ顺序图形式化语义的研究综述
难点：ＵＭＬ顺序图形式化语义
相关工作：ＯＭＧ对顺序图的官方描述；ＵＭＬ顺序图语义定义的形式化方法；方法研究

三：主要内容

1：ＵＭＬ顺序图语义定义的形式化方法：Ｓｔoｒｒｌｅ方法（交互的路径语义是使用事件序列来描述交互过程的语义方法。）
；

ＳＴＡＩＲＳ指称语义方法（ＳＴＡＩＲＳ（ｓｔｅｐｓｔｏａｎａｌｙｚｅｉｎｔｅｒａｃｔｉｏｎｓ ｗｉｔｈｒｅｆｉｎｅｍｅｎｔ
ｓｅｍａｎｔｉｃｓ）［８］是 由 ｙｓｔｅｉｎ Ｈａｕｇｅｎ和 ＫｅｔｉｌＳｔｌｅｎ提 出 的 基于路径的语义。该方法有利于进行后期的语义精化，有 利 于实现基于 ＵＭＬ顺序图的一致性检测和模型检验，有 利 于 实现基于 ＵＭＬ顺序图的增量式迭代开发。）ＳＴＡＩＲＳ指称语义方 法 将 路 径 分 为 有 效 路 径、无 效 路 径和非确定性路径。

Ｃｅｎｇａｒｌｅ＆ Ｋｎａｐｐ指称语义方法（Ｃｅｎｇａｒｌｅ＆ Ｋｎａｐｐ指称语义方法是一种基于路径语义的方法，在路径分类上分为有效路径、无效路径和非确定性路径。）
条件路径方法；集合论方法；ＬＴＬ框架方法；ＮｕＳＭＶ 方法；共代数方法；标签事件结构方法；Ｈａｍｍａｌ方法

2：操作语义定义方法：ＡＳＭ 方法；MSD方法；ｕＭＳＤ方法；西安电子科技大学系列方法；具体语法代数图转换方法；抽象语法代数图转换方法；模版语义方法；ＳＴＡＩＲＳ操作语义方法；安全－活性语义方法；ＯＨＳＴ方法等.................................

四：结论

为 ＵＭＬ 顺序图构建形式化语义有利于对ＵＭＬ模型的准确理解，可以为基于 ＵＭＬ模型的可靠性分析和验证提供语义支持，可以为进行基于 ＵＭＬ 模 型 的 模 型 驱动开发奠定基础，并 且 对 ＵＭＬ 建模工具功能的增加和完善有一定的推动作用。

引用，郭艳燕，张楠，童向荣.ＵＭＬ顺序图形式化语义的研究综述.烟台大学计算机与控制工程学院. 2017年02期 17-30+64