Abstract
Cardinality-based feature models provide the most expressive language among the existing feature modeling languages. We provide a reduction process, which allows us to transform a cardinality-based feature diagram to an appropriate regular expression. As for crosscutting constraints, we propose a formal language interpretation of them. In this way, we provide a formal language-based semantics for cardinality-based feature models. Accordingly, we describe a computational hierarchy of feature models, which guides us in how feature models can be constructively analyzed. We also characterize some existing analysis operations over feature models in terms of languages and discuss the corresponding decidability problems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Acher, M., Collet, P., Lahire, P., France, R.: Managing multiple software product lines using merging techniques. France: UniversityofNiceSophiaAntipolis. TechnicalReport, ISRN I3S/RR, vol. 6 (2010)
Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems 35(6), 615–636 (2010)
Bonchi, F., Pous, D.: Checking nfa equivalence with bisimulations up to congruence. ACM SIGPLAN Notices 48(1), 457–468 (2013)
Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: An industrial experience report. In: Batory, D., Blum, A., Taha, W. (eds.) GPCE 2002. LNCS, vol. 2487, pp. 156–172. Springer, Heidelberg (2002)
Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 10(1), 7–29 (2005)
Czarnecki, K., Kim, C.H.P.: Cardinality-based feature modeling and constraints: A progress report. In: International Workshop on Software Factories, pp. 16–20 (2005)
Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: 11th International on Software Product Line Conference, SPLC 2007, pp. 23–34. IEEE (2007)
Davis, M.: Computability, complexity, and languages: fundamentals of theoretical computer science. Academic Press (1994)
de Jonge, M., Visser, J.: Grammars as feature diagrams. In: ICSR7 Workshop on Generative Programming, pp. 23–24. Citeseer (2002)
Diskin, Z., Safilian, A., Maibaum, T., Ben-David, S.: Modeling product lines with kripke structures and modal logic (GSDLab TR 2014-08-01) (August 2014)
Linz, P.: An introduction to formal languages and automata. Jones & Bartlett Publishers (2011)
Mannion, M.: Using first-order logic for product line model validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176–187. Springer, Heidelberg (2002)
Pohl, K., Böckle, G., Van Der Linden, F.: Software product line engineering: foundations, principles, and techniques. Springer (2005)
Quinton, C., Romero, D., Duchien, L.: Cardinality-based feature models with constraints: a pragmatic approach. In: Proceedings of the 17th International Software Product Line Conference, pp. 162–166. ACM (2013)
Safilian, A., Maibaum, T., Diskin, Z.: The semantics of feature models via formal languages (extended version) (GSDLab TR 2014-08-02) (August 2014)
Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks 51(2), 456–479 (2007)
She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: Reverse engineering feature models. In: ICSE 2011, pp. 461–470. IEEE (2011)
van Noord, G.: Fsa6. 2xx: Finite state automata utilities. http://odur.let.rug.nl/vannoord/Fsa/fsa.html , 3(10), 2003 (2002) (accessed)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Safilian, A., Maibaum, T., Diskin, Z. (2015). The Semantics of Cardinality-Based Feature Models via Formal Languages. In: Bjørner, N., de Boer, F. (eds) FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science(), vol 9109. Springer, Cham. https://doi.org/10.1007/978-3-319-19249-9_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-19249-9_28
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19248-2
Online ISBN: 978-3-319-19249-9
eBook Packages: Computer ScienceComputer Science (R0)