{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:19:45Z","timestamp":1759033185239},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,11,22]],"date-time":"2014-11-22T00:00:00Z","timestamp":1416614400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s10270-014-0437-x","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T15:23:09Z","timestamp":1416583389000},"page":"783-810","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["Least-change bidirectional model transformation with QVT-R and ATL"],"prefix":"10.1007","volume":"15","author":[{"given":"Nuno","family":"Macedo","sequence":"first","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,22]]},"reference":[{"key":"437_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9, 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"437_CR2","unstructured":"ATLAS group: ATL user guide. http:\/\/wiki.eclipse.org\/ATL\/User_Guide"},{"key":"437_CR3","doi-asserted-by":"crossref","unstructured":"Boronat, A., Cars\u00ed, J., Ramos, I.: Algebraic specification of a model transformation engine. FASE\u201906, LNCS, vol. 3922. Springer, Berlin (2006)","DOI":"10.1007\/11693017_20"},{"key":"437_CR4","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stevens, P.: Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus. In: FASE\u201912, LNCS, vol. 7212, pp. 194\u2013208. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-28872-2_14"},{"key":"437_CR5","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. In: FASE\u201913, LNCS, vol. 7793, pp. 282\u2013296. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-37057-1_21"},{"key":"437_CR6","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: ICFEM\u201912, LNCS, vol. 7635, pp. 198\u2013213. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34281-3_16"},{"issue":"2","key":"437_CR7","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"437_CR8","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: SLE\u201910, LNCS, vol. 6563, pp. 183\u2013202. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-19440-5_11"},{"key":"437_CR9","doi-asserted-by":"crossref","unstructured":"Cunha, A., Garis, A., Riesco, D.: Translating between alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 1\u201321 (2013)","DOI":"10.1007\/s10270-013-0353-5"},{"key":"437_CR10","doi-asserted-by":"crossref","unstructured":"Cunha, A., Macedo, N., Guimar\u00e3es, T.: Target oriented relational model finding. In: FASE\u201914, LNCS, vol. 8411, pp. 17\u201331. Springer, Berlin (2014)","DOI":"10.1007\/978-3-642-54804-8_2"},{"key":"437_CR11","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Formal support for QVT-relations with coloured petri nets. In: MoDELS\u201909, LNCS, vol. 5795, pp. 256\u2013270. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_19"},{"key":"437_CR12","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: MoDELS\u201911, LNCS, vol. 6981, pp. 304\u2013318. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"issue":"3","key":"437_CR13","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"JN Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"437_CR14","doi-asserted-by":"crossref","unstructured":"Frias, M.F., Pombo, C.L., Aguirre, N.: An equational calculus for Alloy. In: ICFEM\u201904, LNCS, vol. 3308, pp. 162\u2013175. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30482-1_19"},{"key":"437_CR15","unstructured":"Garcia, M.: Formalization of QVT-Relations: OCL-based static semantics and Alloy-based validation. In: MDSD Today 2008, pp. 21\u201330. Shaker (2008)"},{"issue":"1","key":"437_CR16","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"437_CR17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing query\/view\/transformation with triple graph grammars. Softw. Syst. Model. 9(1), 21\u201346 (2010)","journal-title":"Softw. Syst. Model."},{"key":"437_CR18","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Pook, S., Rieke, J.: Preventing information loss in incremental model synchronization by reusing elements. In: ECMFA\u201911, LNCS, vol. 6698, pp. 144\u2013159. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_11"},{"issue":"1","key":"437_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.3233\/FI-2011-618","volume":"114","author":"E Guerra","year":"2012","unstructured":"Guerra, E., de Lara, J.: An algebraic semantics for QVT-relations check-only transformations. Fundam. Inform. 114(1), 73\u2013101 (2012)","journal-title":"Fundam. Inform."},{"key":"437_CR20","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Branco, M.C., Varr\u00f3, D.: Quick fix generation for DSMLs. In: VL\/HCC\u201911, pp. 17\u201324. IEEE (2011)","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"437_CR21","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 1\u201329 (2013)","DOI":"10.1007\/s10270-012-0309-1"},{"key":"437_CR22","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K.: GRoundTram: an integrated framework for developing well-behaved bidirectional model transformations. In: ASE\u201911, pp. 480\u2013483. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100104"},{"key":"437_CR23","unstructured":"ikv++ technologies ag: Medini QVT. http:\/\/projects.ikv.de\/qvt\/"},{"key":"437_CR24","volume-title":"Software Abstractions: Logic, Language, and Analysis, revised edn","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis, revised edn. MIT Press, Cambridge (2012)"},{"key":"437_CR25","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: MoDELS\u201905 Satellite Events, LNCS, vol. 3844, pp. 128\u2013138. Springer, Berlin (2005)","DOI":"10.1007\/11663430_14"},{"key":"437_CR26","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: On the architectural alignment of ATL and QVT. In: SAC\u201906, pp. 1188\u20131195. ACM (2006)","DOI":"10.1145\/1141277.1141561"},{"key":"437_CR27","doi-asserted-by":"crossref","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: ICMT\u201910, LNCS, vol. 6142, pp. 123\u2013137. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13688-7_9"},{"key":"437_CR28","doi-asserted-by":"crossref","unstructured":"Kleiner, M., Fabro, M.D.D., Albert, P.: Model search: formalizing and automating constraint solving in MDE platforms. In: ECMFA\u201910, LNCS, vol. 6138, pp. 173\u2013188. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13595-8_15"},{"issue":"3","key":"437_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"GT Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Softw. Eng. Notes 31(3), 1\u201338 (2006)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"437_CR30","unstructured":"Macedo, N.: Translating alloy specifications to the point-free style. Master\u2019s thesis, Escola de Engenharia, Universidade do Minho, Braga, Portugal (2010)"},{"key":"437_CR31","doi-asserted-by":"crossref","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using Alloy. In: FASE\u201913, LNCS, vol. 7793, pp. 297\u2013311. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"437_CR32","unstructured":"Macedo, N., Cunha, A., Pacheco, H.: Towards a framework for multidirectional model transformations. In: EDBT\/ICDT\u201914 Workshops, CEUR Workshop Proceedings, vol. 1133, pp. 71\u201374. CEUR-WS.org (2014)"},{"key":"437_CR33","doi-asserted-by":"crossref","unstructured":"Macedo, N., Guimar\u00e3es, T., Cunha, A.: Model repair and transformation with Echo. In: ASE\u201913, pp. 694\u2013697. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693135"},{"key":"437_CR34","unstructured":"Macedo, N., Pacheco, H., Cunha, A., Oliveira, J.N.: Composing least-change lenses. ECEASST 57, 1\u201318 (2013)"},{"key":"437_CR35","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction. In: Third Workshop on Programmable Structured Documents. Tokyo University (2005)"},{"key":"437_CR36","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Jackson, D.: Preventing arithmetic overflows in alloy. In: ABZ\u201912, LNCS, vol. 7316, pp. 108\u2013121. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30885-7_8"},{"key":"437_CR37","doi-asserted-by":"crossref","unstructured":"Montaghami, V., Rayside, D.: Extending alloy with partial instances. In: ABZ\u201912, LNCS, vol. 7316, pp. 122\u2013135. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30885-7_9"},{"key":"437_CR38","doi-asserted-by":"crossref","unstructured":"Near, J.P., Jackson, D.: An imperative extension to alloy. In: ASM\u201910, LNCS, vol. 5977, pp. 118\u2013131. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-11811-1_10"},{"key":"437_CR39","doi-asserted-by":"crossref","unstructured":"Oliveira, J.N.: Extended static checking by calculation using the pointfree transform. In: LerNet\u201908, LNCS, vol. 5520, pp. 195\u2013251. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03153-3_5"},{"key":"437_CR40","unstructured":"OMG: MOF 2.0 query\/view\/transformation specification (QVT), version 1.1 (2011). http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"437_CR41","unstructured":"OMG: OMG unified modeling language (UML), version 2.4.1 (2011). http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"437_CR42","unstructured":"OMG: OMG object constraint language (OCL), version 2.3.1 (2012). http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"key":"437_CR43","unstructured":"OMG: OMG meta object facility (MOF), version 2.4.1 (2013). http:\/\/www.omg.org\/spec\/MOF\/2.4.1\/"},{"key":"437_CR44","unstructured":"Rayside, D., Chang, F.S.H., Dennis, G., Seater, R., Jackson, D.: Automatic visualization of relational logic models. ECEASST 7, 1\u201314 (2007)"},{"key":"437_CR45","doi-asserted-by":"crossref","unstructured":"Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., Nakano, K.: Toward bidirectionalization of ATL with GRoundTram. In: ICMT\u201911, LNCS, vol. 6707, pp. 138\u2013151. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21732-6_10"},{"issue":"1","key":"437_CR46","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"437_CR47","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10270-011-0198-8","volume":"12","author":"P Stevens","year":"2013","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT relations. Softw. Syst. Model. 12(1), 175\u2013199 (2013)","journal-title":"Softw. Syst. Model."},{"key":"437_CR48","doi-asserted-by":"crossref","unstructured":"Straeten, R.V.D., Puissant, J.P., Mens, T.: Assessing the Kodkod model finder for resolving model inconsistencies. In: ECMFA\u201911, LNCS, vol. 6698, pp. 69\u201384. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_6"},{"key":"437_CR49","unstructured":"Tata Research Development and Design Centre: ModelMorf. http:\/\/www.tcs-trddc.com\/trddc_website\/ModelMorf\/ModelMorf.htm"},{"key":"437_CR50","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: TACAS\u201907, LNCS, vol. 4424, pp. 632\u2013647. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"437_CR51","unstructured":"Voigt, K.: Structural graph-based metamodel matching. Ph.D. thesis, University of Desden (2011)"},{"key":"437_CR52","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE\u201907, pp. 164\u2013173. ACM (2007)","DOI":"10.1145\/1321631.1321657"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0437-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0437-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0437-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,27]],"date-time":"2020-08-27T03:28:39Z","timestamp":1598498919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0437-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,22]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["437"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0437-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,22]]}}}