Fixture - A Tool for Automatic Inconsistencies Detection in Context-aware SPL

Paulo Alexandre da Silva Costa, Fabiana Gomes Marinho, Rossana Maria de Castro Andrade, Thalisson Oliveira

2015

Abstract

Software Product Lines (SPLs) have been used to provide support to the development of context-aware applications, which use context information to perform customized services aiming to satisfy users needs or environment restrictions. In this scenario, feature models have been also used to guide product adaptation process and to enable systematic reuse. However, a side effect of using those models is the accidental inclusion of inconsistencies that may imply in several errors in the adapted products. Moreover, context-aware applications are exposed to a contextual change flow, which increases the occurrence and effects of such erros. Therefore, mechanisms to check the inconsistencies are necessary before they become errors in the adapted product. Nevertheless, a manual checking is highly error prone. In particular, there are inconsistencies that can be detected only when they arise due to a specific adaptation. For those reasons, it is essencial to identify errors in the context-aware feature model before they yield incorrect adapted products. In this work, we present an Eclipse-based tool that supports the software engineer in the design of context-aware feature models and provides a simulation process to allow anticipating inconsistencies related to the adaptations.

References

  1. Abowd, G., Atkeson, C., Hong, J., Long, S., Kooper, R., and Pinkerton, M. (1997). Cyberguide: A mobile contextaware tour guide. Wireless Networks, 3:421-433. 10.1023/A:1019194325861.
  2. Acher, M., Collet, P., Fleurey, F., Lahire, P., Moisan, S., and Rigault, J.-P. (2009). Modeling Context and Dynamic Adaptations with Feature Models. In Proceedings of the 4th International Workshop Models@run.time, page 10, Ótats-Unis.
  3. Benavides, D., Segura, S., and Ruiz-Cortés, A. (2010). Automated analysis of feature models 20 years later: A literature review. Inf. Syst., 35(6):615-636.
  4. Benavides, D., Trinidad, P., and Ruiz-Cortés, A. (2005). Automated reasoning on feature models. In Pastor, O. and Falca˜o e Cunha, J., editors, Advanced Information Systems Engineering, volume 3520 of Lecture Notes in Computer Science, pages 381-390. Springer Berlin / Heidelberg.
  5. Clements, P. and Northrop, L. (2001). Software product lines: practices and patterns. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  6. Czarnecki, K. and Eisenecker, U. W. (2000). Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA.
  7. Fernandes, P., Werner, C., and Teixeira, E. (2011). An approach for feature modeling of context-aware software product line. Journal of Universal Computer Science, 17(5):807-829.
  8. Fernandes, P. and Werner, C. M. L. (2008). Ubifex: Modeling context-aware software product lines. In SPLC (2), pages 3-8.
  9. Filho, J. a. B. F., Barais, O., Baudry, B., Viana, W., and Andrade, R. M. C. (2012). An approach for semantic enrichment of software product lines. In Proceedings of the 16th International Software Product Line Conference - Volume 2, SPLC 7812, pages 188-195, New York, NY, USA. ACM.
  10. Hallsteinsen, S., Hinchey, M., Park, S., and Schmid, K. (2008). Dynamic software product lines. Computer, 41(4):93-95.
  11. Hartmann, H. and Trew, T. (2008). Using feature diagrams with context variability to model multiple product lines for software supply chains. In Software Product Line Conference, 2008. SPLC 7808. 12th International, pages 12 -21.
  12. Kang, K., Cohen, S., Hess, J., Novak, W., and Peterson, A. (1998). Feature-oriented domain analysis (foda) feasibility study. Technical report, SEI/CMU.
  13. Lee, J. and Kang, K. (2006). A feature-oriented approach to developing dynamically reconfigurable products in product line engineering. In Software Product Line Conference, 2006 10th International, pages 10 pp. - 140.
  14. Mannion, M. (2002). Using first-order logic for product line model validation. In Chastek, G., editor, Software Product Lines, volume 2379 of Lecture Notes in Computer Science, pages 149-202. Springer Berlin / Heidelberg. 10.1007/3-540-45652-X 11.
  15. Marinho, F., Andrade, R., and Werner, C. (2011). A verification mechanism of feature models for mobile and context-aware software product lines. In Software Components, Architectures and Reuse (SBCARS), 2011 Fifth Brazilian Symposium on, pages 1 -10.
  16. Marinho, F., Lima, F., Ferreira Filho, J., Rocha, L., Maia, M., de Aguiar, S., Dantas, V., Viana, W., Andrade, R., Teixeira, E., and Werner, C. (2010). A software product line for the mobile and context-aware applications domain. In Bosch, J. and Lee, J., editors, Software Product Lines: Going Beyond, volume 6287 of Lecture Notes in Computer Science, pages 346- 360. Springer Berlin / Heidelberg. 10.1007/978-3- 642-15579-6 24.
  17. Marinho, F. G., Maia, P. H. M., Andrade, R. M. C., Vidal, V. M. P., Costa, P. A. S., and Werner, C. (2012). Safe adaptation in context-aware feature models. In Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD 7812, pages 54-61, New York, NY, USA. ACM.
  18. Poslad, S. (2009). Front Matter. John Wiley & Sons, Ltd.
  19. Rincó n, L., Giraldo, G., Mazo, R., and Salinesi, C. (2014). An ontological rule-based approach for analyzing dead and false optional features in feature models. Electronic Notes in Theoretical Computer Science, 302(0):111 - 132. Proceedings of the fXXXIXg Latin American Computing Conference (CLEI 2013).
  20. Schilit, B., Adams, N., and Want, R. (1994). Contextaware computing applications. In Mobile Computing Systems and Applications, 1994. WMCSA 1994. First Workshop on, pages 85-90.
  21. Sipser, M. (2006). Introduction to the Theory of Computation. Thomson Course Technology.
  22. Van Deursen, A. and Klint, P. (2004). Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1):1-17.
  23. Wagelaar, D. (2005). Towards context-aware feature modelling using ontologies. In MoDELS 2005 workshop onMDD for Software Product Lines: Fact or Fiction.
Download


Paper Citation


in Harvard Style

Alexandre da Silva Costa P., Marinho F., Andrade R. and Oliveira T. (2015). Fixture - A Tool for Automatic Inconsistencies Detection in Context-aware SPL . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 114-125. DOI: 10.5220/0005373501140125


in Bibtex Style

@conference{iceis15,
author={Paulo Alexandre da Silva Costa and Fabiana Gomes Marinho and Rossana Maria de Castro Andrade and Thalisson Oliveira},
title={Fixture - A Tool for Automatic Inconsistencies Detection in Context-aware SPL},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={114-125},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005373501140125},
isbn={978-989-758-097-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Fixture - A Tool for Automatic Inconsistencies Detection in Context-aware SPL
SN - 978-989-758-097-0
AU - Alexandre da Silva Costa P.
AU - Marinho F.
AU - Andrade R.
AU - Oliveira T.
PY - 2015
SP - 114
EP - 125
DO - 10.5220/0005373501140125