{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T19:38:21Z","timestamp":1773344301698,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319405292","type":"print"},{"value":"9783319405308","type":"electronic"}],"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-40530-8_8","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T02:53:01Z","timestamp":1466650381000},"page":"118-134","source":"Crossref","is-referenced-by-count":2,"title":["An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations"],"prefix":"10.1007","author":[{"given":"Kristopher","family":"Born","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"key":"8_CR1","unstructured":"The Fujaba tool suite. www.fujaba.de"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"issue":"2","key":"8_CR3","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s10515-012-0114-7","volume":"20","author":"T Arendt","year":"2013","unstructured":"Arendt, T., Taentzer, G.: A tool environment for quality assurance based on the eclipse modeling framework. Autom. Softw. Eng. 20(2), 141\u2013184 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-642-17322-6_7","volume-title":"Graph Transformations and Model-Driven Engineering","author":"E Biermann","year":"2010","unstructured":"Biermann, E., Ehrig, H., Ermel, C., Golas, U., Taentzer, G.: Parallel independence of amalgamated graph transformations applied to model transformation. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 121\u2013140. Springer, Heidelberg (2010)"},{"issue":"2","key":"8_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10270-011-0199-7","volume":"11","author":"E Biermann","year":"2012","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227\u2013250 (2012). http:\/\/dx.doi.org\/10.1007\/s10270-011-0199-7","journal-title":"Softw. Syst. Model."},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-662-46675-9_11","volume-title":"Fundamental Approaches to Software Engineering","author":"K Born","year":"2015","unstructured":"Born, K., Arendt, T., He\u00df, F., Taentzer, G.: Analyzing conflicts and dependencies of rule-based transformations in Henshin. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 165\u2013168. Springer, Heidelberg (2015)"},{"issue":"34\u201336","key":"8_CR7","doi-asserted-by":"crossref","first-page":"3090","DOI":"10.1016\/j.tcs.2010.04.038","volume":"411","author":"F Drewes","year":"2010","unstructured":"Drewes, F., Hoffmann, B., Janssens, D., Minas, M.: Adaptive star grammars and their languages. Theor. Comput. Sci. 411(34\u201336), 3090\u20133109 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR8","series-title":"Monographs in Theoretical Computer Science","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. Monographs in Theoretical Computer Science. Springer, New York (2006)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Golas, U., Habel, A., Ehrig, H.: Multi-amalgamation of rules with application conditions in $${\\cal M}$$ M -adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014)","DOI":"10.1017\/S0960129512000345"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-642-02408-5_6","volume-title":"Theory and Practice of Model Transformations","author":"R Gr\u00f8nmo","year":"2009","unstructured":"Gr\u00f8nmo, R., Krogdahl, S., M\u00f8ller-Pedersen, B.: A collection operator for graph transformation. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 67\u201382. Springer, Heidelberg (2009)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, Orlando, Florida, USA, 19\u201325 May, pp. 105\u2013115. ACM (2002)","DOI":"10.1145\/581352.581355"},{"key":"8_CR12","unstructured":"More details on the results. http:\/\/www.uni-marburg.de\/fb12\/swt\/cpa_amal"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: Consistency-preserving edit scripts in model versioning. In: 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, 11\u201315 November, pp. 191\u2013201. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693079"},{"issue":"9","key":"8_CR14","doi-asserted-by":"crossref","first-page":"53","DOI":"10.5381\/jot.2007.6.9.a3","volume":"6","author":"DS Kolovos","year":"2007","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the epsilon wizard language. J. Object Technol. 6(9), 53\u201369 (2007). http:\/\/dx.doi.org\/10.5381\/jot.2007.6.9.a3","journal-title":"J. Object Technol."},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.scico.2015.01.002","volume":"104","author":"F Mantz","year":"2015","unstructured":"Mantz, F., Taentzer, G., Lamo, Y., Wolter, U.: Co-evolving meta-models and their instance models: a formal approach based on graph transformation. Sci. Comput. Program. 104, 2\u201343 (2015)","journal-title":"Sci. Comput. Program."},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-3-642-38640-4_13","volume-title":"Aspect-Oriented Requirements Engineering","author":"K Mehner-Heindl","year":"2013","unstructured":"Mehner-Heindl, K., Monga, M., Taentzer, G.: Analysis of aspect-oriented models using graph transformation systems. In: Moreira, A., Chitchyan, R., Ara\u00fajo, J., Rashid, A. (eds.) Aspect-Oriented Requirements Engineering, pp. 243\u2013270. Springer, New York (2013)"},{"issue":"3","key":"8_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T Mens","year":"2007","unstructured":"Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Softw. Syst. Model. 6(3), 269\u2013285 (2007)","journal-title":"Softw. Syst. Model."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1007\/3-540-58338-6_102","volume-title":"Mathematical Foundations of Computer Science 1994","author":"D Plump","year":"1994","unstructured":"Plump, D.: Critical pairs in term graph rewriting. In: Privara, I., Ru\u017ei\u010dka, P., Rovan, B. (eds.) MFCS 1994. LNCS, vol. 841, pp. 556\u2013566. Springer, Heidelberg (1994)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-60618-1_68","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"D Plump","year":"1995","unstructured":"Plump, D.: On termination of graph rewriting. In: Nagl, M. (ed.) WG 1995. LNCS, vol. 1017, pp. 88\u2013100. Springer, Heidelberg (1995)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES approach: language and environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2, pp. 487\u2013550. World Scientific (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"8_CR21","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Patenostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Pearson Eduction, London (2009)","edition":"2"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-319-21145-9_5","volume-title":"Graph Transformation","author":"G Taentzer","year":"2015","unstructured":"Taentzer, G., Golas, U.: Towards local confluence analysis for amalgamated graph transformation. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 69\u201386. Springer, Heidelberg (2015). https:\/\/opus4.kobv.de\/opus4-zib\/frontdoor\/index\/index\/docId\/5494"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40530-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T22:33:48Z","timestamp":1568068428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40530-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405292","9783319405308"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40530-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}