{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:47:08Z","timestamp":1766137628121,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,2,28]],"date-time":"2021-02-28T00:00:00Z","timestamp":1614470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,28]],"date-time":"2021-02-28T00:00:00Z","timestamp":1614470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s10270-021-00867-0","type":"journal-article","created":{"date-parts":[[2021,2,28]],"date-time":"2021-02-28T07:02:21Z","timestamp":1614495741000},"page":"1633-1652","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Coupling solvers with model transformations to generate explorable model sets"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2273-2053","authenticated-orcid":false,"given":"Th\u00e9o","family":"Le\u00a0Calvar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2224-8296","authenticated-orcid":false,"given":"Fabien","family":"Chhel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2395-9623","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Jouault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8227-7174","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Saubion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,28]]},"reference":[{"unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of model transformations via alloy. In: MoDeVVa \u201907, pp. 47\u201356 (2007)","key":"867_CR1"},{"key":"867_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K Apt","year":"2003","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003). https:\/\/doi.org\/10.1017\/CBO9780511615320"},{"issue":"4","key":"867_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/504704.504705","volume":"8","author":"GJ Badros","year":"2001","unstructured":"Badros, G.J., Borning, A., Stuckey, P.J.: The Cassowary linear arithmetic constraint solving algorithm. TOCHI 8(4), 267\u2013306 (2001)","journal-title":"TOCHI"},{"issue":"1","key":"867_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10601-012-9132-0","volume":"18","author":"N Beldiceanu","year":"2013","unstructured":"Beldiceanu, N., Carlsson, M., Flener, P., Pearson, J.: On the reification of global constraints. Constraints 18(1), 1\u20136 (2013). https:\/\/doi.org\/10.1007\/s10601-012-9132-0","journal-title":"Constraints"},{"key":"867_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-61735-3_4","volume-title":"Algebraic and Logic Programming","author":"F Benhamou","year":"1996","unstructured":"Benhamou, F.: Heterogeneous constraint solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) Algebraic and Logic Programming, pp. 62\u201376. Springer, Berlin (1996)"},{"key":"867_CR6","volume-title":"Handbook on Scheduling: From Theory to Applications","author":"J Blazewicz","year":"2014","unstructured":"Blazewicz, J., Ecker, K.H., Pesch, E., Schmidt, G., Weglarz, J.: Handbook on Scheduling: From Theory to Applications. Springer, Berlin (2014)"},{"unstructured":"Boussemart, F., Lecoutre, C., Piette, C.: XCSP3: an integrated format for benchmarking combinatorial constrained problems. CoRR arXiv:1611.03398 (2016)","key":"867_CR7"},{"key":"867_CR8","first-page":"198","volume":"2012","author":"F B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. ICFEM 2012, 198\u2013213 (2012)","journal-title":"ICFEM"},{"doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: ASE \u201907, pp. 547\u2013548. ACM (2007)","key":"867_CR9","DOI":"10.1145\/1321631.1321737"},{"issue":"3","key":"867_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2019.18.3.a2","volume":"18","author":"TL Calvar","year":"2019","unstructured":"Calvar, T.L., Jouault, F., Chhel, F., Clavreul, M.: Efficient ATL incremental transformations. JOT 18(3), 1\u20132 (2019). https:\/\/doi.org\/10.5381\/jot.2019.18.3.a2","journal-title":"JOT"},{"issue":"3","key":"867_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2019.18.3.a2","volume":"18","author":"TL Calvar","year":"2019","unstructured":"Calvar, T.L., Jouault, F., Chhel, F., Clavreul, M.: Efficient ATL incremental transformations. J. Object Technol. 18(3), 1\u201317 (2019). https:\/\/doi.org\/10.5381\/jot.2019.18.3.a2","journal-title":"J. Object Technol."},{"doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di\u00a0Ruscio, D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: SLE \u201910, pp. 183\u2013202 (2011)","key":"867_CR12","DOI":"10.1007\/978-3-642-19440-5_11"},{"doi-asserted-by":"publisher","unstructured":"Cunha, A., Macedo, N., Guimar\u00e3es, T.: Target oriented relational model finding. In: Gnesi, S., Rensink, A. (eds.) Fundamental Approaches to Software Engineering\u201417th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5\u201313, 2014, Proceedings, Lecture Notes in Computer Science, vol. 8411, pp. 17\u201331. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_2","key":"867_CR13","DOI":"10.1007\/978-3-642-54804-8_2"},{"key":"867_CR14","first-page":"57","volume":"2014","author":"Z Diskin","year":"2014","unstructured":"Diskin, Z., Wider, A., Gholizadeh, H., Czarnecki, K.: Towards a rational taxonomy for increasingly symmetric model synchronization. ICMT 2014, 57\u201373 (2014)","journal-title":"ICMT"},{"issue":"1","key":"867_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"BN Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B.N., Maloney, J., Borning, A.: An incremental constraint solver. Commun. ACM 33(1), 54\u201363 (1990). https:\/\/doi.org\/10.1145\/76372.77531","journal-title":"Commun. ACM"},{"doi-asserted-by":"publisher","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: CSP(m): Constraint satisfaction problem over models. In: Model Driven Engineering Languages and Systems, pp. 107\u2013121. Springer, Berlin (2009). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_9","key":"867_CR16","DOI":"10.1007\/978-3-642-04425-0_9"},{"issue":"3","key":"867_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10270-010-0185-5","volume":"11","author":"\u00c1 Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: Dynamic constraint satisfaction problems over models. Softw. Syst. Model. 11(3), 385\u2013408 (2012)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"867_CR18","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. TOSEM 11(2), 256\u2013290 (2002)","journal-title":"TOSEM"},{"unstructured":"Jouault, F., Beaudoux, O.: Efficient OCL-based incremental transformations. In: 16th International Workshop in OCL and Textual Modeling, pp. 121\u2013136 (2016)","key":"867_CR19"},{"doi-asserted-by":"publisher","unstructured":"Jouault, F., Beaudoux, O., Brun, M., Chhel, F., Clavreul, M.: Improving incremental and bidirectional evaluation with an explicit propagation graph. In: Seidl, M., Zschaler, S. (eds.) Software Technologies: Applications and Foundations\u2014STAF 2017 Collocated Workshops, Marburg, Germany, July 17\u201321, 2017, Revised Selected Papers, Lecture Notes in Computer Science, vol. 10748, pp. 302\u2013316. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-74730-9_27","key":"867_CR20","DOI":"10.1007\/978-3-319-74730-9_27"},{"key":"867_CR21","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.M. (ed.) Satellite Events at the MoDELS 2005 Conference, pp. 128\u2013138. Springer, Berlin (2006)"},{"key":"867_CR22","first-page":"173","volume":"2010","author":"M Kleiner","year":"2010","unstructured":"Kleiner, M., Didonet Del Fabro, M., Albert, P.: Model search: formalizing and automating constraint solving in MDE platforms. ECMFA 2010, 173\u2013188 (2010)","journal-title":"ECMFA"},{"key":"867_CR23","first-page":"54","volume":"2013","author":"M Kleiner","year":"2013","unstructured":"Kleiner, M., Didonet Del Fabro, M., De Queiroz Santos, D.: Transformation as search. ECMFA 2013, 54\u201369 (2013)","journal-title":"ECMFA"},{"unstructured":"Michel, L., Schaus, P., Van Hentenryck, P.: MiniCP: a lightweight solver for constraint programming (2018). https:\/\/minicp.bitbucket.io","key":"867_CR24"},{"unstructured":"Le\u00a0Calvar, T., Chhel, F., Jouault, F., Saubion, F.: Using process algebra to statically analyze incremental propagation graphs. In: OCL \u201918, pp. 160\u2013173. Copenhague, Denmark (2018)","key":"867_CR25"},{"doi-asserted-by":"crossref","unstructured":"Le\u00a0Calvar, T., Chhel, F., Jouault, F., Saubion, F.: Toward a declarative language to generate explorable sets of models. In: SAC \u201919, pp. 1837\u20131844. Limassol, Cyprus (2019)","key":"867_CR26","DOI":"10.1145\/3297280.3297461"},{"unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. Electron. Commun. EASST 67 (2014)","key":"867_CR27"},{"key":"867_CR28","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611821","volume-title":"Constraint Networks: Techniques and Algorithms","author":"C Lecoutre","year":"2009","unstructured":"Lecoutre, C.: Constraint Networks: Techniques and Algorithms. Wiley, New York (2009)"},{"issue":"2","key":"867_CR29","doi-asserted-by":"publisher","first-page":"17:1","DOI":"10.5381\/jot.2020.19.2.a17","volume":"19","author":"I Ludovico","year":"2020","unstructured":"Ludovico, I., Barriga, A., Rutle, A., Heldal, R.: Model repair with quality-based reinforcement learning. J. Object Technol. 19(2), 17:1 (2020). https:\/\/doi.org\/10.5381\/jot.2020.19.2.a17","journal-title":"J. Object Technol."},{"doi-asserted-by":"publisher","unstructured":"Macedo, N., Cunha, A., Guimar\u00e3es, T.: Exploring scenario exploration. In: Egyed, A., Schaefer, I. (eds.) Fundamental Approaches to Software Engineering\u201418th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11\u201318, 2015. Proceedings, Lecture Notes in Computer Science, vol. 9033, pp. 301\u2013315. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_20","key":"867_CR30","DOI":"10.1007\/978-3-662-46675-9_20"},{"issue":"7","key":"867_CR31","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSE.2016.2620145","volume":"43","author":"N Macedo","year":"2017","unstructured":"Macedo, N., Jorge, T., Cunha, A.: A feature-based classification of model repair approaches. IEEE Trans. Softw. Eng. 43(7), 615\u2013640 (2017). https:\/\/doi.org\/10.1109\/TSE.2016.2620145","journal-title":"IEEE Trans. Softw. Eng."},{"key":"867_CR32","first-page":"190","volume":"93","author":"F Menezes","year":"1993","unstructured":"Menezes, F., Barahona, P., Codognet, P.: An incremental hierarchical constraint solver. PPCP 93, 190\u2013199 (1993)","journal-title":"PPCP"},{"doi-asserted-by":"publisher","unstructured":"Monfroy, E., Castro, C.: Basic components for constraint solver cooperations. In: Lamont, G.B., Haddad, H., Papadopoulos, G.A., Panda, B. (eds.) Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9\u201312, 2003, Melbourne, FL, USA, pp. 367\u2013374. ACM (2003). https:\/\/doi.org\/10.1145\/952532.952606","key":"867_CR33","DOI":"10.1145\/952532.952606"},{"doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: CP \u201907, pp. 529\u2013543. Springer (2007)","key":"867_CR34","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"867_CR35","first-page":"132","volume":"2009","author":"A Petter","year":"2009","unstructured":"Petter, A., Behring, A., M\u00fchlh\u00e4user, M.: Solving constraints in model transformations. ICMT 2009, 132\u2013147 (2009)","journal-title":"ICMT"},{"unstructured":"Prud\u2019homme, C., et\u00a0al.: Choco Documentation. TASC-LS2N CNRS UMR 6241, COSLING S.A.S. (2017). http:\/\/www.choco-solver.org","key":"867_CR36"},{"doi-asserted-by":"publisher","unstructured":"Sch\u00e4tz, B., H\u00f6lzl, F., Lundkvist, T.: Design-space exploration through constraint-based model-transformation. In: ECBS \u201910, pp. 173\u2013182 (2010). https:\/\/doi.org\/10.1109\/ECBS.2010.25","key":"867_CR37","DOI":"10.1109\/ECBS.2010.25"},{"doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Nagy, A.S., Varr\u00f3, D.: A graph solver for the automated generation of consistent domain-specific models. In: ICSE \u201918, pp. 969\u2013980. ACM, New York (2018). https:\/\/doi.org\/10.1145\/3180155.3180186","key":"867_CR38","DOI":"10.1145\/3180155.3180186"},{"doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Iterative and incremental model generation by logic solvers. In: Fundamental Approaches to Software Engineering, pp. 87\u2013103 (2016)","key":"867_CR39","DOI":"10.1007\/978-3-662-49665-7_6"},{"doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009, pp. 148\u2013164 (2009)","key":"867_CR40","DOI":"10.1007\/978-3-642-02408-5_11"},{"unstructured":"Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: INAP \u201907, p.\u00a059 (2007)","key":"867_CR41"},{"doi-asserted-by":"publisher","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24\u2013April 1, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4424, pp. 632\u2013647. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-71209-1_49","key":"867_CR42","DOI":"10.1007\/978-3-540-71209-1_49"},{"issue":"3","key":"867_CR43","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., et al.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609\u2013629 (2016). https:\/\/doi.org\/10.1007\/s10270-016-0530-4","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"867_CR44","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0743-1066(93)90046-J","volume":"16","author":"M Wilson","year":"1993","unstructured":"Wilson, M., Borning, A.: Hierarchical constraint logic programming. J. Logic Program. 16(3), 277\u2013318 (1993). https:\/\/doi.org\/10.1016\/0743-1066(93)90046-J","journal-title":"J. Logic Program."},{"doi-asserted-by":"publisher","unstructured":"Zheng, G., Bagheri, H., Rothermel, G., Wang, J.: Platinum: reusing constraint solutions in bounded analysis of relational logic. In: Wehrheim, H., Cabot, J. (eds.) Fundamental Approaches to Software Engineering\u201423rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, 2020, Proceedings, Lecture Notes in Computer Science, vol. 12076, pp. 29\u201352. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_2","key":"867_CR45","DOI":"10.1007\/978-3-030-45234-6_2"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00867-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00867-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00867-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T06:50:51Z","timestamp":1634280651000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00867-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,28]]},"references-count":45,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["867"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00867-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2021,2,28]]},"assertion":[{"value":"23 April 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 January 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}