{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:59:56Z","timestamp":1770278396695,"version":"3.49.0"},"reference-count":49,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T00:00:00Z","timestamp":1415577600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2015,3]]},"abstract":"<jats:p>Delta modelling is an approach to facilitate the automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on application conditions over features. This paper presents<jats:italic>abstract delta modelling<\/jats:italic>, which explores delta modelling from an abstract, algebraic perspective. Compared to the previous work, we take a more flexible approach to conflicts between modifications by introducing the notion of conflict-resolving deltas. Furthermore, we extend our approach to allow the nesting of delta models for increased modularity. We also present conditions on the structure of deltas to ensure unambiguous product generation.<\/jats:p>","DOI":"10.1017\/s0960129512000941","type":"journal-article","created":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T17:39:00Z","timestamp":1415641140000},"page":"482-527","source":"Crossref","is-referenced-by-count":15,"title":["Abstract delta modelling"],"prefix":"10.1017","volume":"25","author":[{"given":"DAVE","family":"CLARKE","sequence":"first","affiliation":[]},{"given":"MICHIEL","family":"HELVENSTEIJN","sequence":"additional","affiliation":[]},{"given":"INA","family":"SCHAEFER","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,11,10]]},"reference":[{"key":"S0960129512000941_ref49","unstructured":"Zhang H. and Jarzabek S. (2003) An XVCL-based approach to software product line development. In: Software Engineering and Knowledge Engineering 267\u2013275."},{"key":"S0960129512000941_ref48","doi-asserted-by":"crossref","unstructured":"V\u00f6lter M. and Groher I. (2007) Product line implementation using aspect-oriented and model-driven software development. In: SPLC 233\u2013242.","DOI":"10.1109\/SPLINE.2007.23"},{"key":"S0960129512000941_ref46","doi-asserted-by":"crossref","unstructured":"Tarr P. , Ossher H. , Harrison W. and Sutton S. Jr (1999) N degrees of separation: multi-dimensional separation of concerns. In: ICSE 107\u2013119.","DOI":"10.1145\/302405.302457"},{"key":"S0960129512000941_ref45","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505148"},{"key":"S0960129512000941_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"S0960129512000941_ref40","unstructured":"Schaefer I. (2010) Variability modelling for model-driven development of software product lines. In: International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010) 85\u201392."},{"key":"S0960129512000941_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053389"},{"key":"S0960129512000941_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"S0960129512000941_ref35","unstructured":"Odersky M. (2007) The Scala Language Specification, version 2.4. Technical Report, Programming Methods Laboratory, EPFL."},{"key":"S0960129512000941_ref34","doi-asserted-by":"crossref","unstructured":"Noda N. and Kishi T. (2008) Aspect-oriented modeling for variability management. In: SPLC 213\u2013222.","DOI":"10.1109\/SPLC.2008.44"},{"key":"S0960129512000941_ref29","doi-asserted-by":"crossref","unstructured":"Liu J. , Batory D. S. and Lengauer C. (2006) Feature oriented refactoring of legacy applications. In: ICSE 112\u2013121.","DOI":"10.1145\/1134285.1134303"},{"key":"S0960129512000941_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"S0960129512000941_ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"S0960129512000941_ref33","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/1029894.1029915","volume-title":"SIGSOFT FSE","author":"Mezini","year":"2004"},{"key":"S0960129512000941_ref24","first-page":"223","volume-title":"SPLC","author":"K\u00e4stner","year":"2007"},{"key":"S0960129512000941_ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.25"},{"key":"S0960129512000941_ref3","doi-asserted-by":"crossref","unstructured":"Apel S. , K\u00e4stner C. and Lengauer C. (2009b) FeatureHouse: Language-independent, automated software composition. In: ICSE 221\u2013231.","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"S0960129512000941_ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1868688.1868696"},{"key":"S0960129512000941_ref26","unstructured":"K\u00e4stner C. , Apel S. , ur Rahman S. , Rosenm\u00fcller M. , Batory D. and Saake G. (2009) On the impact of the optional feature problem: Analysis and case studies. In: Proceedings of International Software Product Line Conference (SPLC). 181\u2013190."},{"key":"S0960129512000941_ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119483"},{"key":"S0960129512000941_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28630-1_17"},{"key":"S0960129512000941_ref36","doi-asserted-by":"crossref","unstructured":"Oldevik J. , Haugen \u00d8. and M\u00f8ller-Pedersen B. (2009) Confluence in domain-independent product line transformations. In: FASE 34\u201348.","DOI":"10.1007\/978-3-642-00593-0_3"},{"key":"S0960129512000941_ref47","doi-asserted-by":"publisher","DOI":"10.2498\/cit.2002.01.01"},{"key":"S0960129512000941_ref37","doi-asserted-by":"crossref","unstructured":"Perrouin G. , Klein J. , Guelfi N. and J\u00e9z\u00e9quel J.-M. (2008) Reconciling automation and flexibility in product derivation. In: SPLC 339\u2013348.","DOI":"10.1109\/SPLC.2008.38"},{"key":"S0960129512000941_ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1020284"},{"key":"S0960129512000941_ref23","first-page":"258","volume-title":"ASE","author":"K\u00e4stner","year":"2008"},{"key":"S0960129512000941_ref17","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle R. (2010) HATS: highly adaptable and trustworthy software using formal methods. In: ISoLA (2) 3\u20138.","DOI":"10.1007\/978-3-642-16561-0_2"},{"key":"S0960129512000941_ref19","unstructured":"Heidenreich F. and Wende C. (2007) Bridging the gap between features and models. In: Aspect-Oriented Product Line Engineering (AOPLE'07)."},{"key":"S0960129512000941_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27799-6_11"},{"key":"S0960129512000941_ref44","unstructured":"Schaefer I. , Worret A. and Poetzsch-Heffter A. (2009) A model-based framework for automated product derivation. In: Proceedings of workshop in Model-based Approaches for Product Line Engineering (MAPLE 2009) 14\u201321."},{"key":"S0960129512000941_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_8"},{"key":"S0960129512000941_ref12","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements","year":"2001"},{"key":"S0960129512000941_ref20","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070055"},{"key":"S0960129512000941_ref2","doi-asserted-by":"crossref","unstructured":"Apel S. , K\u00e4stner C. and Batory D.S. (2008a) Program refactoring using functional aspects. In: GPCE 161\u2013170.","DOI":"10.1145\/1449913.1449938"},{"key":"S0960129512000941_ref15","first-page":"1","volume-title":"International Workshop on Software Factories at OOPSLA'05","author":"Czarnecki","year":"2005"},{"key":"S0960129512000941_ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960283"},{"key":"S0960129512000941_ref8","unstructured":"Batory D. and Smith D. (2007) Finite map spaces and quarks: algebras of program structure. Technical Report TR-07-66, University of Texas at Austin, Department of Computer Sciences."},{"key":"S0960129512000941_ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70770"},{"key":"S0960129512000941_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.038"},{"key":"S0960129512000941_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.001"},{"key":"S0960129512000941_ref22","doi-asserted-by":"crossref","unstructured":"Kang K. C. , Cohen S. , Hess J. , Nowak W. and Peterson S. (1990) Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-021, Carnegie Mellon University Software Engineering Institute.","DOI":"10.21236\/ADA235785"},{"key":"S0960129512000941_ref1","doi-asserted-by":"crossref","unstructured":"Apel S. , Janda F. , Trujillo S. and K\u00e4stner C. (2009a) Model superimposition in software product lines. In: International Conference on Model Transformation (ICMT) 4\u201319.","DOI":"10.1007\/978-3-642-02408-5_2"},{"key":"S0960129512000941_ref6","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"S0960129512000941_ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"S0960129512000941_ref9","doi-asserted-by":"crossref","unstructured":"Bettini L. , Damiani F. and Schaefer I. (2010) Implementing software product lines using traits. In: Proceedings of Object-Oriented Programming Languages and Systems (OOPS), Track of ACM SAC 2096\u20132102.","DOI":"10.1145\/1774088.1774530"},{"key":"S0960129512000941_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.10.004"},{"key":"S0960129512000941_ref11","first-page":"13","volume-title":"Proceedings of GPCE","author":"Clarke","year":"2010"},{"key":"S0960129512000941_ref13","first-page":"1","volume-title":"DLS","author":"Costanza","year":"2005"},{"key":"S0960129512000941_ref21","unstructured":"Jacobson J. (2009) A formalization of Darcs patch theory using inverse semigroups. Technical Report CAM report 09-83, UCLA."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129512000941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T00:50:44Z","timestamp":1689641444000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129512000941\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,10]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["S0960129512000941"],"URL":"https:\/\/doi.org\/10.1017\/s0960129512000941","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,10]]}}}