Safe adaptation in context-aware feature models

  • Authors:

  • Fabiana G. Marinho;Paulo H. M. Maia;Rossana M. C. Andrade;Vania M. P. Vidal;Paulo A. S. Costa;Claudia Werner

  • Affiliations:

  • Federal University of Ceará, Fortaleza, Brazil;GREat Federal University of Ceará, Fortaleza, Brazil;Federal University of Ceará, Fortaleza, Brazil;Federal University of Ceará, Fortaleza, Brazil;Federal University of Ceará, Fortaleza, Brazil;Federal University of Rio de Janeiro, Brazil

  • Venue:
  • FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.