Formal Approach to Integrating Feature and Architecture Models

• Published in: Fundamental Approaches to Software Engineering Vol. 4961; pp. 31 - 45
• Main Authors: Janota, Mikoláš, Botterweck, Goetz
• Format: Book Chapter
• Language: English
• Published: Germany Springer Berlin / Heidelberg 2008; Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Architecture Model; Component Model; Feature Model; Modeling Language; Propositional Logic
• ISBN: 3540787429; 9783540787426
• ISSN: 0302-9743; 1611-3349; 1611-3349
• DOI: 10.1007/978-3-540-78743-3_3

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.