{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:02:23Z","timestamp":1776780143615,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642389764","type":"print"},{"value":"9783642389771","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38977-1_3","type":"book-chapter","created":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T02:18:51Z","timestamp":1370830731000},"page":"32-48","source":"Crossref","is-referenced-by-count":9,"title":["An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability"],"prefix":"10.1007","author":[{"given":"Holger","family":"Eichelberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kr\u00f6her","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"KConfig Language (2012), http:\/\/kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K.: Feature Plugin: Feature modeling plug-in for Eclipse. In: Eclipse Technology eXchange Workshop (2004)","DOI":"10.1145\/1066129.1066143"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-19440-5_7","volume-title":"Software Language Engineering","author":"K. B\u0105k","year":"2011","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and Meta-models in Clafer: Mixed, Specialized, and Coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 102\u2013122. Springer, Heidelberg (2011)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D. Benavides","year":"2005","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P.: Automated Reasoning on Feature Models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cortes, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems\u00a035, 615\u2013636 (2010)","journal-title":"Information Systems"},{"key":"3_CR7","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Using Constraint Programming to Reason on Feature Models. In: Intl. Conf. Software Engineering and Knowledge Engineering, pp. 677\u2013682 (2005)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J., Becker, M., Czarnecki, K., Wasowski, A.: A Survey of Variability Modeling in Industrial Practice. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 7:1-7:8 (2012)","DOI":"10.1145\/2430502.2430513"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Berger, T., She, S., Lotufo, R., Wasowski, A., Czarnecki, K.: Variability Modeling in the Real: A Perspective from the Operating Systems Domain. In: Intl. Conference on Automated Software Engineering, pp. 73\u201382 (2010)","DOI":"10.1145\/1858996.1859010"},{"key":"3_CR10","unstructured":"Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a Text-Based Feature Modelling Language. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 159\u2013162 (2010)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Brummermann, H., Keunecke, M., Schmid, K.: Formalizing distributed evolution of variability in information system ecosystems. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 11\u201319 (2012)","DOI":"10.1145\/1944892.1944912"},{"key":"3_CR12","unstructured":"Chen, L., Ali Babar, M., Ali, N.: Variability Management in Software Product Lines: A Systematic Review. In: Intl. Conf. Software Product Lines, pp. 81\u201390 (2009)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-78743-3_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Classen","year":"2008","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y.: What\u2019s in a Feature: a Requirements Engineering Perspective. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 16\u201330. Springer, Heidelberg (2008)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The Complexity of Theorem-Proving Procedures. In: Symp. on the Theory of Computing, pp. 151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 173\u2013182 (2012)","DOI":"10.1145\/2110147.2110167"},{"key":"3_CR16","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, U.: Formalizing Cardinality-Based Feature Models and their Specialization. Softw. Process Improv. Pract.\u00a010, 7\u201329 (2005)","journal-title":"Softw. Process Improv. Pract."},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/spip.225","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Softw. Process Improv. Pract.\u00a010(2), 143\u2013169 (2005)","journal-title":"Softw. Process Improv. Pract."},{"key":"3_CR18","unstructured":"Czarnecki, K., Kim, P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: Symp. on Object-Oriented Programming Systems, Languages, and Applications, pp. 16\u201320 (2005)"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D. Dhungana","year":"2011","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: The DOPLER Meta-Tool for Decision-Oriented Variability Modeling: A Multiple Case Study. J. Automated Software Engineering\u00a018, 77\u2013114 (2011)","journal-title":"J. Automated Software Engineering"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"El-Sharkawy, S., Dederichs, S., Schmid, K.: From feature models to decision models and back again: An analysis based on formal transformations. In: Intl. Conf. Software Product Lines, vol.\u00a01, pp. 126\u2013135 (2012)","DOI":"10.1145\/2362536.2362555"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"El-Sharkawy, S., Kr\u00f6her, C., Schmid, K.: Supporting heterogeneous compositional multi software product lines. In: Intl. Conf. Software Product Lines, vol.\u00a02, pp. 25:1-25:4 (2011)","DOI":"10.1145\/2019136.2019164"},{"key":"3_CR22","unstructured":"European Software Institute, IKV++ Technologies.MASTER: Model-driven Architecture inSTrumentation, Enhancement and Refinement, IST-2001-34600, MASTER D1.1 (2002)"},{"key":"3_CR23","unstructured":"Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley (2004)"},{"key":"3_CR24","unstructured":"Istoan, P., Klein, J., Perouin, G., Jezequel, J.-M.: A Metamodel-based Classification of Variability Modeling Approaches. In: VARiability for You Workshop, pp. 23\u201332 (2011)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyahter, H.: Alcoa: The Alloy Constraint Analyzer. In: Intl. Conf. Software Engineering, pp. 730\u2013733 (2000)","DOI":"10.1145\/337180.337616"},{"key":"3_CR26","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-21 ESD-90-TR-222 (1990)","DOI":"10.21236\/ADA235785"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K. Kang","year":"1998","unstructured":"Kang, K., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architecture. Ann. Softw. Eng.\u00a05, 143\u2013168 (1998)","journal-title":"Ann. Softw. Eng."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Liebig, J., Daniel, R., Apel, S.: Feature-oriented language families: A case study. In: Intl. Workshop on Variability Modelling of Software-intensive Systems, pp. 11:1-11:8 (2012)","DOI":"10.1145\/2430502.2430518"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, pp. 176\u2013202. Springer, Heidelberg (2002)"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-540-24667-1_36","volume-title":"Software Product-Family Engineering","author":"J.X. Mansell","year":"2004","unstructured":"Mansell, J.X., Sellier, D.: Decision Model and Flexible Component Definition Based on XML Technology. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 466\u2013472. Springer, Heidelberg (2004)"},{"key":"3_CR31","unstructured":"Mendon\u00e7a, M., Wasowski, A., Czarnecki, K.: SAT-based Analysis of Feature Models is Easy. In: Intl. Conf. Software Product Lines, pp. 231\u2013240 (2009)"},{"key":"3_CR32","unstructured":"Object Management Group, Inc. (OMG). Common Variability Language (CVL), OMG initial submission. Available on request (2010)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Passos, L., Novakovic, M., Xiong, Y., Berger, T., Czarnecki, K., Wasowski, A.: A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System. In: Intl. WS on Feature-Oriented Software Development (2011)","DOI":"10.1145\/2019136.2019139"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: Finite reasoning on UML\/OCL conceptual schemas. J. Data Knowledge Engineering\u00a073, 1\u201322 (2012)","journal-title":"J. Data Knowledge Engineering"},{"key":"3_CR36","unstructured":"Reiser, M.-O.: Core Concepts of the Compositional Variability Management Framework (CVM). Technical Report 2009\/16, Technische Universit\u00e4t Berlin (2009)"},{"key":"3_CR37","unstructured":"Riebisch, M., B\u00f6llert, K., Streitferdt, D., Philippow, I.: Extending Feature Diagrams with UML Multiplicity. In: Conf. on Integrated Design and Process Technology (2002)"},{"key":"3_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-15579-6_11","volume-title":"Software Product Lines: Going Beyond","author":"K. Schmid","year":"2010","unstructured":"Schmid, K.: Variability modeling for distributed development - a comparison of established practice. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 151\u2013165. Springer, Heidelberg (2010)"},{"issue":"3","key":"3_CR39","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.scico.2003.04.002","volume":"53","author":"K. Schmid","year":"2004","unstructured":"Schmid, K., John, I.: A Customizable Approach To Full-Life Cycle Variability Management. Sci. Comput. Program.\u00a053(3), 259\u2013284 (2004)","journal-title":"Sci. Comput. Program."},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Schmid, K., Rabiser, R., Gr\u00fcnbacher, P.: A Comparison of Decision Modeling Approaches in Product Lines. In: Intl. WS on Variability Modelling of Software-intensive Systems, pp. 119\u2013126 (2011)","DOI":"10.1145\/1944892.1944907"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C.: Feature Diagrams: A Survey and a Formal Semantics. In: Intl. Conf. Requirements Engineering, pp. 139\u2013148 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Software Productivity Consortium Services Corporation, Technical Report SPC-92019-CMC.Reuse-Driven Software Processes Guidebook, Version 02.00.03 (November 1993)","DOI":"10.21236\/ADA273644"},{"key":"3_CR43","unstructured":"Streitferdt, D., Riebisch, M., Philippow, I.: Details of Formalized Relations in Feature Models Using OCL. In: Intl. Conf. the Engineering of Computer Based Systems, pp. 45\u201354 (2003)"},{"key":"3_CR44","first-page":"1","volume":"10","author":"A. Deursen van","year":"2002","unstructured":"van Deursen, A., Klint, P.: Domain-Specific Language Design Requires Feature Descriptions. JCIT\u00a010, 1\u201317 (2002)","journal-title":"JCIT"},{"key":"3_CR45","unstructured":"Veer, B., Dallaway, J.: The eCos Component Writer\u2019s Guide (2001), http:\/\/ecos.sourceware.org\/docs-latest\/cdl-guide\/cdl-guide.html"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Voelter, M., Visser, E.: Product Line Engineering using Domain-Specific Languages. In: Intl. Conf. Software Product Lines, pp. 70\u201379 (2011)","DOI":"10.1109\/SPLC.2011.25"},{"key":"3_CR47","unstructured":"White, J., Dougherty, B., Schmidt, D.C., Benavides, D.: Automated Reasoning for Multi-step Software Product-line Configuration Problems. In: Intl. Conf. Software Product Lines, pp. 11\u201320 (2009)"},{"issue":"8","key":"3_CR48","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1016\/j.jss.2009.02.011","volume":"82","author":"J. White","year":"2009","unstructured":"White, J., Doughtery, B., Schmidt, D.: Selecting Highly Optimal Architectural Feature Sets with Filtered Cartesian Flattening. J. Systems and Software\u00a082(8), 1268\u20131284 (2009)","journal-title":"J. Systems and Software"},{"key":"3_CR49","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MS.2009.95","volume":"26","author":"J. White","year":"2009","unstructured":"White, J., Hill, J., Gray, J., Tambe, S., Gokhale, A., Schmidt, D.: Improving Domain-Specific Language Reuse with Software Product Line Techniques. IEEE Softw.\u00a026, 47\u201353 (2009)","journal-title":"IEEE Softw."},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"White, J., Schmidt, D.C., Wuchner, E., Nechypurenko, A.: Automating Product-Line Variant Selection for Mobile Devices. In: Intl. Conf. Software Product Lines, pp. 129\u2013140 (2007)","DOI":"10.1109\/SPLINE.2007.4339262"}],"container-title":["Lecture Notes in Computer Science","Safe and Secure Software Reuse"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38977-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T08:36:50Z","timestamp":1688287010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38977-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389764","9783642389771"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38977-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}