A UML model consistency verification approach based on meta-modeling formalization
A UML model consistency verification approach based on meta-modeling formalization
复制标题
DOI：
10.1145/1141277.1141703
复制
发表时间：
2006-04
期刊：
影响因子：
--
通讯作者：
Hugues Malgouyres;G. Motet
中科院分区：
文献类型：
--
作者：
Hugues Malgouyres;G. Motet
UML语言为克服软件系统的复杂性提供了一种很有前途的方法。特别地，UML是一种处理软件建模不同方面的统一语言。然而，它的特征不是独立的，这是许多不一致的根源。目前的一致性检查技术要么局限于某些UML特性，要么局限于某些类型的不一致性。我们的研究旨在开发一个统一的检查器，它能够处理所有UML特性上的所有不一致。本文利用元建模技术开发了从UML模型到CLP（约束逻辑规划）子句的转换。CLP还用于表示一致性规则。然后CLP求解器可以自动检测不一致。
UML language provides a promising way to overcome software system complexity. In particular, UML is a unified language that handles different aspects of software modeling. However, its features are not independent which is the source of numerous inconsistencies. Present consistency checking techniques are limited either to certain UML features or to certain kinds of inconsistencies. Our study aims at developing a unified checker which is able to handle all inconsistencies on all UML features. This paper develops the translation from UML models to CLP (Constraint Logic Programming) clauses taking advantage of meta-modeling techniques. CLP is also used to express consistency rules. Then CLP solver can automatically detect inconsistencies.