UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. We present UMLtoCSP, a tool for the formal verification of UML/OCL models. Given a UML class diagram annotated with OCL constraints, UMLtoCSP is able to automatically check several correctness properties, such as the strong and weak satisfiability of the model or the lack of redundant constraints. The tool uses Constraint Logic Programming as the underlying formalism and the constraint solver ECLiPSe as the verification engine.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Shaikh, Asadullah; Wiil, Uffe Kock; Memon, Nasrullah: Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams (2011) ioport
  2. Cabot, Jordi; Pau, Raquel; Raventós, Ruth: From UML/OCL to SBVR specifications: a challenging transformation (2010) ioport