A. Beugnard, J. Jezequel, N. Plouzeau, and D. Watkins, Making Components Contract Aware, IEEE Computer, vol.32, issue.7, pp.38-45, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01794333

J. Bézivin and F. Jouault, Using ATL for Checking Models, Electronic Notes in Theoretical Computer Science, vol.152, pp.69-81, 2006.

B. Boehm, Verifying and Validating Software Requirements and Design Specifications, IEEE Software, vol.1, issue.1, pp.75-88, 1984.

D. Calegari and N. Szasz, Verification of Model Transformations: A Survey of the State-of-the-Art, Electronic Notes in Theoretical Computer Science, vol.292, pp.5-25, 2013.

E. Cariou, R. Marvie, L. Seinturier, and D. L. , Model Transformation Contracts and their Definition in UML and OCL, vol.8, pp.1-17, 2004.

E. Cariou, R. Marvie, L. Seinturier, and D. L. , OCL for the Specification of Model Transformation Contracts, Proceedings of Workshop OCL and Model Driven Engineering, 2004.

E. Cariou, N. Belloir, F. Barbier, and D. N. , OCL Contracts for the Verification of Model Transformations, Electronic Communications of the EASST, vol.24, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01093419

E. Cariou, C. Ballagny, A. Feugas, and F. Barbier, Contracts for Model Execution Verification, Proceedings of European Conference on Modelling Foundations and Applications, pp.3-18, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00637763

M. Gogolla, F. Büttner, and R. M. , USE: A UML-based Specification Environment for Validating UML and OCL, Science of Computer Programming, vol.69, issue.1, pp.27-34, 2007.

M. Gogolla and A. Vallecillo, Tractable Model Transformation Testing, Proceedings of European Conference on Modelling Foundations and Applications, pp.221-235, 2011.

E. Guerra, J. Lara, M. Wimmer, G. Kappel, A. Kusel et al., Automated Verification of Model Transformations Based on Visual Contracts, Automated Software Engineering, vol.20, issue.1, pp.5-46, 2013.

L. Traon, Y. Baudry, B. , and J. J. , Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.571-586, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00542784

B. Meyer, Applying Design by Contract, Computer, vol.25, issue.10, pp.40-51, 1992.

J. Mottu, B. Baudry, L. Traon, and Y. , Reusable MDA Components: A Testing-for-Trust Approach, Proceedings of International Conference on Model Driven Engineering Languages and Systems, pp.589-603, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00461274

S. Nouzri and A. El-fazziki, A Mapping from BPMN Model to JADEX Model, The International Arab Journal of Information Technology, vol.12, issue.1, pp.77-85, 2015.

. Omg, Object Constraint Language (OCL) Specification, version 2.2, 2010.

L. Rahim and J. Whittle, A Survey of Approaches for Verifying Model Transformations, Software and System Modeling, vol.14, pp.1003-1028, 2013.

M. Stephan and J. Cordy, A Survey of Methods and Applications of Model Comparison, 2011.

J. Tounsi, J. Boissière, and G. Habchi, Multiagent Decision Making for SME Supply Chain Simulation, Proceedings of 23 rd European Conference on Modeling and Simulation, pp.203-211, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00403807

P. Van-gorp, Model-Driven Development of Model Transformations, Proceedings of International Conference on Graph Transformation, pp.517-519, 2008.

P. Ziemann and M. Gogolla, OCL Extended with Temporal Logic, Proceedings of Conference on Perspectives of System Informatics, pp.351-357, 2003.