Formal Approach to Integrating Feature and Architecture Models

@incollection{citeulike:2713972, 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.}, author = {Janota, Mikol\'{a}\v{s} and Botterweck, Goetz }, citeulike-article-id = {2713972}, doi = {10.1007/978-3-540-78743-3\_3}, journal = {Fundamental Approaches to Software Engineering}, keywords = {citas, citas-caise05, citas-jisbd06}, pages = {31--45}, posted-at = {2008-04-24 20:11:25}, priority = {2}, title = {Formal Approach to Integrating Feature and Architecture Models}, url = {http://dx.doi.org/10.1007/978-3-540-78743-3\_3}, year = {2008} }

TY - CHAP ID - citeulike:2713972 L3 - citeulike-article-id:2713972 TI - Formal Approach to Integrating Feature and Architecture Models JF - Fundamental Approaches to Software Engineering SP - 31 EP - 45 N2 - 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. KW - citas KW - citas-caise05 KW - citas-jisbd06 AU - Janota, Mikoláš AU - Botterweck, Goetz PY - 2008/// UR - http://dx.doi.org/10.1007/978-3-540-78743-3_3 ER -