kirancodes.me
To Proof Maintenance & Beyond!
ASE 2007

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming

Jordi Cabot, Robert Clarisó, Daniel Riera

PDFDOI 10.1145/1321631.1321737dblp

Abstract

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.

BibTeX
@inproceedings{Cabot-al:ASE07,
  author    = {Jordi Cabot and
               Robert Claris{\'{o}} and
               Daniel Riera},
  title     = {{UMLtoCSP:} a tool for the formal verification of {UML/OCL} models using constraint programming},
  booktitle = {ASE},
  pages     = {547--548},
  publisher = {{ACM}},
  year      = {2007},
}

Related papers