Abstract
Based on experience from the hardware industry, product families have entered the software development process as well, since software developers often prefer not to build a single product but rather a family of similar products that share at least one common functionality while having well-identified variabilities. Such shared commonalities, also called features, reach from common hardware parts to software artefacts such as requirements, architectural properties, components, middleware, or code. We use idempotent semirings as the basis for a feature algebra that allows a formal treatment of the above notions as well as calculations with them. In particular models of feature algebra the elements are sets of products, i.e. product families. We extend the algebra to cover product lines, refinement, product development and product classification. Finally we briefly describe a prototype implementation of one particular model.
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
Batory, D.: The road to utopia: A future for generative programming. Keynote presentation at the Dagstuhl Seminar for Domain Specific Program Generation (March 2003)
Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th International Software Product Line Conference (SPLC-EUROPE 2005), September 26-29 (2005)
Batory, D., Lopez-Herrejon, R., Martin, J.-P.: Generating product-lines of product-families. In: Conference on Automated-Software Engineering (September 2002)
Bühne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: 13th IEEE International Requirements Engineering Conference, August 29–September 2, pp. 41–50. IEEE Computer Society, Los Alamitos (2005)
Clements, P., Northrop, L.M.: Software Product Lines: Practices and Patterns. Addison Wesley Professional, Reading (2002)
Czarnecki, K., Eisenecker, U.: Generative Programming, Methods, Tools and Applications. Addison-Wesley, Reading (2000)
Desharnais, J., Möller, B., Struth, G.: Modal Kleene Algebra and Applications – A Survey. Journal on Relational Methods in Computer Science 1, 93–131 (2004), http://www.cosc.brocku.ca/Faculty/Winter/JoRMiCS/
Griss, M.L., Favaro, J., d’Alessandro, M.: Integrating feature modeling with the RSEB. In: Devanbu, P., Poulin, J. (eds.) Proceedings of the 5th International Conference on Software Reuse, pp. 76–85. IEEE Computer Society, Los Alamitos (1998)
Höfner, P., Khedri, R., Möller, B.: Feature algebra. Technical Report 2006-04, Institut für Informatik, Universität Augsburg (February 2006)
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 Software Engineering Institute, Carnegie Mellon University (1990)
Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering 5(1), 143–168 (1998)
Nilsson, N.J.: Principles of Artificial Intelligence. Tioga Publishing Co. (1980)
Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering SE2(1), 1–9 (1976)
Riva, C., Rosso, C.D.: Experiences with software product family evolution. In: Sixth International Workshop on Principles of Software Evolution (IWPSE 2003), pp. 161–169. IEEE Computer Society, Los Alamitos (2003)
Roback, S., Pieczynski, A.: Employing fuzzy logic in feature diagrams to model variability in software product-lines. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2003), pp. 305–311. IEEE Computer Society, Los Alamitos (2003)
Thompson, J.M., Heimdahl, M.P.: Structuring product family requirements for n-dimensional and hierarchical product lines. Requirements Engineering Journal (2002)
Thompson, J.M., Heimdahl, M.P., Erickson, D.M.: Structuring formal control systems specifications for reuse: Surviving hardware changes. Technical Report TR 00-004, Department of Computer Science and Engineering, University of Minnesota (February 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Höfner, P., Khedri, R., Möller, B. (2006). Feature Algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds) FM 2006: Formal Methods. FM 2006. Lecture Notes in Computer Science, vol 4085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11813040_21
Download citation
DOI: https://doi.org/10.1007/11813040_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37215-8
Online ISBN: 978-3-540-37216-5
eBook Packages: Computer ScienceComputer Science (R0)