On the Verification of UML/OCL Class Diagrams using Constraint Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Systems and Software Year : 2014

On the Verification of UML/OCL Class Diagrams using Constraint Programming

Abstract

Assessment of the correctness of software models is a key issue to ensure the quality of the final application. To this end, this paper presents an automatic method for the verification of UML class diagrams extended with OCL constraints. Our method checks compliance of the diagram with respect to several correctness properties including weak and strong satisfiability or absence of constraint redundancies among others. The method works by translating the UML/OCL model into a Constraint Satisfaction Problem (CSP) that is evaluated using state-of-the-art constraint solvers to determine the correctness of the initial model. Our approach is particularly relevant to current MDA and MDD methods where software models are the primary artifacts of the development process and the basis for the (semi-)automatic code-generation of the final application.

Dates and versions

hal-00974321 , version 1 (06-04-2014)

Identifiers

Cite

Jordi Cabot, Robert Clarisó, Daniel Riera. On the Verification of UML/OCL Class Diagrams using Constraint Programming. Journal of Systems and Software, 2014, ⟨10.1016/j.jss.2014.03.023⟩. ⟨hal-00974321⟩
269 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More