{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:54:46Z","timestamp":1760586886333,"version":"3.41.0"},"reference-count":79,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["653642"],"award-info":[{"award-number":["653642"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2018,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce<jats:italic>variability-based model transformation<\/jats:italic>. The key idea is to encode a set of similar rules into a compact representation, called<jats:italic>variability-based rule<\/jats:italic>. We provide an algorithm for applying such rules in an efficient manner. In addition, we introduce rule merging, a three-component mechanism for enabling the automatic creation of variability-based rules. Our rule application and merging mechanisms are supported by a novel formal framework, using category theory to provide precise definitions and to prove correctness. In two realistic application scenarios, the created variability-based rules enabled considerable speedups, while also allowing the overall specifications to become more compact.<\/jats:p>","DOI":"10.1007\/s00165-017-0441-3","type":"journal-article","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T07:57:00Z","timestamp":1511769420000},"page":"133-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Variability-based model transformation: formal foundation and application"],"prefix":"10.1145","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5969-3521","authenticated-orcid":false,"given":"D.","family":"Str\u00fcber","sequence":"first","affiliation":[{"name":"Institute for Computer Science, University of Koblenz and Landau, Universittsstr. 1, 56070, Koblenz, Germany"},{"name":"University of Marburg, Marburg, Germany"}]},{"given":"J.","family":"Rubin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"},{"name":"University of British Columbia, Vancouver, Canada"}]},{"given":"T.","family":"Arendt","sequence":"additional","affiliation":[{"name":"University of Marburg, Marburg, Germany"},{"name":"GFFT Innovationsf\u00f6rderung GmbH, Bad Vilbel, Germany"}]},{"given":"M.","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}]},{"given":"G.","family":"Taentzer","sequence":"additional","affiliation":[{"name":"University of Marburg, Marburg, Germany"}]},{"given":"J.","family":"Pl\u00f6ger","sequence":"additional","affiliation":[{"name":"University of Marburg, Marburg, Germany"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Arendt T Biermann E Jurack S Krause C Taentzer G (2010) Henshin: advanced concepts and tools for in-place EMF model transformation. In: Proceedings of the international conference on model-driven engineering languages and systems. Springer pp 121\u2013135","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Arendt T Habel A Radke H Taentzer G (2014) From core OCL invariants to nested graph constraints. In: Proceedings of the international conference on graph transformation pp 97\u2013112","DOI":"10.1007\/978-3-319-09108-2_7"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Alkhazi B Ruas T Kessentini M Wimmer M Grosky WI (2016) Automated refactoring of ATL model transformations: a search-based approach. In: Proceedings of the international conference on model driven engineering languages and systems. ACM pp 295\u2013304","DOI":"10.1145\/2976767.2976782"},{"key":"e_1_2_1_2_4_2","unstructured":"Acretoaie V St\u00f6rrle H (2015) Efficient model querying with VMQL. In: Proceedings of the workshop on combining modelling with search- and example-based approaches pp 7\u201316. http:\/\/CEUR-WS.org"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Anjorin A Saller K Lochau M Sch\u00fcrr A (2014) Modularizing triple graph grammars using rule refinement. In: Proceedings of the international conference on fundamental approaches to software engineering pp 340\u2013355","DOI":"10.1007\/978-3-642-54804-8_24"},{"key":"e_1_2_1_2_6_2","unstructured":"Atallah MJ (2002) Algorithms and theory of computation handbook. CRC press Cambridge"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0199-7"},{"issue":"4","key":"e_1_2_1_2_8_2","first-page":"1","article-title":"Reasoning about product-line evolution using complex differences on feature models","volume":"23","author":"B\u00fcrdek J","year":"2015","journal-title":"J Autom Softw Eng"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Born K Lambers L Str\u00fcber D Taentzer G (2017) Granularity of conflicts and dependencies in graph transformation systems. In: Proceedings of the international conference on graph transformation. Springer pp 125\u2013141","DOI":"10.1007\/978-3-319-61470-0_8"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"Blouin D Plantec A Dissaux P Singhoff F Diguet J-P (2014) Synchronization of models of rich languages with triple graph grammars: an experience report. In: Proceedings of the international conference on theory and practice of model transformations","DOI":"10.1007\/978-3-319-08789-4_8"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","unstructured":"Czarnecki K Antkiewicz M (2005) Mapping features to models: a template approach based on superimposed variants. In: Proceedings of the international conference on generative programming and component engineering. ACM pp 422\u2013437","DOI":"10.1007\/11561347_28"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Chechik M Famelis M Salay R Str\u00fcber D (2016) Perspectives of model transformation reuse. In: Proceedings of international conference on integrated formal methods. Springer pp 28\u201344","DOI":"10.1007\/978-3-319-33693-0_3"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Cuadrado JS Guerra E de Lara J(2014) Reverse engineering of model transformations for reusability. In: Proceedings of the international conference on theory and practice of model transformations. Springer pp 186\u2013201","DOI":"10.1007\/978-3-319-08789-4_14"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.14"},{"volume-title":"Software product lines: practices and patterns","year":"2001","author":"Clements PC","key":"e_1_2_1_2_16_2"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Cook SA (1971) The complexity of theorem-proving procedures. In: Proceedings of the third annual ACM symposium on theory of computing. ACM pp 151\u2013158","DOI":"10.1145\/800157.805047"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Deissenboeck F Hummel B Juergens E Pfaehler M Schaetz B (2010) Model clone detection in practice. In: Proceedings of the workshop on software clones. ACM pp 57\u201364","DOI":"10.1145\/1808901.1808909"},{"issue":"1","key":"e_1_2_1_2_19_2","first-page":"31","article-title":"Fundamental theory for typed attributed graphs and graph transformation based on Adhesive HLR categories","volume":"74","author":"Hartmut E","year":"2006","journal-title":"Fundam Inf"},{"key":"e_1_2_1_2_20_2","unstructured":"Hartmut E Karsten E Ulrike P Gabriele T (2006) Fundamentals of algebraic graph transformation. Monographs in theoretical computer science. An EATCS series. Springer"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.5555\/2385016.2385019"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Ehrig H Golas U Habel A Lambers L Orejas F (2014) M-adhesive transformation systems with nested application conditions. Part 1: parallelism concurrency and amalgamation. Math Struct Comput Sci 24(04):240406","DOI":"10.1017\/S0960129512000357"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Famelis M Lucio L Selim G Salay R Chechik M Cordy JR Dingel J Vangheluwe H Ramesh S (2015) Migrating automotive product lines: a case study. In: Proceedings of the international conference on theory and practice of model transformations. Springer","DOI":"10.1007\/978-3-319-21155-8_7"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000345"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Ghamarian AH Rensink A (2012) Generalised compositionality in graph transformation. In: Proceedings of the international conference on graph transformation. Springer pp 234\u2013248","DOI":"10.1007\/978-3-642-33654-6_16"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"Hermann F Gottmann S Nachtigall N Braatz B Morelli G Pierre A Engel T (2013) On an automated translation of satellite procedures using triple graph grammars. In: Proceedings of the international conference on theory and practice of model transformations. Springer pp 50\u201351","DOI":"10.1007\/978-3-642-38883-5_4"},{"issue":"3","key":"e_1_2_1_2_27_2","first-page":"287","article-title":"Graph grammars with negative application conditions","volume":"26","author":"Annegret H","year":"1996","journal-title":"Fundam Inf"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Heckel R K\u00fcster JM Taentzer G (2002) Confluence of typed attributed graph transformation systems. In: Proceedings of the international conference on graph transformation. Springer pp 161\u2013176","DOI":"10.1007\/3-540-45832-8_14"},{"key":"e_1_2_1_2_29_2","unstructured":"Horv\u00e1th \u00c1 Varr\u00f3 G Varr\u00f3 D (2007) Generic search plans for matching advanced graph patterns. ECEASST 6. http:\/\/journal.ub.tu-berlin.de\/index.php\/eceasst\/article\/view\/49"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"crossref","unstructured":"Holthusen S Wille D Legat C Beddig S Schaefer I Vogel-Heuser B (2014) Family model mining for function block diagrams in automation software. In: Proceedings of the international software product line conference. ACM pp 36\u201343","DOI":"10.1145\/2647908.2655965"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","unstructured":"Izs\u00f3 B Szatm\u00e1ri Z Bergmann G\u00e1bor Horv\u00e1th \u00c1 R (2013) Towards precise metrics for predicting graph query performance. In: Proceedings of the international conference on automated software engineering. IEEE pp 421\u2013431","DOI":"10.1109\/ASE.2013.6693100"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"crossref","unstructured":"Jouault F Allilaire F B\u00e9zivin J Kurtev I Valduriez P (2006) ATL: A QVT-like transformation language. In: Proceedings on symposium on object-oriented programming systems languages and applications companion. ACM pp 719\u2013720","DOI":"10.1145\/1176617.1176691"},{"key":"e_1_2_1_2_33_2","unstructured":"K\u00e4stner C Apel S (2008) Integrating compositional and annotative approaches for product line engineering. In: Proceedings of the workshop on modularization composition and generative techniques for product line engineering pp 35\u201340"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Kavimandan A Gokhale A Karsai G Gray J (2011) Managing the quality of software product line architectures through reusable model transformations. In: Proceedings of the QoSA\/ISARCS. ACM pp 13\u201322","DOI":"10.1145\/2000259.2000264"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081737"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","unstructured":"Kusel A Sch\u00f6nb\u00f6ck Johannes Wimmer Manuel Kappel Gerti Retschitzegger Werner Schwinger Wieland (2013) Reuse in model-to-model transformation languages: are we there yet? J Softw Syst Modeling 1\u201336","DOI":"10.1007\/s10270-013-0343-7"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"Krause C Tichy M Giese H (2014) Implementing graph transformations in the bulk synchronous parallel model. In: Proceedings of the international conference on fundamental approaches to software engineering. Springer pp 325\u2013339","DOI":"10.1007\/978-3-642-54804-8_23"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"crossref","unstructured":"Mann M Ekker H Flamm C (2013) The graph grammar library-a generic framework for chemical graph rewrite systems. In: Proceedings of the international conference on theory and practice of model transformations. Springer pp 52\u201353","DOI":"10.1007\/978-3-642-38883-5_5"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0151-0"},{"issue":"7","key":"e_1_2_1_2_40_2","first-page":"114","article-title":"Duality for simple \u03c9-categories and disks","volume":"8","author":"Mihaly M","year":"2001","journal-title":"Theory Appl Categ"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.90"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.112"},{"key":"e_1_2_1_2_43_2","unstructured":"OMG. http:\/\/www.omg.org\/spec\/UML\/2.5\/. Last Accessed Jan 2011"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"crossref","unstructured":"Pham NH Nguyen HA Nguyen TT Al-Kofahi JM Nguyen TN (2009) Complete and Accurate Clone Detection in Graph-Based Models. In: Proceedings of the international conference on software engineering. IEEE pp 276\u2013286","DOI":"10.1109\/ICSE.2009.5070528"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"crossref","unstructured":"Richa Borde E Pautet L (2015) Translating ATL Model Transformations to Algebraic Graph Transformations. In: Proceeding of the international conference on theory and practice of model transformations. Springer pp 183\u2013198","DOI":"10.1007\/978-3-319-21155-8_14"},{"key":"e_1_2_1_2_46_2","doi-asserted-by":"crossref","unstructured":"Rubin J Chechik M (2012) Combining related products into product lines. In: Proceedings of the international conference on fundamental approaches to software engineering. Springer pp 285\u2013300","DOI":"10.1007\/978-3-642-28872-2_20"},{"key":"e_1_2_1_2_47_2","doi-asserted-by":"crossref","unstructured":"Rubin J Chechik M (2013) Quality of merge-refactorings for product lines. In: Proceedings of the international conference on fundamental approaches to software engineering. Springer pp 83\u201398","DOI":"10.1007\/978-3-642-37057-1_7"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"crossref","unstructured":"Rensink A (2010) Compositionality in graph transformation. In: Proceedings of the international colloquium on automata languages and programming. Springer pp 309\u2013320","DOI":"10.1007\/978-3-642-14162-1_26"},{"key":"e_1_2_1_2_49_2","unstructured":"Rentschler A (2015) Model transformation languages with modular information hiding. Ph.D. thesis Karlsruher Institut f\u00fcr Technologie"},{"key":"e_1_2_1_2_50_2","unstructured":"Rensink A Kuperus J-H (2009) Repotting the geraniums: on nested graph transformation rules. ECEASST 18. http:\/\/journal.ub.tu-berlin.de\/index.php\/eceasst\/article\/view\/260"},{"key":"e_1_2_1_2_51_2","doi-asserted-by":"crossref","unstructured":"Ryssel U Ploennigs J Kabitzsch K (2010) Automatic variation-point identification in function-block-based models. In: Proceedings of the international conference on generative programming and component engineering. ACM pp 23\u201332","DOI":"10.1145\/1942788.1868299"},{"key":"e_1_2_1_2_52_2","doi-asserted-by":"crossref","unstructured":"Rensink A Schmidt \u00c1 Varr\u00f3 D (2004) Model checking graph transformations: A comparison of two approaches. In: Proc. of the International Conference on Graph Transformation pages 226\u2013241. Springer","DOI":"10.1007\/978-3-540-30203-2_17"},{"key":"e_1_2_1_2_53_2","doi-asserted-by":"crossref","unstructured":"Rudolf M (1998) Utilizing constraint satisfaction techniques for efficient graph pattern matching. In: Proceedings of the workshop on theory and application of graph transformations. Springer p 238","DOI":"10.1007\/978-3-540-46464-8_17"},{"key":"e_1_2_1_2_54_2","unstructured":"Rentschler A Werle D Noorshams Q Happe L Reussner R (2014) Remodularizing legacy model transformations with automatic clustering techniques. In: Proceedings of the workshop on the analysis of model transformations pp 4\u201313. http:\/\/CEUR-WS.org"},{"key":"e_1_2_1_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/42201.42203"},{"key":"e_1_2_1_2_56_2","doi-asserted-by":"crossref","unstructured":"Syriani E Gray J (2012) Challenges for addressing quality factors in model transformation. In: Proceedings of the international conference on software testing verification and validation. IEEE pp 929\u2013937","DOI":"10.1109\/ICST.2012.198"},{"key":"e_1_2_1_2_57_2","doi-asserted-by":"crossref","unstructured":"Segura S Galindo JA Benavides D Parejo JA Ruiz-Cort\u00e9s A (2012) BeTTy: benchmarking and testing on the automated analysis of feature models. In: Proceedings of the workshop on variability modelling of software-intensive systems pp 63\u201371","DOI":"10.1145\/2110147.2110155"},{"key":"e_1_2_1_2_58_2","unstructured":"Sijtema M (2010) Introducing variability rules in ATL for managing variability in MDE-based product lines. In: Proceedings of the workshop on model transformation with ATL pp 39\u201349"},{"key":"e_1_2_1_2_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_2_1_2_60_2","unstructured":"Str\u00fcber D Kehrer T Arendt T Pietsch C Reuling D (2016) Scalability of Model transformations: position paper and benchmark set. In: Workshop on scalable model driven engineering pp 21\u201330"},{"key":"e_1_2_1_2_61_2","doi-asserted-by":"crossref","unstructured":"Str\u00fcber D Pl\u00f6ger J Acretoaie V (2016) Clone detection for graph-based model transformation languages. In: Proceedings of the international conference on the theory and practice of model transformations (ICMT). Springer pp 191\u2013206","DOI":"10.1007\/978-3-319-42064-6_13"},{"key":"e_1_2_1_2_62_2","doi-asserted-by":"crossref","unstructured":"Str\u00fcber D Rubin J Arendt T Chechik M Taentzer G Pl\u00f6ger J (2016) RuleMerger: automatic construction of variability-based rules. In: Proceedings of the international conference on fundamental approaches to software engineering. Springer pp 122\u2013140","DOI":"10.1007\/978-3-662-49665-7_8"},{"key":"e_1_2_1_2_63_2","doi-asserted-by":"crossref","unstructured":"Str\u00fcber D Rubin J Chechik M Taentzer G (2015) A variability-based approach to reusable and efficient model transformations. In: Proceedings of the international conference on fundamental approaches to software engineering. Springer pp 283\u2013298","DOI":"10.1007\/978-3-662-46675-9_19"},{"key":"e_1_2_1_2_64_2","doi-asserted-by":"crossref","unstructured":"Str\u00fcber D Schulz S (2016) A tool environment for managing families of model transformation rules. In: Proceedings of the international conference on graph transformations (ICGT) in memory of Hartmut Ehrig. Springer pp 89\u2013101","DOI":"10.1007\/978-3-319-40530-8_6"},{"key":"e_1_2_1_2_65_2","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle H (2014) On the impact of layout quality to understanding UML diagrams: size matters. In: Proceedings of the international conference on model-driven engineering languages and systems. Springer pp 518\u2013534","DOI":"10.1007\/978-3-319-11653-2_32"},{"key":"e_1_2_1_2_66_2","unstructured":"Str\u00fcber D (2016) Model-driven engineering in the large: refactoring techniques for models and model transformation systems. Ph.D. thesis Philipps-Universit\u00e4t Marburg"},{"key":"e_1_2_1_2_67_2","doi-asserted-by":"crossref","unstructured":"Taentzer G (1996) Parallel and distributed graph transformation: formal description and application to communication based systems. Ph.D. thesis Technical University of Berlin","DOI":"10.1007\/3-540-61228-9_95"},{"key":"e_1_2_1_2_68_2","doi-asserted-by":"crossref","unstructured":"Taentzer G Arendt T Ermel C Heckel R (2012) Towards Refactoring of Rule-Based In-Place Model Transformation Systems. In: Proceedings of the workshop on the analysis of model transformations. ACM pp 41\u201346","DOI":"10.1145\/2432497.2432506"},{"key":"e_1_2_1_2_69_2","doi-asserted-by":"crossref","unstructured":"Th\u00fcm T Apel S K\u00e4stner C Schaefer I Saake G (2014) A classification and survey of analysis strategies for software product lines. ACM Comput Surv 47(1):6:1\u20136:45","DOI":"10.1145\/2580950"},{"key":"e_1_2_1_2_70_2","unstructured":"Tichy M Krause C Liebel G (2013) Detecting performance bad smells for henshin model transformations. In: Proceedings of the workshop on the analysis of model transformations pp 82\u201386. http:\/\/CEUR-WS.org"},{"key":"e_1_2_1_2_71_2","unstructured":"Trujillo S Zubizarreta A De Sosa J Mendialdua X (2009) On the refinement of model-to-text transformations. In: Proceedings of the Jornadas de Ingenieria del Software y Bases de Datos pp 123\u2013133"},{"key":"e_1_2_1_2_72_2","doi-asserted-by":"crossref","unstructured":"Varr\u00f3 G Deckwerth F (2013) A rete network construction algorithm for incremental pattern matching. In: Proceedings of the international conference on theory and practice of model transformations. Springer pp 125\u2013140","DOI":"10.1007\/978-3-642-38883-5_13"},{"key":"e_1_2_1_2_73_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.025"},{"key":"e_1_2_1_2_74_2","unstructured":"Varr\u00f3 G Sch\u00fcrr A Varr\u00f3 D (2005) Benchmarking for graph transformation. In: Proceedings of the international symposium on visual languages and human-centric computing. IEEE pp 79\u201388"},{"key":"e_1_2_1_2_75_2","doi-asserted-by":"crossref","unstructured":"Wille D (2014) Managing lots of models: the famine approach. In: Proceedings of the international symposium on foundations of software engineering. ACM pp 817\u2013819","DOI":"10.1145\/2635868.2661681"},{"key":"e_1_2_1_2_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2005.845141"},{"key":"e_1_2_1_2_77_2","unstructured":"Yan X Han J (2002) gspan: graph-based substructure pattern mining. In: Proceedings of the international conference on data mining. IEEE pp 721\u2013724"},{"issue":"1","key":"e_1_2_1_2_78_2","first-page":"340","article-title":"On graph query optimization in large networks","volume":"3","author":"Peixiang Z","year":"2010","journal-title":"In: Proceedings of the VLDB endowment"},{"key":"e_1_2_1_2_79_2","doi-asserted-by":"crossref","unstructured":"Ziadi T Henard C Papadakis M Ziane M Le TY (2014) Towards a language-independent approach for reverse-engineering of software product lines. In: Proceedings of the symposium on applied computing. ACM pp 1064\u20131071","DOI":"10.1145\/2554850.2554874"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-017-0441-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-017-0441-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-017-0441-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-017-0441-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:37:16Z","timestamp":1751035036000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-017-0441-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":79,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["10.1007\/s00165-017-0441-3"],"URL":"https:\/\/doi.org\/10.1007\/s00165-017-0441-3","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}