{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T04:04:25Z","timestamp":1748837065828,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319302423"},{"type":"electronic","value":"9783319302430"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30243-0_8","type":"book-chapter","created":{"date-parts":[[2016,2,13]],"date-time":"2016-02-13T15:36:25Z","timestamp":1455377785000},"page":"141-161","source":"Crossref","is-referenced-by-count":3,"title":["A Case Study for a Bidirectional Transformation Between Heterogeneous Metamodels in QVT Relations"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Westfechtel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","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, 25\u201331 (2006)","journal-title":"IEEE Comput."},{"unstructured":"Object Management Group: OMG Meta Object Facility (MOF) Core Specification Version 2.4.1, Needham, MA. formal\/2013-06-01st edn. (2013)","key":"8_CR2"},{"key":"8_CR3","series-title":"The Eclipse Series","volume-title":"EMF Eclipse Modeling Framework","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF Eclipse Modeling Framework. The Eclipse Series, 2nd edn. Addison-Wesley, Upper Saddle River (2009)","edition":"2"},{"unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification Version 1.2, Needham, MA. formal\/2015-02-01st edn. (2015)","key":"8_CR4"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72, 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"8_CR6","doi-asserted-by":"publisher","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, 369\u2013385 (2006)","journal-title":"Softw. Syst. Model."},{"unstructured":"Reddy, S., Venkatesh, R., Zahid, A.: A relational approach to model transformation using QVT Relations. Technical report, Tata Research Development and Design Centre, Pune, India (2006). http:\/\/www.iist.unu.edu\/vs\/wiki-files\/QVT-TRDCC.pdf","key":"8_CR7"},{"unstructured":"ikv++ technologies: medini QVT (2014). http:\/\/projects.ikv.de\/qvt","key":"8_CR8"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1142\/9789812815149_0006","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"J. H. JAHNKE","year":"1999","unstructured":"Jahnke, J., Z\u00fcndorf, A.: Applying graph transformations to database re-engineering. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G., (eds.) Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages, and Tools. World Scientific, Singapore, pp. 267\u2013286 (1999)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K Czarnecki","year":"2009","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.) ICMT 2009. LNCS, vol. 5563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"doi-asserted-by":"crossref","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars - a survey. In: Heckel, R., (ed.) Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), vol. 148, pp. 113\u2013150. Electronic Notes in Theoretical Computer Science, Dagstuhl, Germany, Elsevier Science (2006)","key":"8_CR12","DOI":"10.1016\/j.entcs.2005.12.015"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars - research challenges, new contributions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"unstructured":"Kindler, E., Wagner, R.: Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Technical report tr-ri-07-284, University of Paderborn, Paderborn, Germany (2007)","key":"8_CR14"},{"key":"8_CR15","doi-asserted-by":"publisher","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, 175\u2013199 (2013)","journal-title":"Softw. Syst. Model."},{"key":"8_CR16","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. Fundamentae Informaticae 114, 73\u2013101 (2012)","journal-title":"Fundamentae Informaticae"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28872-2_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J Bradfield","year":"2012","unstructured":"Bradfield, J., Stevens, P.: Recursive checkonly QVT-R Transformations with general when and where clauses via the modal mu calculus. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 194\u2013208. Springer, Heidelberg (2012)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-37057-1_21","volume-title":"Fundamental Approaches to Software Engineering","author":"J Bradfield","year":"2013","unstructured":"Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-Calculus and Games. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 282\u2013296. Springer, Heidelberg (2013)"},{"key":"8_CR19","first-page":"73","volume-title":"Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009)","author":"R Giandini","year":"2009","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), pp. 73\u201386. Medell\u00edn, Colombia (2009)"},{"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., Barcelona, Spain 117\u2013124 (2008)","key":"8_CR20","DOI":"10.5220\/0001677901170124"},{"doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Mateo, P.R., de Guzm\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), Denver, Colorado, USA, pp. 6:1\u20136:10. ACM (2009)","key":"8_CR21","DOI":"10.1145\/1656485.1656491"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-02674-4_5","volume-title":"Model Driven Architecture - Foundations and Applications","author":"J K\u00fcbler","year":"2009","unstructured":"K\u00fcbler, J., Goldschmidt, T.: A pattern mining approach using QVT. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 50\u201365. Springer, Heidelberg (2009)"},{"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 (2010)","key":"8_CR23","DOI":"10.1109\/ICECCS.2010.47"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-13688-7_12","volume-title":"Theory and Practice of Model Transformations","author":"R P\u00e9rez-Castillo","year":"2010","unstructured":"P\u00e9rez-Castillo, R., Garc\u00eda-Rodr\u00edguez de Guzm\u00e1n, I., Piattini, M.: Implementing business process recovery patterns through QVT transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 168\u2013183. Springer, Heidelberg (2010)"},{"key":"8_CR25","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. Univ. Comput. Sci. 17, 1863\u20131883 (2011)","journal-title":"J. Univ. Comput. Sci."},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-21470-7_20","volume-title":"Modelling Foundations and Applications","author":"M Elaasar","year":"2011","unstructured":"Elaasar, M., Briand, L., Labiche, Y.: Domain-specific model verification with QVT. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 282\u2013298. Springer, Heidelberg (2011)"},{"key":"8_CR27","doi-asserted-by":"publisher","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, 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-319-09195-2_12","volume-title":"Modelling Foundations and Applications","author":"S Schwichtenberg","year":"2014","unstructured":"Schwichtenberg, S., Gerth, C., Huma, Z., Engels, G.: Normalizing heterogeneous service description models with generated QVT transformations. In: Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 180\u2013195. Springer, Heidelberg (2014)"},{"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. Spain, INSTICC, SCITEPRESS, Barcelona (2015)","key":"8_CR29","DOI":"10.5220\/0005466801410155"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30243-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T11:08:49Z","timestamp":1748776129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30243-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319302423","9783319302430"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30243-0_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}