Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
Fetching latest commit…
EMFtoCSP
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)] (http://modeling-languages.com/umltocsp-check-quality-uml-class-diagrams-constraint-programming/)
Authors
EMFToCSP is currently maintained by the [SOM] (http://som-research.uoc.edu/) research group from the Open University of Catalonia .
Installation and Usage
Check the wiki.