{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T08:17:11Z","timestamp":1790324231042,"version":"4.1.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,12,22]],"date-time":"2018-12-22T00:00:00Z","timestamp":1545436800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GI 765\/1-2"],"award-info":[{"award-number":["GI 765\/1-2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GI 765\/1-3"],"award-info":[{"award-number":["GI 765\/1-3"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10270-018-00706-9","type":"journal-article","created":{"date-parts":[[2018,12,23]],"date-time":"2018-12-23T07:15:36Z","timestamp":1545549336000},"page":"2937-2972","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatic verification of behavior preservation at the transformation level for relational model transformation"],"prefix":"10.1007","volume":"18","author":[{"given":"Johannes","family":"Dyck","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,12,22]]},"reference":[{"key":"706_CR1","doi-asserted-by":"crossref","unstructured":"Ab\u00a0Rahim, L., Whittle, J.: Verifying semantic conformance of state machine-to-java code generators. In: 13th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201910), pp. 166\u2013180 (2010)","DOI":"10.1007\/978-3-642-16145-2_12"},{"key":"706_CR2","doi-asserted-by":"publisher","unstructured":"Arendt, T., Habel, A., Radke, H., Taentzer, G.: From core OCL invariants to nested graph constraints. In: Giese, H., K\u00f6nig, B. (eds.) Graph Transformation. Lecture Notes in Computer Science, vol. 8571, pp. 97\u2013112. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09108-2_7","DOI":"10.1007\/978-3-319-09108-2_7"},{"key":"706_CR3","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s11219-016-9352-4","volume":"26","author":"B Barroca","year":"2017","unstructured":"Barroca, B., Amaral, V., Buchs, D.: Semantic languages for developing correct language translations. Softw. Qual. J. 26, 417\u2013453 (2017)","journal-title":"Softw. Qual. J."},{"key":"706_CR4","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering, pp. 72\u201381. ACM, New York (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"706_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-21732-6_9","volume-title":"Theory and Practice of Model Transformations","author":"B Becker","year":"2011","unstructured":"Becker, B., Lambers, L., Dyck, J., Birth, S., Giese, H.: Iterative development of consistency-preserving rule-based refactorings. In: Cabot, J., Visser, E. (eds.) Theory and Practice of Model Transformations. Lecture Notes in Computer Science, vol. 6707, pp. 123\u2013137. Springer, Berlin (2011)"},{"key":"706_CR6","unstructured":"Bezivin, J., Dupe, G., Jouault, F., Pitette, G., Rougui, J.E.: First experiments with the ATL model transformation language: transforming XSLT into XQuery. In: 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)"},{"key":"706_CR7","doi-asserted-by":"crossref","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositional verification of architectural refactorings. In: de Lemos, R., Fabre, J.C., Gacek, C., ter Beek, M. (eds.) Architecting Dependable Systems VI. Lecture Notes in Computer Science, vol. 5835, chap.\u00a013, pp. 308\u2013333. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-10248-6_13"},{"key":"706_CR8","doi-asserted-by":"publisher","unstructured":"Blume, C., Bruggink, H.J.S., Engelke, D., Knig, B.: Efficient symbolic implementation of graph automata with applications to invariant checking. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 7562, pp. 264\u2013278. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-33654-6_18","DOI":"10.1007\/978-3-642-33654-6_18"},{"key":"706_CR9","unstructured":"Boneva, I.B., Kreiker, J., Kurban, M.E., Rensink, A., Zambon, E.: Graph abstraction and abstract graph transformations (amended version). Technical Report TR-CTIT-12-26, Centre for Telematics and Information Technology, University of Twente, Enschede (2012)"},{"key":"706_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-540-45236-2_23","volume-title":"FME 2003: Formal Methods","author":"M Charpentier","year":"2003","unstructured":"Charpentier, M.: Composing invariants. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003: Formal Methods. Lecture Notes in Computer Science, vol. 2805, pp. 401\u2013421. Springer, Berlin (2003)"},{"key":"706_CR11","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA\u2014visual automated transformations for formal verification and validation of UML models. In: Richardson, J., Emmerich, W., Wile, D. (eds.) ASE 2002: 17th IEEE International Conference on Automated Software Engineering, pp. 267\u2013270. IEEE Press (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"706_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-319-21145-9_15","volume-title":"Graph Transformation","author":"J Dyck","year":"2015","unstructured":"Dyck, J., Giese, H.: Inductive invariant checking with partial negative application conditions. In: Parisi-Presicce, F., Westfechtel, B. (eds.) Graph Transformation. Lecture Notes in Computer Science, vol. 9151, pp. 237\u2013253. Springer, Cham (2015)"},{"key":"706_CR13","unstructured":"Dyck, J., Giese, H., Lambers, L.: Automatic verification of behavior preservation at the transformation level for relational model transformation. Technical Report 112, Hasso Plattner Institute, University of Potsdam (2017)"},{"key":"706_CR14","unstructured":"Dyck, J., Giese, H., Lambers, L., Schlesinger, S., Glesner, S.: Towards the automatic verification of behavior preservation at the transformation level for operational model transformations. In: Dingel, J., Kokaly, S., L\u00facio, L., Salay, R., Vangheluwe, H. (eds.) Analysis of Model Transformations. CEUR Workshop Proceedings, vol. 1500, pp. 36\u201345 (2015). http:\/\/ceur-ws.org\/Vol-1500\/paper5.pdf"},{"key":"706_CR15","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006)"},{"key":"706_CR16","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $${\\cal{M}}$$ M -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24, 1\u201348 (2014)"},{"key":"706_CR17","unstructured":"Ehrig, H., Habel, A., Lambers, L.: Parallelism and concurrency theorems for rules with nested application conditions. Electron. Commun. EASST 26 (2010). http:\/\/journal.ub.tu-berlin.de\/index.php\/eceasst\/article\/viewFile\/363\/333"},{"key":"706_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000\u2014The Unified Modeling Language","author":"G Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000\u2014The Unified Modeling Language. Lecture Notes in Computer Science, vol. 1939, pp. 323\u2013337. Springer, Berlin (2000)"},{"key":"706_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-69100-6_7","volume-title":"Model Driven Architecture\u2014Foundations and Applications","author":"G Engels","year":"2008","unstructured":"Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., Wehrheim, H.: From UML activities to TAAL\u2014towards behaviour-preserving model transformations. In: Schieferdecker, I., Hartman, A. (eds.) Model Driven Architecture\u2014Foundations and Applications. Lecture Notes in Computer Science, vol. 5095, pp. 94\u2013109. Springer, Berlin (2008)"},{"key":"706_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-19811-3_12","volume-title":"Fundamental Approaches to Software Engineering","author":"C Ermel","year":"2011","unstructured":"Ermel, C., Gall, J., Lambers, L., Taentzer, G.: Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior. In: Giannakopoulou, D., Orejas, F. (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 6603, pp. 156\u2013170. Springer, Berlin (2011)"},{"key":"706_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language and java. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Theory and Application of Graph Transformations. Lecture Notes in Computer Science, vol. 1764, pp. 296\u2013309. Springer, Berlin (2000)"},{"key":"706_CR22","unstructured":"Giese, H., Glesner, S., Leitner, J., Sch\u00e4fer, W., Wagner, R.: Towards verified model transformations. In: Hearnden, D., S\u00fc\u00df, J.G., Baudry, B., Rapin, N. (eds.) Proceedings of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV $$^2$$ 2 a), Genova, Italy, pp. 78\u201393. Le Commissariat \u00e0 l\u2019Energie Atomique (2006)"},{"issue":"1","key":"706_CR23","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10270-012-0247-y","volume":"13","author":"H Giese","year":"2014","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars\u2014ensuring conformance of relational model transformation specifications and implementations. Softw. Syst. Model. 13(1), 273\u2013299 (2014). https:\/\/doi.org\/10.1007\/s10270-012-0247-y","journal-title":"Softw. Syst. Model."},{"key":"706_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-642-33654-6_17","volume-title":"Graph Transformations","author":"H Giese","year":"2012","unstructured":"Giese, H., Lambers, L.: Towards automatic verification of behavior preservation for model transformation via invariant checking. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 7562, pp. 249\u2013263. Springer, Berlin (2012)"},{"issue":"1","key":"706_CR25","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/s10270-008-0089-9","journal-title":"Softw. Syst. Model."},{"key":"706_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR\u201990, Theories of Concurrency: Unification and Extension","author":"RJ Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.J.: The linear time\u2014branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR\u201990, Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, vol. 458, pp. 278\u2013297. Springer, Berlin (1990)"},{"key":"706_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"RJ Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The linear time\u2014branching time spectrum II. The semantics of sequential systems with silent moves. In: Best, E. (ed.) CONCUR\u201993. Lecture Notes in Computer Science, vol. 715, pp. 66\u201381. Springer, Berlin (1993)"},{"key":"706_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-33654-6_10","volume-title":"Graph Transformations","author":"U Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Giese, H.: Toward bridging the gap between formal foundations and current practice for triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 7562, pp. 141\u2013155. Springer, Berlin (2012)"},{"key":"706_CR29","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2012.01.032","volume":"424","author":"U Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Orejas, F.: Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424, 46\u201368 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"706_CR30","doi-asserted-by":"publisher","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."},{"issue":"3\/4","key":"706_CR31","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inform. 26(3\/4), 287\u2013313 (1996)","journal-title":"Fundam. Inform."},{"key":"706_CR32","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19, 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3","key":"706_CR33","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10270-003-0045-7","volume":"3","author":"JH Hausmann","year":"2004","unstructured":"Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling with time: specifying the semantics of multimedia sequence diagrams. Softw. Syst. Model. 3(3), 181\u2013193 (2004)","journal-title":"Softw. Syst. Model."},{"key":"706_CR34","first-page":"1","volume":"54","author":"S Hildebrandt","year":"2012","unstructured":"Hildebrandt, S., Lambers, L., Becker, B., Giese, H.: Integration of triple graph grammars and constraints. Electron. Commun. EASST 54, 1\u201312 (2012)","journal-title":"Electron. Commun. EASST"},{"key":"706_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-16265-7_14","volume-title":"Integrated Formal Methods","author":"M H\u00fclsbusch","year":"2010","unstructured":"H\u00fclsbusch, M., K\u00f6nig, B., Rensink, A., Semenyak, M., Soltenborn, C., Wehrheim, H.: Showing full semantics preservation in model transformation\u2014a comparison of techniques. In: M\u00e9ry, D., Merz, S. (eds.) Integrated Formal Methods. Lecture Notes in Computer Science, vol. 6396, pp. 183\u2013198. Springer, Berlin (2010)"},{"issue":"11","key":"706_CR36","first-page":"1296","volume":"9","author":"G Karsai","year":"2003","unstructured":"Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformation in the formal specification of model interpreters. J. Univ. Comput. Sci. 9(11), 1296\u20131321 (2003)","journal-title":"J. Univ. Comput. Sci."},{"key":"706_CR37","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.entcs.2008.04.042","volume":"211","author":"B K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur 2\u2014a new version of a tool for the analysis of graph transformation systems. Electron. Notes Theor. Comput. Sci. 211, 201\u2013210 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"706_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-662-44584-6_32","volume-title":"CONCUR 2014\u2014Concurrency Theory","author":"B K\u00f6nig","year":"2014","unstructured":"K\u00f6nig, B., St\u00fcckrath, J.: A general framework for well-structured graph transformation systems. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014\u2014Concurrency Theory. Lecture Notes in Computer Science, vol. 8704, pp. 467\u2013481. Springer, Berlin (2014). https:\/\/doi.org\/10.1007\/978-3-662-44584-6_32"},{"issue":"3","key":"706_CR39","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J Lara de","year":"2007","unstructured":"de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139\u2013163 (2007). https:\/\/doi.org\/10.1016\/j.tcs.2007.02.001","journal-title":"Theor. Comput. Sci."},{"key":"706_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-25931-2_18","volume-title":"Diagrammatic Representation and Inference","author":"J Lara de","year":"2004","unstructured":"de Lara, J., Taentzer, G.: Automated model transformation and its validation using AToM 3 and AGG. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science, vol. 2980, pp. 182\u2013198. Springer, Berlin (2004)"},{"key":"706_CR41","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: Bruel, J.M. (ed.) Satellite Events at the MoDELS 2005 Conference, Lecture Notes in Computer Science, vol. 3844, pp. 139\u2013150. Springer, Berlin (2006)","DOI":"10.1007\/11663430_15"},{"key":"706_CR42","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-16145-2_10","volume-title":"Model Driven Engineering Languages and Systems","author":"L L\u00facio","year":"2010","unstructured":"L\u00facio, L., Barroca, B., Amaral, V.: A technique for automatic validation of model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Model Driven Engineering Languages and Systems. LNCS, vol. 6394, pp. 136\u2013150. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_10"},{"key":"706_CR43","volume-title":"Communication and Concurrency","author":"R Milner","year":"1995","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Hertfordshire (1995)"},{"key":"706_CR44","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.entcs.2008.04.041","volume":"211","author":"A Narayanan","year":"2008","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. Electron. Notes Theor. Comput. Sci. 211, 191\u2013200 (2008). https:\/\/doi.org\/10.1016\/j.entcs.2008.04.041","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"706_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.elecom.2007.10.004","volume":"10","author":"A Narayanan","year":"2008","unstructured":"Narayanan, A., Karsai, G.: Verifying model transformations by structural correspondence. Electron. Commun. EASST 10, 1\u201314 (2008)","journal-title":"Electron. Commun. EASST"},{"key":"706_CR46","unstructured":"Nicolai, C.: Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems. Master\u2019s thesis, Hasso-Plattner-Institut fr Softwaresystemtechnik, Universitt Potsdam (2016)"},{"key":"706_CR47","unstructured":"OMG: MOF QVT Final Adopted Specification, OMG Document ptc\/05-11-01 (2005)"},{"issue":"1\u20132","key":"706_CR48","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FI-2012-706","volume":"118","author":"F Orejas","year":"2012","unstructured":"Orejas, F., Lambers, L.: Lazy graph transformation. Fundam. Inform. 118(1\u20132), 65\u201396 (2012)","journal-title":"Fundam. Inform."},{"key":"706_CR49","unstructured":"Pennemann, K.H.: Development of correct graph transformation systems. Ph.D. thesis, University of Oldenburg (2009)"},{"key":"706_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-87405-8_17","volume-title":"Graph Transformations","author":"G Rangel","year":"2008","unstructured":"Rangel, G., Lambers, L., K\u00f6nig, B., Ehrig, H., Baldan, P.: Behavior preservation in model refactoring using DPO transformations with borrowed contexts. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 5214, pp. 242\u2013256. Springer, Berlin (2008)"},{"key":"706_CR51","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.) Graph-Theoretic Concepts in Computer Science. Lecture Notes in Computer Science, vol. 903, pp. 151\u2013163. Springer, Berlin (1995)"},{"key":"706_CR52","unstructured":"Steenken, D.: Verification of infinite-state graph transformation systems via abstraction. Ph.D. thesis, University of Paderborn (2015)"},{"key":"706_CR53","doi-asserted-by":"publisher","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, 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"706_CR54","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(1), 175\u2013199 (2013). https:\/\/doi.org\/10.1007\/s10270-011-0198-8","journal-title":"Softw. Syst. Model."},{"key":"706_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45104-8_41","volume-title":"Applications of Graph Transformation with Industrial Relevance","author":"G Taentzer","year":"2000","unstructured":"Taentzer, G.: AGG: a tool environment for algebraic graph transformation. In: Nagl, M., Sch\u00fcrr, A., M\u00fcnch, M. (eds.) Applications of Graph Transformation with Industrial Relevance. Lecture Notes in Computer Science, vol. 1779, pp. 481\u2013488. Springer, Berlin (2000)"},{"key":"706_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31984-9_6","volume-title":"Fundamental Approaches to Software Engineering","author":"G Taentzer","year":"2005","unstructured":"Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Cerioli, M. (ed.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 3442, pp. 64\u201379. Springer, Berlin (2005)"},{"key":"706_CR57","doi-asserted-by":"crossref","unstructured":"Tiso, A., Reggio, G., Leotta, M.: Early experiences on model transformation testing. In: Proceedings of the First Workshop on the Analysis of Model Transformations, AMT \u201912, pp. 15\u201320. ACM, New York, NY (2012)","DOI":"10.1145\/2432497.2432501"},{"key":"706_CR58","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated formal verification of model transformations. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) CSDUML 2003: Critical Systems Development in UML, pp. 63\u201378. Technische Universit\u00e4t M\u00fcnchen (2003)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00706-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-00706-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00706-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T11:45:56Z","timestamp":1720871156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-00706-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,22]]},"references-count":58,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["706"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-00706-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,22]]},"assertion":[{"value":"28 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 December 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}