PTL: a model transformation language based on logic programming, J. Log. Algebraic Method. Program, vol.85, issue.2, pp.332-366, 2016. ,
On challenges of model transformation from UML to alloy, Softw. Syst. Model, vol.9, issue.1, pp.69-86, 2010. ,
Incremental pattern matching in the Viatra model transformation system, Proceedings of the Third International Workshop on Graph and Model Transformations, pp.25-32, 2008. ,
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming, Proceedings of the International Conference on Automated Software Engineering, 2007. ,
JTL: a bidirectional and change propagating transformation language, Proceedings of the Third International Conference on Software Language Engineering, pp.183-202, 2010. ,
The complexity of theorem-proving procedures, Proceedings of the ACM Symposium on Theory of Computing, pp.151-158, 1971. ,
Translating between alloy specifications and UML class diagrams annotated with OCL, Softw. Syst. Model, vol.14, issue.1, pp.5-25, 2015. ,
Bidirectional transformations: a cross-discipline perspective, Proceedings of the International Conference on Model Transformations, 5563, pp.260-283, 2009. ,
Feature-based survey of model transformation approaches, IBM Syst. J, vol.45, pp.621-645, 2006. ,
Object Constraint Language) project web site, 2018. ,
, The eclipse modeling framework, EMF, 2018.
A modeldriven approach to automate the propagation of changes among architecture description languages, Softw. Syst. Model, vol.11, issue.1, pp.29-53, 2012. ,
Model transformation modularization as a many-objective optimization problem, IEEE Trans. Softw. Eng, vol.43, issue.11, pp.1009-1032, 2017. ,
Search-based model transformations, J. Softw. Evol. Process, vol.28, issue.12, pp.1081-1117, 2016. ,
From model transformation to incremental bidirectional model synchronization, Softw. Syst. Model, vol.8, issue.1, 2009. ,
USE: a UML-based specification environment for validating UML and OCL, Sci. Comput. Program, vol.69, issue.1-3, pp.27-34, 2007. ,
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. ,
Quick fix generation for DSMLs, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, pp.17-24, 2011. ,
Towards model round-trip engineering: an abductive approach, Proceedings of the International Conference on Model Transformations, vol.5563, pp.100-115, 2009. ,
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
Automating first-order relational logic, Proceedings of the Foundations of Software Engineering, pp.130-139 ,
Constraint logic programming: a survey, J. Logic Program, vol.19, issue.20, pp.503-581, 1994. ,
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
Transforming models with ATL, Proceedings of the MoDELS Satellite Events. Montego Bay, pp.128-138, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00448120
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. ,
Search-based detection of model level changes, Empir. Softw. Eng, vol.22, issue.2, pp.670-715, 2017. ,
Search-based model transformation by example, Soft. Syst. Model, vol.11, issue.2, pp.209-226, 2012. ,
Model transformation as an optimization problem, Proceedings of the Model Driven Engineering Languages and Systems, pp.159-173, 2008. ,
Model search: formalizing and automating constraint solving in MDE platforms, Proceedings of the European Conference on Modelling Foundations and Applications, pp.173-188, 2010. ,
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
Matters of (meta-)modeling, Softw. Syst. Model, vol.5, issue.4, pp.369-385, 2006. ,
Practical declarative model transformation with tefkat, Proceedings of the MoDELS Satellite Events, pp.139-150, 2005. ,
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. ,
Least-change bidirectional model transformation with QVT-R and ATL, Softw. Syst. Model, vol.15, issue.3, 2016. ,
Exploring scenario exploration, Proceedings of the International Conference on Fundamental Approaches to Software Engineering, pp.301-315, 2015. ,
Model repair and transformation with Echo, Proceedings of the International Conference on Automated Software Engineering, pp.694-697, 2013. ,
A feature-based classification of model repair approaches, IEEE Trans. Softw. Eng, vol.43, issue.7, pp.615-640, 2017. ,
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.
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.
15 years of triple graph grammars, Proceedings of the International Conference on Graph Transformations, pp.411-425, 2008. ,
Iterative and incremental model generation by logic solvers, Proceedings of the Fundamental Approaches to Software Engineering, pp.87-103, 2016. ,
FINDER: finite domain enumerator system description, Proceedings of the International Conference on Automated Deduction, pp.798-801, 1994. ,
Assessing the Kodkod model finder for resolving model inconsistencies, Proceedings of the European Conference on Modelling Foundations and Applications, pp.69-84, 2011. ,
Incremental model synchronization for efficient run-time monitoring, Proceedings of the MoDELS Workshops, vol.6002, pp.124-139, 2009. ,
Automated diagnosis of product-line configuration errors in feature models, Proceedings of the Software Product Lines Conference, 2008. ,
System description generating models by sem, Proceedings of the International Conference on Automated Deduction, pp.308-312, 1996. ,