EMFtoCSP is a tool for the automatic verification of UML or EMF models annotated with OCL constraints. It can check automatically several correctness properties about the model, such as the satisfiability of the model or the lack of contradictory constraints.

If you want to find out more about EMFtoCSP, you can read our papers EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, FormSERA 2012 and On the verification of UML/OCL class diagrams using constraint programming. Journal of Systems and Software 93: 1-23 (2014).

Provider: 
FUNDACIO PER A LA UNIVERSITAT OBERTA DE CATALUNYA
Keywords: 
Static model checking
Simulation
Dependability analysis
Schedulability analysis
Performance analysis
Model based testing
main contact: 
Abel Gómez
License: 
EPL 2.0

Downloads

EMFtoSCP can be installed into Eclipse IDE using the update site that can be downloaded from the link below

Documentation

For detailed instructions on how to install EMFtoCSP click here.

If you already installed EMFtoCSP and want to check how to use it, click here instead.

Source Code

EMFtoSCP source code is available at its GitHub repository link shown below