A UML model consistency verification approach based on meta-modeling formalization

Abstract

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.

Verifying UML/OCL Operation Contracts

“…Typically, approaches devoted to the verification of UML/OCL models (as [1,4,7,10,13,16,17] or our own approach among others) transform the diagram into a formalism where efficient solvers or theorem provers are available. However, there are complexity and decidability issues to be considered.…”

“…Previous approaches based on constraint programming like [10,13] did not admit any kind of OCL expressions. Our previous work in [9,19] was limited to OCL invariants and did not support the analysis of declarative operations.…”

A Similarity Measure for Categorizing the Developers Profile in a Software Process

“…It is based on a set of task and activity model, the model developer and development team, as well as the selection criteria specified by the mode of access for responding the objects of support by the defined assistance interventions (Figure 2.). The instantiation of this system is through rules of assistance detailed with the requirements for initiating appropriate actions to support a particular context [2,3,5]. …”

EMFtoCSP: A tool for the lightweight verification of EMF models

“…Some works avoid decidability problems by restricting to UML class diagrams without constraints (or just with some specific types of basic constraints). Among them, some are based on description logics [2], [9], [10] or constraint or linear programming [3], [11], [12]. Compared to them, our approach does not impose any theoretical restriction on the complexity of the OCL constraints that can be used, although at this moment, the current implementation of EMFtoCSP does not support yet all the features in the OCL 2.2 specification.…”