Contracts for Model-Driven Enginering

We have developped techniques and prototypes for the verification of model transformations and model execution through contracts. The technical results and associated ressources presented in our publications are available here :

• Model transformation verification ressources, presented in the OCL '09 workshop paper
• Model execution verification ressources, presented in the ECMFA '11 paper
• The mapping function generator tool, used in both verification approaches (please note that the version proposed in the OCL'09 worshop paper ressources is an old one).

Associated publications

• Eric Cariou, Cyril Ballagny, Alexandre Feugas, and Franck Barbier, Contracts for Model Execution Verification, Seventh European Conference on Modelling Foundations and Applications (ECMFA '11), volume 6698 of Lecture Notes in Computer Science, pp 3-18, Springer, June 2011
  [abstract]
  
  
• Eric Cariou, Nicolas Belloir, Franck Barbier, and Nidal Djemam, OCL contracts for the verification of model transformations, the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009, Electronic Communications of the EASST, vol. 24, October 2009
  [paper] [slides] [abstract]
  
  

Eric Cariou, last modification : 10/05/11