Equipe / Team : AtlanMod
Participants : Hugo Brunelière (correspondant), Gerson Sunyé, Massimo Tisi
Licence : EPL
Mots clés : Modeling, MDE, Verification, UML, EMF, Model, CSP
Résumé : EMFtoCSP is a tool for the verification of precisely defined conceptual models and metamodels. For these models, the definition of the general model structure (using UML or EMF) is supplemented by OCL constraints. The Eclipse Modeling Development Tools (MDT ) provides mature tool support for such OCL-annotated models with respect to model definition, transformation, and validation.