Abstract
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running the risk of inconsistencies. For instance, the feature model might allow feature configurations that are not realizable by the architecture.
In this paper we tackle this problem by providing a formalization of dependencies between features and components. Further, we demonstrate that this formalization offers a better understanding of the modeled concepts. Moreover, we propose automated techniques that derive additional information and provide feedback to the user. Finally, we discuss how some of these techniques can be implemented.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Asikainen, T., Männistö, T., Soininen, T.: Kumbang: A domain ontology for modelling variability in software product families. Advanced Engineering Informatics 21 (2007)
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, Springer, Heidelberg (2005)
Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Transactions on Software Engineering 30(6) (2004)
Benavides, D., Ruiz-Cortés, A., Trinidad, P., Segura, S.: A Survey on the Automated Analyses of Feture Models. In: Jornadas de Ingeniería del Software y Bases de Datos (JISBD) (2006)
Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, Springer, Heidelberg (2005)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison–Wesley Publishing Company, London (2002)
Czarnecki, K., Eisenecker, U.W.: Generative Programming. Addison Wesley, Reading (2000)
Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, Springer, Heidelberg (2004)
Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: Proceedings of the 5th International Conference on Generative Programming And Component Engineering (2006)
Czarnecki, K., Wąsowski, A.: Feature Diagrams and Logics: There and Back Again. In: Kellenberger (ed.) 15
Eén, N., Sörensen, N.: Translating Pseudo-Boolean Constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation (2006)
Janota, M., Kiniry, J.: Reasoning about Feature Models in Higher-Order Logic. In: Kellenberger (ed.) 15
Kyo, C., Kang, S.G., Cohen, J.A., Hess, W.E.: Novak, and A. Spencer Peterson. Feature-oriented domain analysis (FODA), feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University (November 1990)
Kavvadias, D.J., Sideri, M., Stavropoulos, E.C.: Generating all maximal models of a Boolean expression. Information Processing Letters 74(3-4), 157–162 (2000)
Kellenberger, P. (ed.): Software Product Lines Conference (2007)
Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, Springer, Heidelberg (2002)
McCarthy, J.: Circumscription—A Form of Non-Monotonic Reasoning. Artificial Intelligence 13, 27–39 (1980)
Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications. Springer, Heidelberg (1998)
Schobbens, P.-Y., Heymans, P., Trigaux, J.-C.: Feature Diagrams: A Survey and a Formal Semantics. In: Proceeding of 14th IEEE International Requirements Engineering Conference (RE) (2006)
Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2) (2002)
Software Engineering Institute. What is a software product line?, http://www.sei.cmu.edu/productlines/
Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE) (2007)
van der Storm, T.: Generic Feature-Based Software Composition. In: Proceedings of 6th International Symposium on Software Composition (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Janota, M., Botterweck, G. (2008). Formal Approach to Integrating Feature and Architecture Models. In: Fiadeiro, J.L., Inverardi, P. (eds) Fundamental Approaches to Software Engineering. FASE 2008. Lecture Notes in Computer Science, vol 4961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78743-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-78743-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78742-6
Online ISBN: 978-3-540-78743-3
eBook Packages: Computer ScienceComputer Science (R0)