{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:22Z","timestamp":1749615202543,"version":"3.41.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T00:00:00Z","timestamp":1474243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SICS Softw.-Inensiv. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s00450-016-0329-0","type":"journal-article","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T14:24:04Z","timestamp":1474295044000},"page":"17-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A repair-oriented approach to product consistency in product lines using negative variability"],"prefix":"10.1007","volume":"34","author":[{"given":"Thomas","family":"Buchmann","sequence":"first","affiliation":[]},{"given":"Felix","family":"Schw\u00e4gerl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,19]]},"reference":[{"key":"329_CR1","unstructured":"31st International Conference on Software Engineering, ICSE 2009, May 16\u201324, Vancouver, Canada. Proceedings, IEEE (2009)"},{"key":"329_CR2","doi-asserted-by":"crossref","unstructured":"Apel S, Janda F, Trujillo S, K\u00e4stner C (2009) Model superimposition in software product lines. In Paige RF (ed) Proceedings of the international conference on model transformation (ICMT), volume 5563 of Lecture notes in computer science, pp 4\u201319. Springer","DOI":"10.1007\/978-3-642-02408-5_2"},{"key":"329_CR3","doi-asserted-by":"crossref","unstructured":"Apel S, K\u00e4stner C, Lengauer C (2009) FeatureHouse: language-independent, automated software composition. In: Proceedings of the ACM\/IEEE international conference on software engineering (ICSE) [1], pp 221\u2013231","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"329_CR4","doi-asserted-by":"crossref","unstructured":"Batory DS (2005) Feature models, grammars, and propositional formulas. In: Henk Obbink J, Pohl Klaus (eds) Proceedings of the 9th international software product line conference (SPLC\u201905), volume 3714 of Lecture notes in computer science, pp 7\u201320. Springer Verlag, Rennes, France","DOI":"10.1007\/11554844_3"},{"key":"329_CR5","doi-asserted-by":"crossref","unstructured":"Baumgartl J, Buchmann T, Henrich D, Westfechtel B (2013) Towards easy robot programming: using dsls, code generators and software product lines. In: Cordeiro J, Marca D, van Sinderen M (eds) Proceedings of the 8th international conference on software paradigm trends (ICSOFT 2013), pp 548\u2013554. ScitePress","DOI":"10.5220\/0004585305480554"},{"key":"329_CR6","doi-asserted-by":"crossref","unstructured":"Buchmann T, Baumgartl J, Henrich D, Westfechtel B (2015) Robots and their variability\u2014a societal challenge and a potential solution. In: Pleuss A, Rubin J, Botterweck G, Weiss DM (eds) 2015 IEEE\/ACM 5th international workshop on product line approaches in software engineering (PLEASE), pp 27\u201330","DOI":"10.1109\/PLEASE.2015.15"},{"key":"329_CR7","doi-asserted-by":"crossref","unstructured":"Buchmann T, Schw\u00e4gerl F (2012) Ensuring well-formedness of configured domain models in model-driven product lines based on negative variability. In: Proceedings of the 4th international workshop on feature-oriented software development, FOSD 2012, pp 37\u201344, New York, NY, USA, 2012, ACM","DOI":"10.1145\/2377816.2377822"},{"key":"329_CR8","unstructured":"Buchmann T, Schw\u00e4gerl F (2012) FAMILE: tool support for evolving model-driven product lines. In: St\u00f6rrle H, Botterweck G, Bourdell\u00e8s M, Kolovos D, Paige R, Roubtsova E, Rubin J, Tolvanen J-P (eds) Joint Proceedings of co-located events at the 8th European conference on modelling foundations and applications, CEUR WS, pp 59\u201362, Building 321, DK-2800 Kongens Lyngby, July 2012. Technical University of Denmark (DTU)"},{"issue":"1 & 2","key":"329_CR9","first-page":"232","volume":"8","author":"T Buchmann","year":"2015","unstructured":"Buchmann T, Schw\u00e4gerl F (2015) Developing heterogeneous software product lines with FAMILE\u2014a model-driven approach. Int J Adv Softw 8(1 & 2):232\u2013246","journal-title":"Int J Adv Softw"},{"issue":"4","key":"329_CR10","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1007\/s10270-012-0305-5","volume":"13","author":"T Buchmann","year":"2014","unstructured":"Buchmann T, Westfechtel B (2014) Mapping feature models onto domain models: ensuring consistency of configured domain models. Softw Syst Model 13(4):1495\u20131527","journal-title":"Softw Syst Model"},{"key":"329_CR11","volume-title":"Software product lines: practices and patterns","author":"P Clements","year":"2001","unstructured":"Clements P, Northrop L (2001) Software product lines: practices and patterns. Addison-Wesley, Boston"},{"key":"329_CR12","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Antkiewicz M (2005) Mapping features to models: a template approach based on superimposed variants. In: Gl\u00fcck R, Lowry MR (eds) 4th International conference on generative programming and component engineering (GPCE 2005), volume 3676 of Lecture notes in computer science, pp 422\u2013437. Springer Verlag, Tallin, Estonia","DOI":"10.1007\/11561347_28"},{"issue":"1","key":"329_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki K, Helsen S, Eisenecker UW (2005) Formalizing cardinality-based feature models and their specialization. Softw Process Improv Pract 10(1):7\u201329","journal-title":"Softw Process Improv Pract"},{"key":"329_CR14","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Pietroszek K (2006) Verifying feature-based model templates against well-formedness ocl constraints. In: Stan J, Schmidt DC, Veldhuizen TL (eds) Proceedings of ACM SIGSOFT\/SIGPLAN international conference on generative programming and component engineering (GPCE\u201906), pp 211\u2013220. ACM Press, Portland, OR","DOI":"10.1145\/1173706.1173738"},{"key":"329_CR15","volume-title":"Designing software product lines with UML: from use cases to pattern-based software architectures","author":"H Gomaa","year":"2004","unstructured":"Gomaa H (2004) Designing software product lines with UML: from use cases to pattern-based software architectures. Addison-Wesley, Boston"},{"key":"329_CR16","doi-asserted-by":"crossref","unstructured":"Heidenreich F (2009) Towards systematic ensuring well-formedness of software product lines. In: Proceedings of the 1st workshop on feature-oriented software development, pp 69\u201374, Denver, CO, USA, ACM","DOI":"10.1145\/1629716.1629730"},{"key":"329_CR17","doi-asserted-by":"crossref","unstructured":"Heidenreich F, Kopcsek J, Wende C (2008) FeatureMapper: Mapping features to models. In: Companion Proceedings of the 30th International Conference on Software engineering (ICSE\u201908), pp 943\u2013944, ACM Press, Leipzig, Germany","DOI":"10.1145\/1370175.1370199"},{"key":"329_CR18","doi-asserted-by":"crossref","unstructured":"Heidenreich F, Kopcsek J, Wende C (2008) Featuremapper: mapping features to models. In: Sch\u00e4fer W, Dwyer MB, Gruhn V (eds) 30th International conference on software engineering (ICSE 2008), Leipzig, Germany, May 10\u201318, 2008, Companion Volume, pp 943\u2013944, ACM","DOI":"10.1145\/1370175.1370199"},{"key":"329_CR19","doi-asserted-by":"crossref","unstructured":"Kang KC, Cohen SG, Hess JA, Novak WE, Peterson AS (1990) Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Carnegie-Mellon University, Software Engineering Institute","DOI":"10.21236\/ADA235785"},{"key":"329_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"KC Kang","year":"1998","unstructured":"Kang KC, Kim S, Lee J, Kim K, Kim GJ, Shin E (1998) Form: a feature-oriented reuse method with domain-specific reference architectures. Ann Softw Eng 5:143\u2013168","journal-title":"Ann Softw Eng"},{"key":"329_CR21","doi-asserted-by":"crossref","unstructured":"K\u00e4stner C, Apel S, Trujillo S, Kuhlemann M, Batory DS (2009) Guaranteeing syntactic correctness for all product line variants: a language-independent approach. In: Oriol M, Meyer B (eds) Proceedings of the 47th International conference: objects., components, models and patterns (TOOLS EUROPE 2009), volume 33 of Lecture notes in business information processing, pp 175\u2013194. Springer, Zurich, Switzerland","DOI":"10.1007\/978-3-642-02571-6_11"},{"key":"329_CR22","volume-title":"The C programming language","author":"BW Kernighan","year":"1988","unstructured":"Kernighan BW, Ritchie DM (1988) The C programming language, 2nd edn. Prentice Hall Professional Technical Reference, Upper Saddle River","edition":"2"},{"key":"329_CR23","doi-asserted-by":"crossref","unstructured":"Khanna S, Kunal K, Pierce BC (2007) A formal investigation of diff3. In: Arvind V, Prasad S (eds) FSTTCS 2007: foundations of software technology and theoretical computer science, volume 4855 of Lecture notes in computer science, pp 485\u2013496. Springer Verlag, New Delhi, India","DOI":"10.1007\/978-3-540-77050-3_40"},{"key":"329_CR24","doi-asserted-by":"crossref","unstructured":"Liebig J, Rhein AV, K\u00e4stner C, Apel S, D\u00f6rre J, Lengauer C (2013) Scalable analysis of variable software. In: Proceedings of the 2013 9th joint meeting on foundations of software engineering, ESEC\/FSE 2013, pp 81\u201391, New York, NY, USA, 2013, ACM","DOI":"10.1145\/2491411.2491437"},{"key":"329_CR25","volume-title":"Story driven modeling","author":"U Norbisrath","year":"2013","unstructured":"Norbisrath U, Jubeh R, Z\u00fcndorf A (2013) Story driven modeling. CreateSpace Independent Publishing Platform, Washington"},{"key":"329_CR26","unstructured":"OMG. Meta object facility (MOF) core. Object Management Group, Needham, MA, (formal\/2011-08-07 edn) (2011)"},{"key":"329_CR27","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, van der Linden F (2005) Software product line engineering: foundations. Principles and techniques. Springer, Berlin"},{"key":"329_CR28","unstructured":"Schobbens P-Y, Heymans P, Trigaux J-C (2006) Feature diagrams: a survey and a formal semantics. In: 14th IEEE international conference on requirements engineering (RE 2006), 11\u201315 September 2006, Minneapolis\/St.Paul, Minnesota, USA, pp 136\u2013145"},{"key":"329_CR29","volume-title":"EMF eclipse modeling framework. The eclipse series","author":"D Steinberg","year":"2009","unstructured":"Steinberg D, Budinsky F, Paternostro M, Merks E (2009) EMF eclipse modeling framework. The eclipse series, 2nd edn. Addison-Wesley, Boston","edition":"2"},{"issue":"1","key":"329_CR30","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 (2014) A classification and survey of analysis strategies for software product lines. ACM Comput Surv 47(1):6:1\u20136:45","journal-title":"ACM Comput Surv"},{"key":"329_CR31","volume-title":"Model-driven software development: technology, engineering, management","author":"M V\u00f6lter","year":"2006","unstructured":"V\u00f6lter M, Stahl T, Bettin J, Haase A, Helsen S (2006) Model-driven software development: technology, engineering, management. Wiley, New York"},{"key":"329_CR32","doi-asserted-by":"crossref","unstructured":"Whittle J, Jayaraman P, Elkhodary A, Moreira A, Ara\u00fajo J (2009) MATA: a unified approach for composing UML aspect models based on graph transformation. In: Katz S, Ossher H, France R, J\u00e9z\u00e9quel J-M (eds) Transactions on aspect-oriented software development VI, volume 5560 of Lecture notes in computer science, pp 191\u2013237. Springer, Berlin\/Heidelberg","DOI":"10.1007\/978-3-642-03764-1_6"},{"issue":"6","key":"329_CR33","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/TSE.2014.2383381","volume":"41","author":"Y Xiong","year":"2015","unstructured":"Xiong Y, Zhang H, Hubaux A, She S, Wang J, Czarnecki K (2015) Range fixes: interactive error resolution for software configuration. IEEE Trans Softw Eng 41(6):603\u2013619","journal-title":"IEEE Trans Softw Eng"},{"key":"329_CR34","doi-asserted-by":"crossref","unstructured":"Ziadi T, J\u00e9z\u00e9quel J-M (2006) Software product line engineering with the UML: deriving products. In: K\u00e4k\u00f6la T, Duenas JC (eds) Software product lines. Springer, Berlin, pp 557\u2013588","DOI":"10.1007\/978-3-540-33253-4_15"},{"key":"329_CR35","doi-asserted-by":"crossref","unstructured":"Zschaler S, S\u00e1nchez P, Santos J, Alf\u00e9rez M, Rashid A, Fuentes L, Moreira A, Ara\u00fajo J, Kulesza U (2010) VML*\u2014a family of languages for variability management in software product lines. In: van den Brand M, Ga\u0161evic D, Gray J (eds) Software language engineering, volume 5969 of Lecture notes in computer science, pp 82\u2013102. Springer, Berlin\/Heidelberg, Denver, CO, USA","DOI":"10.1007\/978-3-642-12107-4_7"}],"container-title":["SICS Software-Intensive Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-016-0329-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-016-0329-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-016-0329-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T20:01:34Z","timestamp":1749585694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-016-0329-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,19]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["329"],"URL":"https:\/\/doi.org\/10.1007\/s00450-016-0329-0","relation":{},"ISSN":["2524-8510","2524-8529"],"issn-type":[{"type":"print","value":"2524-8510"},{"type":"electronic","value":"2524-8529"}],"subject":[],"published":{"date-parts":[[2016,9,19]]},"assertion":[{"value":"6 November 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 September 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}