{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:49:22Z","timestamp":1759826962771,"version":"3.41.0"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T00:00:00Z","timestamp":1462924800000},"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":[[2018,7]]},"DOI":"10.1007\/s10270-016-0527-z","type":"journal-article","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T05:24:19Z","timestamp":1462944259000},"page":"989-1029","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Case-based exploration of bidirectional transformations in QVT Relations"],"prefix":"10.1007","volume":"17","author":[{"given":"Bernhard","family":"Westfechtel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"key":"527_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-8138-8","volume-title":"A Set Theory Workbook","author":"IT Adamson","year":"1998","unstructured":"Adamson, I.T.: A Set Theory Workbook. Springer, New York (1998)"},{"key":"527_CR2","unstructured":"Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A., Sch\u00fcrr, A.: BenchmarX. In: Workshop Proceedings of the EDBT\/ICDT 2014 Joint Conference, Athens, Greece, CEUR Workshop Proceedings, vol. 1133, pp. 82\u201386 (2014)"},{"key":"527_CR3","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: de\u00a0Lara, J., Zisman, A. (eds.) Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012). Lecture Notes in Computer Science, vol. 7212, pp. 194\u2013208. Springer-Verlag, Tallinn, Estonia (2012)","DOI":"10.1007\/978-3-642-28872-2_14"},{"key":"527_CR4","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. In: Cortellessa, V., Varr\u00f3, D. (eds.) Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013). Lecture Notes in Computer Science, vol. 7793, pp. 282\u2013296. Springer-Verlag, Rome, Italy (2013)","DOI":"10.1007\/978-3-642-37057-1_21"},{"issue":"8","key":"527_CR5","doi-asserted-by":"crossref","first-page":"1012","DOI":"10.1016\/j.infsof.2014.04.007","volume":"56","author":"H Bruneli\u00e8re","year":"2014","unstructured":"Bruneli\u00e8re, H., Cabot, J., Dup\u00e9, G., Madiot, F.: MoDisco: a model driven reverse engineering framework. Inf. Softw. Technol. 56(8), 1012\u20131032 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"527_CR6","doi-asserted-by":"crossref","unstructured":"Calegari, D., Szasz, N.: Institution-based semantics for MOF and QVT-Relations. In: Iyoda, J., de\u00a0Moura, L.M. (eds.) Proceedings of the 16th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2013). Lecture Notes in Computer Science, vol. 8195, pp. 34\u201350. Springer-Verlag, Brasilia, Brazil (2013)","DOI":"10.1007\/978-3-642-41071-0_4"},{"key":"527_CR7","unstructured":"Cheney, J., McKinna, J., Gibbons, J., Stevens, P.: Towards a repository of Bx examples. In: Workshop Proceedings of the EDBT\/ICDT 2014 Joint Conference, Athens, Greece, CEUR Workshop Proceedings, vol. 1133, pp. 87\u201391 (2014)"},{"key":"527_CR8","doi-asserted-by":"crossref","unstructured":"Cichetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: JTL: A bidirectional and change propagating transformation language. In: Malloy, B., Staab, S., van\u00a0den Brand, M. (eds.) Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Lecture Notes in Computer Science, vol. 6563, pp. 183\u2013202. Springer-Verlag, Eindhoven, The Netherlands (2010)","DOI":"10.1007\/978-3-642-19440-5_11"},{"issue":"3","key":"527_CR9","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"527_CR10","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Paige, R.F. (ed.) Proceedings of the Second International Conference on Theory and Practice of Model Transformations (ICMT 2009). Lecture Notes in Computer Science, vol. 5563, pp. 260\u2013283. Springer-Verlag, Zurich, Switzerland (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"527_CR11","doi-asserted-by":"crossref","unstructured":"Dan, L.: QVT based model transformation from sequence diagram to CSP. In: Calinescu, R., Paige, R.F., Kwiatkowska, M.Z. (eds.) Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), pp. 349\u2013354. IEEE Computer Society, Oxford, UK (2010)","DOI":"10.1109\/ICECCS.2010.47"},{"key":"527_CR12","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Wider, A., Gholizadeh, H., Czarnecki, K. (2014) Towards a rational taxonomy for increasingly symmetric model synchronization. In: Ruscio, D.D., Varr\u00f3, D. (eds.) Proceedings of the 7th International Conference on Theory and Practice of Model Transformations (ICMT 2014). Lecture Notes in Computer Science, vol 8568, pp. 57\u201373. Springer-Verlag, York, UK","DOI":"10.1007\/978-3-319-08789-4_5"},{"issue":"1","key":"527_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00450-011-0202-0","volume":"30","author":"ML Drago","year":"2011","unstructured":"Drago, M.L., Ghezzi, C., Mirandola, R.: A quality driven extension to the QVT-Relations transformation language. Comput. Sci. Res. Dev. 30(1), 1\u201320 (2011)","journal-title":"Comput. Sci. Res. Dev."},{"key":"527_CR14","doi-asserted-by":"crossref","unstructured":"Elasaar, M., Briand, L., Labiche, Y. (2011) Domain-specific model verification with QVT. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) Proceedings of the 7th European Conference on Modelling Foundations and Applications (ECMFA 2011). Lecture Notes in Computer Science, vol 8569, pp. 180\u2013195. Springer-Verlag, Birmingham, UK","DOI":"10.1007\/978-3-642-21470-7_20"},{"key":"527_CR15","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Managing uncertainty in bidirectional model transformations. In: Proceedings of the 8th International Conference on Software Language Engineering (SLE 2015), pp. 49\u201358. ACM Press, Pittsburgh, PA (2015)","DOI":"10.1145\/2814251.2814259"},{"issue":"3","key":"527_CR16","doi-asserted-by":"crossref","first-page":"17:1","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:1\u201317:65 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"527_CR17","unstructured":"Garcia, M.: Formalization of QVT-Relations: OCL-based static semantics and Alloy-based validation. In: Friese, P., Zambrovski, S., Zimmermann, F. (eds.) Proceedings of the Second Workshop on MDSD Today (MDSD Today 2008), pp. 21\u201330. Shaker Verlag, Elmshorn, Germany, Berichte aus der Softwaretechnik (2008)"},{"key":"527_CR18","unstructured":"Giandini, R., Pons, C., P\u00e9rez, G.: A two-level formal semantics for the QVT language. In: Brogi, A., Ara\u00fajo, J., Anaya, R. (eds.) Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medell\u00edn, Colombia, pp. 73\u201386 (2009)"},{"key":"527_CR19","unstructured":"Goldschmidt, T., Wachsmuth, G.: Refinement transformation support for QVT Relational transformations. In: Petrasch, R., Fieber, F., Ivanovic, M., Budimac, Z., Macos, D., Mitoussis, N. (eds.) Proceedings of the 3rd Workshop on Model Driven Software Engineering\u2014Transformations and Tools (MDSE 2008), pp. 1\u201314. Special Interest Group Model-Driven Software Engineering, Logos Verlag, Berlin, Germany (2008)"},{"key":"527_CR20","doi-asserted-by":"crossref","unstructured":"Greiner, S., Buchmann, T., Westfechtel, B.: Bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), pp. 15\u201327. INSTICC, SCITEPRESS, Rome, Italy (2016)","DOI":"10.5220\/0005644700150027"},{"issue":"1","key":"527_CR21","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."},{"issue":"1","key":"527_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"527_CR23","volume-title":"Mathematik f\u00fcr Informatiker","author":"D Hachenberger","year":"2008","unstructured":"Hachenberger, D.: Mathematik f\u00fcr Informatiker, 2nd edn. Pearson Studium, Munich (2008)","edition":"2"},{"key":"527_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1645-0","volume-title":"Naive Set Theory. Undergraduate Texts in Mathematics","author":"PR Halmos","year":"1974","unstructured":"Halmos, P.R.: Naive Set Theory. Undergraduate Texts in Mathematics. Springer, NY (1974)"},{"issue":"1","key":"527_CR25","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/s10270-012-0309-1","volume":"14","author":"F Hermann","year":"2015","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. 14(1), 241\u2013269 (2015)","journal-title":"Softw. Syst. Model."},{"key":"527_CR26","doi-asserted-by":"publisher","unstructured":"Hidaka, S., Tisi, M., Cabot, J., Hu, Z.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. (2015). doi: 10.1007\/s10270-014-0450-0","DOI":"10.1007\/s10270-014-0450-0"},{"key":"527_CR27","unstructured":"Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Sch\u00e4fer, W., Lauder, M., Anjorin, A., Sch\u00fcrr, A.: A survey of triple graph grammar tools. In: Stevens, P., Terwilliger, J.F. (eds.) Proceedings of the Second International Workshop on Bidirectional Transformations (BX 2013), vol. 57, pp. 1\u201317. Rome, Italy, Electronic Communications of the EASST (2013)"},{"key":"527_CR28","unstructured":"ikv++ technologies: medini QVT (2014). http:\/\/projects.ikv.de\/qvt"},{"issue":"2","key":"527_CR29","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"527_CR30","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.scico.2013.10.009","volume":"85A","author":"E Jakumeit","year":"2014","unstructured":"Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Heged\u00fcs, A., Herrmannsd\u00f6rfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., W\u00e4tzold, S., Mazanek, S.: A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85A, 41\u201399 (2014)","journal-title":"Sci. Comput. Program."},{"key":"527_CR31","volume-title":"Project Management: A Systems Approach to Planning, Scheduling, and Controlling","author":"H Kerzner","year":"1998","unstructured":"Kerzner, H.: Project Management: A Systems Approach to Planning, Scheduling, and Controlling, 6th edn. Wiley, New York (1998)","edition":"6"},{"key":"527_CR32","doi-asserted-by":"crossref","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars\u2014a survey. In: Heckel, R. (ed.) Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004). Electronic Notes in Theoretical Computer Science, vol. 148, pp. 113\u2013150. Elsevier Science, Dagstuhl, Germany (2006)","DOI":"10.1016\/j.entcs.2005.12.015"},{"key":"527_CR33","doi-asserted-by":"crossref","unstructured":"K\u00fcbler, J., Goldschmidt, T.: A pattern mining approach using QVT. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) Proceedings of the 5th European Conference on Model Driven Architecture\u2014Foundations and Applications (ECMDA-FA 2009). Lecture Notes in Computer Science, vol 5562, pp. 50\u201365. Springer-Verlag, Enschede, The Netherlands (2009)","DOI":"10.1007\/978-3-642-02674-4_5"},{"issue":"4","key":"527_CR34","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-)modeling. Softw. Syst. Model. 5(4), 369\u2013385 (2006)","journal-title":"Softw. Syst. Model."},{"key":"527_CR35","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Mateo, P.R., de\u00a0Guzm\u00e1n, I.R., Usaola, M.P., Velthius M.P.: Automated model-based testing using the UML testing profile and QVT. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2009), pp. 6:1\u20136:10. ACM, Denver, Colorado, USA (2009)","DOI":"10.1145\/1656485.1656491"},{"key":"527_CR36","doi-asserted-by":"crossref","unstructured":"de\u00a0Lara, J., Guerra, E.: Formal support for QVT-Relations with Coloured Petri Nets. In: [53], pp. 256\u2013270 (2009)","DOI":"10.1007\/978-3-642-04425-0_19"},{"key":"527_CR37","unstructured":"Lengyel, L., Levendovszky, T., Vajk, T., Charaf, H.: Realizing QVT with graph rewriting-based modeL transformation. In: Karsai, G., Taentzer, G. (eds.) Proceedings of the Second International Workshop on Graph and Model Transformation (GraMoT 2006), vol. 4, pp. 1\u201312. Brighton, UK, Electronic Communications of the EASST (2006)"},{"issue":"1","key":"527_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921563","volume":"36","author":"D Li","year":"2011","unstructured":"Li, D., Li, X., Stolz, V.: QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes 36(1), 1\u20138 (2011)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"13","key":"527_CR39","first-page":"1863","volume":"17","author":"K Ma","year":"2011","unstructured":"Ma, K., Yang, B., Chen, Z., Abraham, A.: A relational approach to model transformation with QVT Relations supporting model synchronization. J. Univers. Comput. Sci. 17(13), 1863\u20131883 (2011)","journal-title":"J. Univers. Comput. Sci."},{"key":"527_CR40","doi-asserted-by":"publisher","unstructured":"Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. (2014). doi: 10.1007\/s10270-014-0437-x","DOI":"10.1007\/s10270-014-0437-x"},{"key":"527_CR41","doi-asserted-by":"crossref","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformations. In: Karsai, G., Taentzer, G. (eds.) Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005). Electronic Notes of Theoretical Computer Science, vol. 152, pp. 125\u2013142. Elsevier Science, Tallin, Estonia (2006)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"527_CR42","doi-asserted-by":"crossref","unstructured":"Mora, B., Garc\u00eda, F., Ruiz, F., Piattini, M., Boronat, A., G\u00f3mez A., Cars\u00ed, J.A., Ramos, I.: Software measurement by using QVT transformations in an MDA context. In: Cordeiro, J., Filipe, J. (eds.) Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), vol. DISI, pp. 117\u2013124. Barcelona, Spain (2008)","DOI":"10.5220\/0001677901170124"},{"key":"527_CR43","unstructured":"Object Management Group: Object Constraint Language Version 2.3.1. Needham, MA, formal\/2012-01-01 edn (2012)"},{"key":"527_CR44","unstructured":"Object Management Group: OMG Meta Object Facility (MOF) Core Specification Version 2.4.1. Needham, MA, formal\/2013-06-01 edn (2013)"},{"key":"527_CR45","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification Version 1.2. Needham, MA, formal\/2015-02-01 edn (2015)"},{"key":"527_CR46","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Castillo, R., de\u00a0Guzm\u00e1n, I.G.R., Piattini, M. Implementing business process recovery patterns through QVT transformations. In: Tratt, L., Gogolla, M. (eds.) Proceedings of the Third International Conference on Theory and Practice of Model Transformations (ICMT 2010). Lecture Notes in Computer Science, vol. 6142, pp. 57\u201373. Springer-Verlag, Malaga, Spain (2014)","DOI":"10.1007\/978-3-642-13688-7_12"},{"key":"527_CR47","unstructured":"Reddy, S., Venkatesh, R., Zahid, A.: A relational approach to model transformation using QVT Relations. Tech. rep., Tata Research Development and Design Centre, Pune, India. http:\/\/www.iist.unu.edu\/~vs\/wiki-files\/QVT-TRDCC.pdf (2006)"},{"key":"527_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer, Berlin (2013)"},{"key":"527_CR49","doi-asserted-by":"crossref","unstructured":"Romeikat, R., Rose, S., M\u00fcllender, P., Bauer, B.: Translation of QVT Relations into QVT operational mappings. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) Proceedings of the First International Conference on Theory and Practice of Model Transformations (ICMT 2008). Lecture Notes in Computer Science, vol. 5063, pp. 137\u2013151. Springer-Verlag, Zurich, Switzerland (2008)","DOI":"10.1007\/978-3-540-69927-9_10"},{"issue":"2","key":"527_CR50","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"key":"527_CR51","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 1994). Lecture Notes in Computer Science, vol. 903, pp. 151\u2013163. Springer-Verlag, Herrsching, Germany (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"527_CR52","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars\u2014research challenges, new contributions, open problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations: 4th International Conference (ICGT 2008). Lecture Notes in Computer Science, vol. 5214, pp. 411\u2013425. Springer-Verlag, Leicester, UK, Lecture (2008)"},{"key":"527_CR53","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Selic, B. (eds.): Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009). Lecture Notes in Computer Science, vol. 5795. Springer-Verlag, Denver, CO (2009)","DOI":"10.1007\/978-3-642-04425-0"},{"key":"527_CR54","doi-asserted-by":"crossref","unstructured":"Schwichtenberg, S., Gerth, C., Huma, Z., Engels, G.: Normalizing heterogeneous service description models with generated QVT transformations. In: Cabot, J., Rubin, J. (eds.) Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA 2014). Lecture Notes in Computer Science, vol. 8569, pp. 180\u2013195. Springer-Verlag, New York, UK (2014)","DOI":"10.1007\/978-3-319-09195-2_12"},{"key":"527_CR55","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF Eclipse Modeling Framework, 2nd edn. The Eclipse Series, Addison-Wesley, Upper Saddle River (2009)"},{"key":"527_CR56","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II (International Summer School, GTTSE 2007). Lecture Notes in Computer Science, vol. 5235, pp. 408\u2013424. Springer-Verlag, Braga, Portugal (2007)"},{"issue":"1","key":"527_CR57","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":"527_CR58","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":"527_CR59","unstructured":"Tata Research: ModelMorf. http:\/\/www.tcs-trddc.com\/trddc_website\/ModelMorf\/ModelMorf.htm (2014)"},{"key":"527_CR60","doi-asserted-by":"crossref","unstructured":"Westfechtel, B.: A case study for evaluating bidirectional transformations in QVT Relations. In: Filipe, J., Maciaszek, L. (eds.) Proceedings of the 10th International Conference on the Evaluation of Novel Approaches to Software Engineering (ENASE 2015), pp. 141\u2013155. INSTICC, SCITEPRESS, Barcelona, Spain (2015)","DOI":"10.5220\/0005466801410155"},{"key":"527_CR61","doi-asserted-by":"crossref","unstructured":"Westfechtel, B.: A case study for a bidirectional transformation between heterogeneous metamodels in QVT Relations. In: Filipe, J., Maciaszek, L. (eds.) Proceedings of the 10th International Conference on the Evaluation of Novel Approaches to Software Engineering (ENASE 2015), vol. 599, pp. 141\u2013161. Revised Selected Papers, Springer-Verlag, Berlin, Heidelberg, New York, Communications in Computer and Information Science (2016)","DOI":"10.1007\/978-3-319-30243-0_8"},{"key":"527_CR62","unstructured":"Willink, E.: QVT Declarative (QVTd). https:\/\/wiki.eclipse.org\/MMT\/QVT_Declarative_(QVTd) (2015)"},{"key":"527_CR63","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W.: Reviving QVT Relations: Model-based debugging using Colored Petri Nets. In: [53], pp. 727\u2013732 (2009)","DOI":"10.1007\/978-3-642-04425-0_59"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0527-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0527-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0527-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0527-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T03:14:26Z","timestamp":1748920466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0527-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,11]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["527"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0527-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2016,5,11]]}}}