{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:07:55Z","timestamp":1743062875586,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_13","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T09:14:28Z","timestamp":1329556468000},"page":"193-208","source":"Crossref","is-referenced-by-count":2,"title":["Combining Graph Transformation and Algebraic Specification into Model Transformation"],"prefix":"10.1007","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[]},{"given":"Sabine","family":"Kuske","sequence":"additional","affiliation":[]},{"given":"Caroline","family":"von Totth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Algebraic Foundations of Systems Specification","year":"1999","key":"13_CR1","unstructured":"Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.): Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)"},{"key":"13_CR2","unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C.P., Karsai, G.: The graph rewriting and transformation language: GReAT. Electronic Comunications of the EASST\u00a01 (2006)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-15928-2_14","volume-title":"Graph Transformations","author":"D. Bisztray","year":"2010","unstructured":"Bisztray, D., Heckel, R.: Combining Termination Criteria by Isolating Deletion. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 203\u2013217. Springer, Heidelberg (2010)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2009.03.011","volume":"236","author":"D. Bisztray","year":"2009","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositionality of model transformations. Electr. Notes Theor. Comput. Sci.\u00a0236, 5\u201319 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3-4","key":"13_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00165-009-0140-9","volume":"22","author":"A. Boronat","year":"2010","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for MOF. Formal Asp. Comput.\u00a022(3-4), 269\u2013296 (2010)","journal-title":"Formal Asp. Comput."},{"issue":"6","key":"13_CR6","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/j.jvlc.2005.07.001","volume":"16","author":"P. Bottoni","year":"2005","unstructured":"Bottoni, P., Hoffmann, K., Parisi-Presicce, F., Taentzer, G.: High-level replacement units and their termination properties. J. Vis. Lang. Comput.\u00a016(6), 485\u2013507 (2005)","journal-title":"J. Vis. Lang. Comput."},{"key":"13_CR7","unstructured":"Bottoni, P., Parisi-Presicce, F.: A termination criterion for graph transformations with negative application conditions. Electronic Communications of the EASST\u00a030 (2010)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Bevilacqua, V., Talcott, C.: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"13_CR10","unstructured":"Ehrig, H., Ehrig, K., Hermann, F.: From model transformation to model integration based on the algebraic approach to triple graph grammars. Electronic Communications of the EASST\u00a010 (2008)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-31984-9_5","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Termination Criteria for Model Transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 49\u201363. Springer, Heidelberg (2005)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-87405-8_14","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2008","unstructured":"Ehrig, H., Ermel, C.: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 194\u2013210. Springer, Heidelberg (2008)"},{"key":"13_CR13","series-title":"Applying MDA to Enterprise Computing","volume-title":"Model Driven Architecture","author":"D.S. Frankel","year":"2003","unstructured":"Frankel, D.S.: Model Driven Architecture. Applying MDA to Enterprise Computing. Wiley, Indianapolis (2003)"},{"key":"13_CR14","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman (1979)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"13_CR16","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation, 3rd edn. Addison-Wesley Longman (2007)"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2005.12.015","volume":"148","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars - a survey. Electr. Notes Theor. Comput. Sci.\u00a0148(1), 113\u2013150 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"6","key":"13_CR18","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/s001659970005","volume":"11","author":"H.-J. Kreowski","year":"1999","unstructured":"Kreowski, H.-J., Kuske, S.: Graph transformation units with interleaving semantics. Formal Aspects of Computing\u00a011(6), 690\u2013723 (1999)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Kreowski, H.-J., Kuske, S., von Totth, C.: Stepping from graph transformation units to model transformation units. Electronic Communications of the EASST\u00a030 (2010)","DOI":"10.1007\/978-3-642-15928-2_3"},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J.M. K\u00fcster","year":"2006","unstructured":"K\u00fcster, J.M.: Definition and validation of model transformations. Software and System Modeling\u00a05(3), 233\u2013259 (2006)","journal-title":"Software and System Modeling"},{"key":"13_CR21","series-title":"Lecture Notes in Artificial Intelligence","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 AToM3 and AGG. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 182\u2013198. Springer, Heidelberg (2004)"},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s10270-003-0047-5","volume":"3","author":"J. Lara de","year":"2004","unstructured":"de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Software and System Modeling\u00a03(3), 194\u2013209 (2004)","journal-title":"Software and System Modeling"},{"key":"13_CR23","unstructured":"Plump, D.: Hypergraph rewriting: Critical pairs and undecidability of confluence. In: Sleep, M.R., Plasmeijer, R., van Eekelen, M. (eds.) Term Graph Rewriting. Theory and Practice, pp. 201\u2013213. Wiley & Sons (1993)"},{"issue":"2","key":"13_CR24","doi-asserted-by":"crossref","first-page":"201","DOI":"10.3233\/FI-1998-33204","volume":"33","author":"D. Plump","year":"1998","unstructured":"Plump, D.: Termination of graph rewriting is undecidable. Fundamenta Informaticae\u00a033(2), 201\u2013209 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR25","unstructured":"Plump, D.: Checking graph-transformation systems for confluence. Electronic Communications of the EASST\u00a026 (2010)"},{"key":"13_CR26","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"13_CR27","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.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"13_CR28","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. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"issue":"3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program.\u00a068(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,29]],"date-time":"2021-12-29T21:56:16Z","timestamp":1640814976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}