Safe adaptation in context-aware feature models
Fabiana G. Marinho, Paulo Henrique M. Maia, Rossana M. C. Andrade, Vânia Maria Ponte Vidal, Paulo A. S. Costa, Cláudia Maria Lima Werner · 2012
Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use context information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models.