{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:04:48Z","timestamp":1762459488013,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614694"},{"type":"electronic","value":"9783319614700"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61470-0_8","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:54:59Z","timestamp":1497952499000},"page":"125-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Granularity of Conflicts and Dependencies in Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Kristopher","family":"Born","sequence":"first","affiliation":[]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Str\u00fcber","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"8_CR1","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. 2505, pp. 161\u2013176. Springer, Heidelberg (2002). doi:10.1007\/3-540-45832-8_14"},{"key":"8_CR2","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, Heidelberg (2006)"},{"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 22nd International Conference on Software Engineering (ICSE), pp. 105\u2013115. ACM (2002)","key":"8_CR3","DOI":"10.1145\/581339.581355"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P Jayaraman","year":"2007","unstructured":"Jayaraman, P., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 151\u2013165. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75209-7_11"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-02674-4_12","volume-title":"Model Driven Architecture - Foundations and Applications","author":"JM K\u00fcster","year":"2009","unstructured":"K\u00fcster, J.M., Gerth, C., Engels, G.: Dependent and conflicting change operations of process models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 158\u2013173. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-02674-4_12"},{"key":"8_CR6","doi-asserted-by":"publisher","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, Heidelberg (2013)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T Mens","year":"2006","unstructured":"Mens, T., Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MODELS 2006. LNCS, vol. 4199, pp. 200\u2013214. Springer, Heidelberg (2006). doi:10.1007\/11880240_15"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","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."},{"doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: application vs. style. In: ACM SIGSOFT Symposium on Foundations of Software Engineering Held Jointly with 9th European Software Engineering Conference, pp. 68\u201377. ACM (2003)","key":"8_CR9","DOI":"10.1145\/949952.940082"},{"key":"8_CR10","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.) FASE 2011. LNCS, vol. 6603, pp. 156\u2013170. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-19811-3_12"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-37057-1_2","volume-title":"Fundamental Approaches to Software Engineering","author":"D Str\u00fcber","year":"2013","unstructured":"Str\u00fcber, D., Taentzer, G., Jurack, S., Sch\u00e4fer, T.: Towards a distributed modeling process based on composite models. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol. 7793, pp. 6\u201320. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-37057-1_2"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2008.04.026","volume":"211","author":"L Lambers","year":"2008","unstructured":"Lambers, L., Ehrig, H., Orejas, F.: Efficient conflict detection in graph transformation systems by essential critical pairs. Electr. Notes Theor. Comput. Sci. 211, 17\u201326 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR13","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)"},{"doi-asserted-by":"crossref","unstructured":"Born, K., Lambers, L., Str\u00fcber, D., Taentzer, G.: Granularity of conflicts and dependencies in graph transformation systems: extended version, Philipps-Universit\u00e4t Marburg, Technical Report (2017). www.uni-marburg.de\/fb12\/swt\/research\/publications","key":"8_CR14","DOI":"10.1007\/978-3-319-61470-0_8"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Pr\u00edvara, I., Rovan, B., Ruzi\u010dka, P. (eds.) MFCS 1994. LNCS, vol. 841, pp. 556\u2013566. Springer, Heidelberg (1994). doi:10.1007\/3-540-58338-6_102"},{"issue":"1","key":"8_CR16","first-page":"1","volume":"74","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Padberg, J., Prange, U., Habel, A.: Adhesive high-level replacement systems: a new categorical framework for graph transformation. Fundam. Inform. 74(1), 1\u201329 (2006)","journal-title":"Fundam. Inform."},{"issue":"1\u20132","key":"8_CR17","first-page":"35","volume":"118","author":"H Ehrig","year":"2012","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. part 2: embedding, critical pairs and local confluence. Fundam. Inform. 118(1\u20132), 35\u201363 (2012). http:\/\/dx.doi.org\/10.3233\/FI-2012-705","journal-title":"Inform."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: a\u00a0graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446\u2013453. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-25959-6_35"},{"unstructured":"Verigraph. https:\/\/github.com\/Verites\/verigraph","key":"8_CR19"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-16145-2_9"},{"unstructured":"Lambers, L.: Certifying rule-based models using graph transformation, Ph.D. dissertation, Berlin Institute of Technology (2010)","key":"8_CR21"},{"issue":"1\u20132","key":"8_CR22","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."},{"doi-asserted-by":"crossref","unstructured":"Deckwerth, F., Kulcs\u00e1r, G., Lochau, M., Varr\u00f3, G., Sch\u00fcrr, A.: Conflict detection for edits on extended feature models using symbolic graph transformation. In: International Workshop on Formal Methods and Analysis in Software Product Line Engineering. EPTCS, vol. 206, pp. 17\u201331 (2016)","key":"8_CR23","DOI":"10.4204\/EPTCS.206.3"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-662-49665-7_8","volume-title":"Fundamental Approaches to Software Engineering","author":"D Str\u00fcber","year":"2016","unstructured":"Str\u00fcber, D., Rubin, J., Arendt, T., Chechik, M., Taentzer, G., Pl\u00f6ger, J.: RuleMerger: automatic construction of variability-based model transformation rules. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 122\u2013140. Springer, Heidelberg (2016). doi:10.1007\/978-3-662-49665-7_8"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61470-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T10:51:52Z","timestamp":1710327112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61470-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614694","9783319614700"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61470-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"21 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}