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.
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2014, 〈10.1016/j.jss.2014.03.023〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00974321
Contributeur : Jordi Cabot <>
Soumis le : dimanche 6 avril 2014 - 14:04:10
Dernière modification le : vendredi 22 juin 2018 - 09:31:20

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

432