J. M. Almendros-jimenez, L. Iribarne, J. Lopez-fernandez, and A. Mora-segura, PTL: a model transformation language based on logic programming, J. Log. Algebraic Method. Program, vol.85, issue.2, pp.332-366, 2016.

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On challenges of model transformation from UML to alloy, Softw. Syst. Model, vol.9, issue.1, pp.69-86, 2010.

G. Bergmann, A. Ökrös, I. Ráth, D. Varró, and G. Varró, Incremental pattern matching in the Viatra model transformation system, Proceedings of the Third International Workshop on Graph and Model Transformations, pp.25-32, 2008.

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming, Proceedings of the International Conference on Automated Software Engineering, 2007.

A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio, JTL: a bidirectional and change propagating transformation language, Proceedings of the Third International Conference on Software Language Engineering, pp.183-202, 2010.

S. A. Cook, The complexity of theorem-proving procedures, Proceedings of the ACM Symposium on Theory of Computing, pp.151-158, 1971.

A. Cunha, A. G. Garis, and D. Riesco, Translating between alloy specifications and UML class diagrams annotated with OCL, Softw. Syst. Model, vol.14, issue.1, pp.5-25, 2015.

K. Czarnecki, J. N. Foster, Z. Hu, R. Lämmel, A. Schürr et al., Bidirectional transformations: a cross-discipline perspective, Proceedings of the International Conference on Model Transformations, 5563, pp.260-283, 2009.

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Syst. J, vol.45, pp.621-645, 2006.

O. Eclipse, Object Constraint Language) project web site, 2018.

, The eclipse modeling framework, EMF, 2018.

R. Eramo, I. Malavolta, H. Muccini, P. Pelliccione, and A. Pierantonio, A modeldriven approach to automate the propagation of changes among architecture description languages, Softw. Syst. Model, vol.11, issue.1, pp.29-53, 2012.

M. Fleck, J. Troya, M. Kessentini, M. Wimmer, and B. Alkhazi, Model transformation modularization as a many-objective optimization problem, IEEE Trans. Softw. Eng, vol.43, issue.11, pp.1009-1032, 2017.

M. Fleck, J. Troya, and M. Wimmer, Search-based model transformations, J. Softw. Evol. Process, vol.28, issue.12, pp.1081-1117, 2016.

H. Giese and R. Wagner, From model transformation to incremental bidirectional model synchronization, Softw. Syst. Model, vol.8, issue.1, 2009.

M. Gogolla, F. Büttner, and M. Richters, USE: a UML-based specification environment for validating UML and OCL, Sci. Comput. Program, vol.69, issue.1-3, pp.27-34, 2007.

D. Hearnden, M. Lawley, and K. Raymond, Incremental model transformation for the evolution of model-driven systems, Proceedings of the Model Driven Engineering Languages and Systems, vol.4199, pp.321-335, 2006.

A. Hegedüs, A. Horváth, I. Ráth, M. C. Branco, and D. Varró, Quick fix generation for DSMLs, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, pp.17-24, 2011.

T. Hettel, M. Lawley, and K. Raymond, Towards model round-trip engineering: an abductive approach, Proceedings of the International Conference on Model Transformations, vol.5563, pp.100-115, 2009.

S. Hidaka, M. Tisi, J. Cabot, and Z. Hu, Feature-based classification of bidirectional transformation approaches, Softw. Syst. Model, vol.15, issue.3, pp.907-928, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01257169

D. Jackson, Automating first-order relational logic, Proceedings of the Foundations of Software Engineering, pp.130-139

J. Jaffar and M. J. Maher, Constraint logic programming: a survey, J. Logic Program, vol.19, issue.20, pp.503-581, 1994.

F. Jouault and J. Bézivin, KM3: a DSL for metamodel specification, Proceedings of the Formal Methods for Open Object-Based Distributed Systems, pp.171-185, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00448119

F. Jouault and I. Kurtev, Transforming models with ATL, Proceedings of the MoDELS Satellite Events. Montego Bay, pp.128-138, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448120

M. Kessentini, P. Langer, and M. Wimmer, Searching models, modeling search: on the synergies of sbse and mde, Proceedings of the International Workshop on Combining Modelling and Search-Based Software Engineering, pp.51-54, 2013.

M. Kessentini, U. Mansoor, M. Wimmer, A. Ouni, and K. Deb, Search-based detection of model level changes, Empir. Softw. Eng, vol.22, issue.2, pp.670-715, 2017.

M. Kessentini, H. Sahraoui, M. Boukadoum, and O. B. Omar, Search-based model transformation by example, Soft. Syst. Model, vol.11, issue.2, pp.209-226, 2012.

M. Kessentini, H. A. Sahraoui, and M. Boukadoum, Model transformation as an optimization problem, Proceedings of the Model Driven Engineering Languages and Systems, pp.159-173, 2008.

M. Kleiner, M. D. Fabro, and P. Albert, Model search: formalizing and automating constraint solving in MDE platforms, Proceedings of the European Conference on Modelling Foundations and Applications, pp.173-188, 2010.

M. Kleiner, M. D. Fabro, and D. D. Santos, Transformation as search, Proceedings of the European Conference on Modelling Foundations and Applications, pp.54-69, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00913957

T. Kühne, Matters of (meta-)modeling, Softw. Syst. Model, vol.5, issue.4, pp.369-385, 2006.

M. Lawley and J. Steel, Practical declarative model transformation with tefkat, Proceedings of the MoDELS Satellite Events, pp.139-150, 2005.

N. Macedo and A. Cunha, Implementing QVT-R bidirectional model transformations using alloy, Proceedings of the International Conference on Fundamental Approaches to Software Engineering, vol.7793, pp.297-311, 2013.

N. Macedo and A. Cunha, Least-change bidirectional model transformation with QVT-R and ATL, Softw. Syst. Model, vol.15, issue.3, 2016.

N. Macedo, A. Cunha, and T. Guimarães, Exploring scenario exploration, Proceedings of the International Conference on Fundamental Approaches to Software Engineering, pp.301-315, 2015.

N. Macedo, T. Guimarães, and A. Cunha, Model repair and transformation with Echo, Proceedings of the International Conference on Automated Software Engineering, pp.694-697, 2013.

N. Macedo, J. Tiago, and A. Cunha, A feature-based classification of model repair approaches, IEEE Trans. Softw. Eng, vol.43, issue.7, pp.615-640, 2017.

S. Maoz, J. O. Ringert, and B. Rumpe, CD2Alloy: class diagrams analysis using alloy revisited, Proceedings of the Model Driven Engineering Languages and Systems, pp.592-607, 2011.

, MOS (Model Opereations as Search) web site, sources and documentation, 2018.

J. Pinnapuissant, R. V. Straeten, and T. Mens, Resolving model inconsistencies using automated regression planning, Softw. Syst. Model, vol.14, issue.1, pp.461-481, 2015.

, Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, version 1.1. Object Management Group, 2011.

A. Schürr and F. Klar, 15 years of triple graph grammars, Proceedings of the International Conference on Graph Transformations, pp.411-425, 2008.

O. Semeráth, A. Vörös, and D. Varró, Iterative and incremental model generation by logic solvers, Proceedings of the Fundamental Approaches to Software Engineering, pp.87-103, 2016.

J. Slaney, FINDER: finite domain enumerator system description, Proceedings of the International Conference on Automated Deduction, pp.798-801, 1994.

R. V. Straeten, J. P. Puissant, and T. Mens, Assessing the Kodkod model finder for resolving model inconsistencies, Proceedings of the European Conference on Modelling Foundations and Applications, pp.69-84, 2011.

T. Vogel, S. Neumann, S. Hildebrandt, H. Giese, and B. Becker, Incremental model synchronization for efficient run-time monitoring, Proceedings of the MoDELS Workshops, vol.6002, pp.124-139, 2009.

J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-cortez, Automated diagnosis of product-line configuration errors in feature models, Proceedings of the Software Product Lines Conference, 2008.

J. Zhang and H. Zhang, System description generating models by sem, Proceedings of the International Conference on Automated Deduction, pp.308-312, 1996.