Skip to Main content Skip to Navigation
Journal articles

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

Jordi Cabot 1 Robert Clarisó 2 Daniel Riera 2
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00974321
Contributor : Jordi Cabot <>
Submitted on : Sunday, April 6, 2014 - 2:04:10 PM
Last modification on : Thursday, March 5, 2020 - 5:48:07 PM

Links full text

Identifiers

Citation

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

Share

Metrics

Record views

595