毕业设计：文献参考（11）
一、基本信息
- 标题：UML顺序图形式化语义的研究综述
- 来源：计算机科学
- 作者：郭艳燕,张楠,童向荣
二、研究背景
随着模型驱动软件开发方法的发展和形式化方法在软件开发中的应用，已经成为软件行业标准的统一建模语言ＵＭＬ（ｕｎｉｆｉｅｄｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ）的精确语义问题引起了业界的关注。现有的 ＵＭＬ 是一种半形式化语言，诸多元素不具有形式化的语义，因此缺乏精确语义的 ＵＭＬ 模型不仅会带来理解上的模糊性，而且会增加对模型进行形式化分析和验证的难度。因此，对 ＵＭＬ 的语义进行形式化定义，对增强该建模语言的准确性、等价性、一致性和扩展性有一定的帮助，并为实现基于 ＵＭＬ 的模型检验、模型间的一致性检测、模型驱动开发等奠定坚实的理论基础。
研究人员已经在 ＵＭＬ 的形式化研究方面开展了很多工作并取得了一些成绩，例 如在 ＯＭＧ（Ｏｂｊｅｃｔ Ｍａｎａｇｅｍｅｎｔ Ｇｏｖｅｒｎｍｅｎｔ）官 方 ＵＭＬ 描述文档 （ｓｕｐｅｒｓｔｒｕｃｔｕｒｅｓｐｅｃｉｆｉｃａ－ ｔｉｏｎ）［１－２］中已经包含了大量的形式化研究成果，ＵＭＬ 模型的语法和部分模型的语义已经采用了形式化方法来进行描述。 研究人员对 ＵＭＬ 静态模型的语义研究相对成熟，例如类图和对象图，但对 ＵＭＬ 动态模型的语义研究还存在许多尚未解决的问题，例如顺序图、状态机图和活动图等。其中，ＵＭＬ顺序图的形式化语义一直是研究的热点和重点。
三、具体内容
ＵＭＬ 顺序图是 ＵＭＬ 动态交互图中描述能力最强的图， 它着重体现对象间消息传递的时序关系，是描述情景语义最有力的工具，并且与其它类型的 ＵＭＬ 图有着密切的关联［３］。具有形式化语义的 ＵＭＬ 顺序图无论是在理论层面还是在应用层面都具有积极意义和重要的作用，主要体现在如下方面： １）语义形式化后的 ＵＭＬ 顺序图，有利于不同开发人员对模型的准确理解和交流。２）语义形式化后的 ＵＭＬ 顺序图有利于进行语义精化（Ｒｅｆｉｎｅｍｅｎｔ），有利于在相应自动工具的支持下进行分析、推理和验证，有利于及时发现和消除模型中存在的错误和不同模型间的不一致性，从而提高模型的可靠性。３）语义形式化后的 ＵＭＬ 顺序图有利于实现模型到代码的自动转换，为建模工具实现正向工程提供语义支持。４）语义形式化后的 ＵＭＬ 顺序图有利于实现测试用例的自动生成。５）语义形式化后的 ＵＭＬ 顺序图有利于语义扩展从而满足不同领域的软件需求。
四、参考文献
[1]郭艳燕,张楠,童向荣. UML顺序图形式化语义的研究综述[J]. 计算机科学,2017,44(02):17-30+64.