2、UML 模型一致性问题解析

UML 模型一致性问题解析

在 UML 建模过程中，模型的一致性是确保软件质量和开发效率的关键因素。本文将深入探讨 UML 模型一致性的相关问题，包括一致性的定义、与开发过程的关系、检查方法以及相关的研究成果。

1. UML 模型一致性的基础概念

UML 模型一致性检查方法多样，但大多无法保证整个 UML 模型的一致性。例如，有的方法仅考虑类图、对象图和状态图，有的仅处理行为方面。还有基于转换的图形一致性条件，用于指定不允许出现的情况。此外，引入了形式语言 OOL，将 UML 模型的子集转换为 OOL 规范，利用其良好定义的一致性和精化演算来检查相应的 UML 模型。

在约束完整性方面，编写完整的约束列表是一个难题，很可能不存在完整的列表。若语法规则用形式化表达，语义规则用自然语言表达，且并非所有约束都能用语法规则表达，那么一致性就无法自动检查。

依赖关系在定义一致性中也起着重要作用。有 UML 概要文件可用于表达模型元素间具有行为属性的依赖关系，如调用/更新/访问保留，以帮助建立模型间的正确精化关系。还有概要文件用于表达不同类型的依赖，包括模型元素间的隐式和显式使用。

2. 一致性与开发过程

• 精化 ：在开发过程中，应通过精化来保持模型的一致性。Object - Z 和 CSP 为检查 UML 模型的翻译提供了精化概念，也有方法用图来表达模型转换，还有通过 UML 扩展机制定义带有转换规则的概要文件。
• 开发方法 ：模型应与开发方法或过程保持一致，如 USDP、COMET 等。有研究采用三层框架适应开发过程