{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:51:19Z","timestamp":1757616679459,"version":"3.44.0"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T00:00:00Z","timestamp":1716854400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T00:00:00Z","timestamp":1716854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["PID2021-122270OB-I00","RED2022-134647-T","TED2021-129381B-C21"],"award-info":[{"award-number":["PID2021-122270OB-I00","RED2022-134647-T","TED2021-129381B-C21"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004271","name":"Sapienza Universit\u00e0 di Roma","doi-asserted-by":"publisher","award":["Visitor programme"],"award-info":[{"award-number":["Visitor programme"]}],"id":[{"id":"10.13039\/501100004271","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100021511","name":"Dipartimento di Informatica, Sapienza Universit\u00e0 di Roma","doi-asserted-by":"publisher","award":["Visiting grant"],"award-info":[{"award-number":["Visiting grant"]}],"id":[{"id":"10.13039\/501100021511","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":[[2025,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Modelling languages are intensively used in paradigms like model-driven engineering to automate all tasks of the development process. These languages may have variants, in which case the need arises to deal with language families rather than with individual languages. However, specifying the syntax and semantics of each language variant separately in an enumerative way is costly, hinders reuse across variants, and may yield inconsistent semantics between variants. Hence, we propose a novel, modular and compositional approach to describing product lines of modelling languages. It enables the incremental definition of language families by means of modules comprising meta-model fragments, graph transformation rules, and rule extensions. Language variants are configured by selecting the desired modules, which entails the composition of a language meta-model and a set of rules defining its semantics. This paper describes: a theory for checking well-formedness, instantiability, and consistent semantics of all languages within the family; an implementation as an Eclipse plugin; and an evaluation reporting drastic specification size and analysis time reduction in comparison to an enumerative approach.\n<\/jats:p>","DOI":"10.1007\/s10270-024-01179-9","type":"journal-article","created":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T17:03:06Z","timestamp":1716915786000},"page":"981-1010","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Modular language product lines: concept, tool and analysis"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9425-6362","authenticated-orcid":false,"given":"Juan","family":"de Lara","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2818-2278","authenticated-orcid":false,"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Bottoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,28]]},"reference":[{"key":"1179_CR1","doi-asserted-by":"crossref","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Basic concepts, classification, and quality criteria. In: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer Berlin Heidelberg, Berlin, Heidelberg. pp 47\u201363 (2013)","DOI":"10.1007\/978-3-642-37521-7_3"},{"key":"1179_CR2","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In MoDELS, volume 6394 of LNCS. pp 121\u2013135. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"1179_CR3","doi-asserted-by":"crossref","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: CAiSE, volume 3520 of LNCS. Springer. pp 491\u2013503 (2005)","DOI":"10.1007\/11431855_34"},{"key":"1179_CR4","doi-asserted-by":"crossref","unstructured":"Beuche, D., Schulze, M., Duvigneau, M.: When 150% is too much: supporting product centric viewpoints in an industrial product line. In: SPLC, ACM. pp 262\u2013269 (2016)","DOI":"10.1145\/2934466.2934493"},{"issue":"4","key":"1179_CR5","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/j.jvlc.2008.04.004","volume":"19","author":"P Bottoni","year":"2008","unstructured":"Bottoni, P., Guerra, E., de Lara, J.: Enforced generative patterns for the specification of the syntax and semantics of visual languages. J. Vis. Lang. Comput. 19(4), 429\u2013455 (2008)","journal-title":"J. Vis. Lang. Comput."},{"key":"1179_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02549-5","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2017","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 2nd edn. Morgan & Claypool Publishers, San Rafael (2017)","edition":"2"},{"key":"1179_CR7","doi-asserted-by":"crossref","unstructured":"Butting, A., Eikermann, R., Kautz, O., Rumpe, B., Wortmann, A.: Modeling language variability with reusable language components. In: SPLC, ACM, pp 65\u201375. (2018)","DOI":"10.1145\/3233027.3233037"},{"key":"1179_CR8","doi-asserted-by":"crossref","unstructured":"Butting, A., Pfeiffer, J., Rumpe, B., Wortmann, A.: A compositional framework for systematic modeling language reuse. In: MoDELS, ACM. pp 35\u201346 (2020)","DOI":"10.1145\/3365438.3410934"},{"issue":"4","key":"1179_CR9","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1109\/TSE.2017.2777830","volume":"45","author":"R Claris\u00f3","year":"2019","unstructured":"Claris\u00f3, R., Gonz\u00e1lez, C.A., Cabot, J.: Smart bound selection for the verification of UML\/OCL class diagrams. IEEE Trans. Softw. Eng. 45(4), 412\u2013426 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1179_CR10","first-page":"139","volume":"54","author":"B Combemale","year":"2018","unstructured":"Combemale, B., Kienzle, J., Mussbacher, G., Barais, O., Bousse, E., Cazzola, W., Collet, P., Degueule, T., Heinrich, R., J\u00e9z\u00e9quel, J., Leduc, M., Mayerhofer, T., Mosser, S., Sch\u00f6ttle, M., Strittmatter, M., Wortmann, A.: Concern-oriented language development (COLD): fostering reuse in language engineering. Comput. Lang. Syst. Struct. 54, 139\u2013155 (2018)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"1179_CR11","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: GPCE. ACM. pp 211\u2013220 (2006)","DOI":"10.1145\/1173706.1173738"},{"issue":"5","key":"1179_CR12","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/3419404","volume":"64","author":"L D\u2019Antoni","year":"2021","unstructured":"D\u2019Antoni, L., Veanes, M.: Automata modulo theories. Commun. ACM 64(5), 86\u201395 (2021)","journal-title":"Commun. ACM"},{"issue":"3","key":"1179_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J de Lara","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)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"1179_CR14","doi-asserted-by":"publisher","first-page":"1173","DOI":"10.1007\/s00165-021-00554-3","volume":"33","author":"J de Lara","year":"2021","unstructured":"de Lara, J., Guerra, E.: Language family engineering with product lines of multi-level models. Formal Aspects Comput. 33(6), 1173\u20131208 (2021)","journal-title":"Formal Aspects Comput."},{"key":"1179_CR15","doi-asserted-by":"crossref","unstructured":"de\u00a0Lara, J., Guerra, E., Bottoni, P.: Modular language product lines: a graph transformation approach. In: MoDELS, ACM. pp 334\u2013344 (2022)","DOI":"10.1145\/3550355.3552444"},{"key":"1179_CR16","doi-asserted-by":"crossref","unstructured":"de\u00a0Lara, J., Guerra, E., Chechik, M., Salay, R.: Model transformation product lines. In: MoDELS, ACM. pp 67\u201377 (2018)","DOI":"10.1145\/3239372.3239377"},{"key":"1179_CR17","doi-asserted-by":"crossref","unstructured":"Degueule, T., Combemale, B., Blouin, A., Barais, O., J\u00e9z\u00e9quel, J.: Melange: a meta-language for modular and reusable development of DSLs. In: SLE, ACM. pp 25\u201336 (2015)","DOI":"10.1145\/2814251.2814252"},{"issue":"10","key":"1179_CR18","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1016\/j.infsof.2014.04.002","volume":"56","author":"I do Carmo Machado","year":"2014","unstructured":"do Carmo Machado, I., McGregor, J.D., Cavalcanti, Y.C., de Almeida, E.S.: On strategies for testing software product lines: a systematic literature review. Inf. Softw. Technol. 56(10), 1183\u20131199 (2014)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"1179_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2022.21.4.a4","volume":"21","author":"F Drux","year":"2022","unstructured":"Drux, F., Jansen, N., Rumpe, B.: A catalog of design patterns for compositional language engineering. J. Object Technol. 21(4), 1\u201313 (2022)","journal-title":"J. Object Technol."},{"issue":"1","key":"1179_CR20","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/j.jlamp.2015.09.005","volume":"86","author":"F Dur\u00e1n","year":"2017","unstructured":"Dur\u00e1n, F., Moreno-Delgado, A., Orejas, F., Zschaler, S.: Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. 86(1), 208\u2013235 (2017)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1179_CR21","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Zschaler, S., Troya, J.: On the reusable specification of non-functional properties in DSLs. In: SLE, volume 7745 of LNCS, Springer. pp 332\u2013351 (2012)","DOI":"10.1007\/978-3-642-36089-3_19"},{"key":"1179_CR22","unstructured":"Eclipse. https:\/\/www.eclipse.org\/ (2022)"},{"key":"1179_CR23","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, Berlin (2006)"},{"key":"1179_CR24","doi-asserted-by":"crossref","unstructured":"Favalli, L., K\u00fchn, T., Cazzola, W.: Neverlang and FeatureIDE just married: integrated language product line development environment. In: SPLC, pp 1\u201311. ACM (2020)","DOI":"10.1145\/3382025.3414961"},{"key":"1179_CR25","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Guti\u00e9rrez, J.A., Claris\u00f3, R., Cabot, J.: A tool for debugging unsatisfiable integrity constraints in UML\/OCL class diagrams. In BPMDS\/EMMSAD, volume 450 of LNBIP, Springer. pp 267\u2013275 (2022)","DOI":"10.1007\/978-3-031-07475-2_18"},{"issue":"2","key":"1179_CR26","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TSE.2020.2989506","volume":"48","author":"E Guerra","year":"2022","unstructured":"Guerra, E., de Lara, J., Chechik, M., Salay, R.: Property satisfiability analysis for product lines of modelling languages. IEEE Trans. Softw. Eng. 48(2), 397\u2013416 (2022)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1179_CR27","volume-title":"Software Abstractions-Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions-Logic, Language, and Analysis. MIT Press, London (2006)"},{"issue":"7","key":"1179_CR28","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1109\/32.538605","volume":"22","author":"D Jackson","year":"1996","unstructured":"Jackson, D., Damon, C.: Elements of style: analyzing a software design feature with a counterexample detector. IEEE Trans. Softw. Eng. 22(7), 484\u2013495 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"1179_CR29","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/s10270-013-0354-4","volume":"14","author":"J J\u00e9z\u00e9quel","year":"2015","unstructured":"J\u00e9z\u00e9quel, J., Combemale, B., Barais, O., Monperrus, M., Fouquet, F.: Mashup of metalanguages and its implementation in the Kermeta language workbench. Softw. Syst. Model. 14(2), 905\u2013920 (2015)","journal-title":"Softw. Syst. Model."},{"key":"1179_CR30","doi-asserted-by":"crossref","unstructured":"Jurack, S., Taentzer, G.: A component concept for typed graphs with inheritance and containment structures. In: ICGT, volume 6372 of LNCS. Springer. pp 187\u2013202 (2010)","DOI":"10.1007\/978-3-642-15928-2_13"},{"key":"1179_CR31","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-021, Carnegie Mellon Universit (1990)","DOI":"10.21236\/ADA235785"},{"key":"1179_CR32","doi-asserted-by":"crossref","unstructured":"Kashmar, N., Adda, M., Atieh, M.: From access control models to access control metamodels: a survey. In FICC, volume\u00a070 of LNNS. Springer. pp 892\u2013911 (2020)","DOI":"10.1007\/978-3-030-12385-7_61"},{"key":"1179_CR33","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling - Enabling Full Code Generation","author":"S Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.: Domain-Specific Modeling - Enabling Full Code Generation. Wiley, Hoboken (2008)"},{"key":"1179_CR34","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.\u00a0V., Loingtier, J., Irwin, J.: Aspect-oriented programming. In: ECOOP, volume 1241 of LNCS, Springer. pp 220\u2013242 (1997)","DOI":"10.1007\/BFb0053381"},{"key":"1179_CR35","first-page":"272","volume":"7","author":"J Kienzle","year":"2010","unstructured":"Kienzle, J., Abed, W.A., Fleurey, F., J\u00e9z\u00e9quel, J., Klein, J.: Aspect-oriented design with reusable aspect models. LNCS Trans. Aspect Oriented Softw. Dev. 7, 272\u2013320 (2010)","journal-title":"LNCS Trans. Aspect Oriented Softw. Dev."},{"key":"1179_CR36","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Mussbacher, G., Collet, P., Alam, O.: Delaying decisions in variable concern hierarchies. In: GPCE. ACM. pp 93\u2013103 (2016)","DOI":"10.1145\/2993236.2993246"},{"key":"1179_CR37","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In: ECMDA-FA, volume 4066 of LNCS, Springer. pp 128\u2013142 (2006)","DOI":"10.1007\/11787044_11"},{"key":"1179_CR38","doi-asserted-by":"crossref","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: MoDELS, volume 7590 of LNCS, Springer. pp 415\u2013431 (2012)","DOI":"10.1007\/978-3-642-33666-9_27"},{"key":"1179_CR39","doi-asserted-by":"crossref","unstructured":"Lambers, L., Str\u00fcber, D., Taentzer, G., Born, K., Huebert, J.: Multi-granular conflict and dependency analysis in software engineering based on graph transformation. In: Proc. ICSE. ACM. pp 716\u2013727 (2018)","DOI":"10.1145\/3180155.3180258"},{"key":"1179_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"SM Lane","year":"1971","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Springer, Berlin (1971)"},{"key":"1179_CR41","doi-asserted-by":"crossref","unstructured":"Leduc, M., Degueule, T., Combemale, B., van\u00a0der Storm, T., Barais, O.: Revisiting visitors for modular extension of executable DSMLs. In: MoDELS, IEEE Computer Society. pp 112\u2013122 (2017)","DOI":"10.1109\/MODELS.2017.23"},{"key":"1179_CR42","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2018.05.007","volume":"166","author":"M Lienhardt","year":"2018","unstructured":"Lienhardt, M., Damiani, F., Testa, L., Turin, G.: On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166, 3\u201334 (2018)","journal-title":"Sci. Comput. Program."},{"key":"1179_CR43","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R.E., Batory, D.: A standard problem for evaluating product-line methodologies. In GCBSE. Springer, Berlin, Heidelberg. pp 10\u201324 (2001)","DOI":"10.1007\/3-540-44800-4_2"},{"key":"1179_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2015.01.034","volume":"594","author":"R Machado","year":"2015","unstructured":"Machado, R., Ribeiro, L., Heckel, R.: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Theor. Comp. Sci. 594, 1\u201323 (2015)","journal-title":"Theor. Comp. Sci."},{"issue":"6","key":"1179_CR45","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Soft. Eng. 39(6), 869\u2013891 (2013)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"1179_CR46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4","volume-title":"Mastering Software Variability with FeatureIDE","author":"J Meinicke","year":"2017","unstructured":"Meinicke, J., Th\u00fcm, T., Schr\u00f6ter, R., Benduhn, F., Leich, T., Saake, G.: Mastering Software Variability with FeatureIDE. Springer, Berlin (2017)"},{"key":"1179_CR47","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.jss.2017.05.042","volume":"133","author":"D M\u00e9ndez-Acu\u00f1a","year":"2017","unstructured":"M\u00e9ndez-Acu\u00f1a, D., Galindo, J.A., Combemale, B., Blouin, A., Baudry, B.: Reverse engineering language product lines from existing DSL variants. J. Syst. Softw. 133, 145\u2013158 (2017)","journal-title":"J. Syst. Softw."},{"key":"1179_CR48","first-page":"206","volume":"46","author":"D M\u00e9ndez-Acu\u00f1a","year":"2016","unstructured":"M\u00e9ndez-Acu\u00f1a, D., Galindo, J.A., Degueule, T., Combemale, B., Baudry, B.: Leveraging software product lines engineering in the development of external DSLs: a systematic literature review. Comput. Lang. Syst. Struct. 46, 206\u2013235 (2016)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"4","key":"1179_CR49","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"1179_CR50","volume-title":"Software Product Lines: Practices and Patterns","author":"L Northrop","year":"2002","unstructured":"Northrop, L., Clements, P.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co. Inc, Boston (2002)"},{"key":"1179_CR51","unstructured":"OCL. http:\/\/www.omg.org\/spec\/OCL\/ (2014)"},{"issue":"1\u20132","key":"1179_CR52","first-page":"65","volume":"118","author":"F Orejas","year":"2012","unstructured":"Orejas, F., Lambers, L.: Lazy graph transformation. Fundam. Inf. 118(1\u20132), 65\u201396 (2012)","journal-title":"Fundam. Inf."},{"key":"1179_CR53","unstructured":"OSGi working group. OSGi: The dynamic module system for java. https:\/\/www.osgi.org\/ (2022)"},{"key":"1179_CR54","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F.: Transformations of graph grammars. In: TAGT, volume 1073 of LNCS. Springer. pp 428\u2013442 (1994)","DOI":"10.1007\/3-540-61228-9_103"},{"key":"1179_CR55","doi-asserted-by":"publisher","first-page":"101226","DOI":"10.1016\/j.cola.2023.101226","volume":"76","author":"J Pfeiffer","year":"2023","unstructured":"Pfeiffer, J., Rumpe, B., Schmalzing, D., Wortmann, A.: Composition operators for modeling languages: a literature review. J. Comput. Lang. 76, 101226 (2023)","journal-title":"J. Comput. Lang."},{"key":"1179_CR56","doi-asserted-by":"crossref","unstructured":"Pietsch, C., Kelter, U., Kehrer, T., Seidl, C.: Formal foundations for analyzing and refactoring delta-oriented model-based software product lines. In: SPLC, ACM. pp 30:1\u201330:11 (2019)","DOI":"10.1145\/3336294.3336299"},{"key":"1179_CR57","doi-asserted-by":"crossref","unstructured":"Pietsch, C., Reuling, D., Kelter, U., Kehrer, T.: A tool environment for quality assurance of delta-oriented model-based spls. In: VaMoS, ACM. pp 84\u201391 (2017)","DOI":"10.1145\/3023956.3023960"},{"key":"1179_CR58","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, Berlin (2005)"},{"issue":"3","key":"1179_CR59","doi-asserted-by":"publisher","first-page":"1640021:1","DOI":"10.1142\/S0218126616400211","volume":"25","author":"N Przigoda","year":"2016","unstructured":"Przigoda, N., Wille, R., Drechsler, R.: Analyzing inconsistencies in UML\/OCL models. J. Circuits Syst. Comput. 25(3), 1640021:1-1640021:21 (2016)","journal-title":"J. Circuits Syst. Comput."},{"key":"1179_CR60","doi-asserted-by":"crossref","unstructured":"Reuling, D., Pietsch, C., Kelter, U., Kehrer, T.: Towards projectional editing for model-based SPLs. ACM, In VaMoS (2020)","DOI":"10.1145\/3377024.3377030"},{"key":"1179_CR61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2012)"},{"key":"1179_CR62","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: SPLC, volume 6287 of LNCS, Springer. pp 77\u201391 (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"1179_CR63","doi-asserted-by":"crossref","unstructured":"Schlie, A., Schulze, S., Schaefer, I.: Recovering variability information from source code of clone-and-own software systems. ACM, In VaMoS (2020)","DOI":"10.1145\/3377024.3377034"},{"issue":"2","key":"1179_CR64","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P Schobbens","year":"2007","unstructured":"Schobbens, P., Heymans, P., Trigaux, J., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Networks 51(2), 456\u2013479 (2007)","journal-title":"Comput. Networks"},{"key":"1179_CR65","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)","edition":"2"},{"issue":"1","key":"1179_CR66","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s00165-017-0441-3","volume":"30","author":"D Str\u00fcber","year":"2018","unstructured":"Str\u00fcber, D., Rubin, J., Arendt, T., Chechik, M., Taentzer, G., Pl\u00f6ger, J.: Variability-based model transformation: formal foundation and application. Formal Asp. Comput. 30(1), 133\u2013162 (2018)","journal-title":"Formal Asp. Comput."},{"key":"1179_CR67","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Salay, R., Str\u00fcber, D., Chechik, M.: Transformations of software product lines: a generalizing framework based on category theory. In: MoDELS, IEEE. pp 101\u2013111 (2017)","DOI":"10.1109\/MODELS.2017.22"},{"issue":"1","key":"1179_CR68","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1-6:45 (2014)","journal-title":"ACM Comput. Surv."},{"key":"1179_CR69","doi-asserted-by":"crossref","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: ECMDA-FA, volume 5562 of LNCS. Springer. pp 18\u201333. (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"1179_CR70","first-page":"1","volume":"43","author":"E Vacchi","year":"2015","unstructured":"Vacchi, E., Cazzola, W.: Neverlang: a framework for feature-oriented language development. Comput. Lang. Syst. Struct. 43, 1\u201340 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"1179_CR71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-23669-3","volume-title":"Domain-Specific Languages\u2014Effective Modeling, Automation, and Reuse","author":"A Wasowski","year":"2023","unstructured":"Wasowski, A., Berger, T.: Domain-Specific Languages\u2014Effective Modeling, Automation, and Reuse. Springer, Berlin (2023)"},{"key":"1179_CR72","doi-asserted-by":"crossref","unstructured":"Wende, C., Thieme, N., Zschaler, S.: A role-based approach towards modular language engineering. In: SLE, volume 5969 of LNCS, Springer. pp 254\u2013273 (2009)","DOI":"10.1007\/978-3-642-12107-4_19"},{"key":"1179_CR73","doi-asserted-by":"crossref","unstructured":"Westfechtel, B., Greiner, S.: From single- to multi-variant model transformations: trace-based propagation of variability annotations. In: MoDELS, ACM. pp 46\u201356 (2018)","DOI":"10.1145\/3239372.3239414"},{"key":"1179_CR74","doi-asserted-by":"crossref","unstructured":"Wille, R., Soeken, M., Drechsler, R.: Debugging of inconsistent UML\/OCL models. In: DATE, IEEE. pp 1078\u20131083 (2012)","DOI":"10.1109\/DATE.2012.6176655"},{"issue":"2","key":"1179_CR75","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2012.11.2.a3","volume":"11","author":"M Wimmer","year":"2012","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., Kolovos, D.S., Paige, R.F., Lauder, M., Sch\u00fcrr, A., Wagelaar, D.: Surveying rule inheritance in model-to-model transformation languages. J. Object Technol. 11(2), 1\u201346 (2012)","journal-title":"J. Object Technol."},{"key":"1179_CR76","unstructured":"Xtext. https:\/\/www.eclipse.org\/Xtext\/ (2022)"},{"key":"1179_CR77","doi-asserted-by":"crossref","unstructured":"Zschaler, S., Dur\u00e1n, F.: GTSMorpher: safely composing behavioural analyses using structured operational semantics. In: Composing Model-Based Analysis Tools. Springer International Publishing. pp 189\u2013215 (2021)","DOI":"10.1007\/978-3-030-81915-6_9"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01179-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01179-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01179-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T19:47:40Z","timestamp":1757101660000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01179-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,28]]},"references-count":77,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["1179"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01179-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2024,5,28]]},"assertion":[{"value":"12 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 November 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 April 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 May 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}