Feature Model Composition Assisted by Formal Concept Analysis

Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut

Abstract

In the domain of software product lines, Feature Models (FM) play a central role in variability modeling, completed by configuration collections (from concrete software product lines), logical representations, constraint programming or conceptual structures, coming from the field of Formal Concept Analysis (FCA). The development of feature models may take several forms, including their synthesis from configuration collections or their design in several steps (by several teams or with different concerns). FM composition (merge) operators are part of that design activity as they assist their iterative building. In this paper, we describe an approach, based on two main merging semantics (intersection and union), which assists designers in merging several FMs. This approach benefits from the help of FCA to represent all the FMs with the same configuration set through a canonical form. We describe the implementation of our approach and present a set of concrete examples.

References

  1. Acher, M., Collet, P., Lahire, P., and France, R. B. (2009). Composing feature models. In van den Brand, M., Gasevic, D., and Gray, J., editors, Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers, volume 5969 of Lecture Notes in Computer Science, pages 62-81. Springer.
  2. Acher, M., Collet, P., Lahire, P., and France, R. B. (2010). Comparing approaches to implement feature model composition. In Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings, pages 3-19.
  3. Acher, M., Combemale, B., Collet, P., Barais, O., Lahire, P., and France, R. (2013). Composing your Compositions of Variability Models. In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), volume Lecture Notes in Computer Science, page 17 p., Miami, United States.
  4. Al-Msie'deen, R., Huchard, M., Seriai, A., Urtado, C., and Vauttier, S. (2014). Reverse engineering feature models from software configurations using formal concept analysis. In 11th Int. Conf. on Concept Lattices and Their Applications (ICFCA)., pages 95-106.
  5. Al-Msie'deen, R., Seriai, A., Huchard, M., Urtado, C., Vauttier, S., and Salman, H. E. (2013). Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing. In 25th Conf. on Soft. Eng. and Know. Eng. (SEKE), pages 244-249.
  6. Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., and de Lucena, C. J. P. (2006). Refactoring product lines. In Jarzabek, S., Schmidt, D. C., and Veldhuizen, T. L., editors, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pages 201-210. ACM.
  7. Batory, D. S. (2005). Feature Models, Grammars, and Propositional Formulas. In 9th Int. Conf. on Soft. Product Lines (SPLC), pages 7-20.
  8. Bécan, G., Sannier, N., Acher, M., Barais, O., Blouin, A., and Baudry, B. (2014). Automating the formalization of product comparison matrices. In Crnkovic, I., Chechik, M., and Grünbacher, P., editors, ACM/IEEE International Conference on Automated Software Engineering, ASE 7814, Vasteras, Sweden - September 15 - 19, 2014, pages 433-444. ACM.
  9. Carbonnel, J., Bertet, K., Huchard, M., and Nebut, C. (2016). FCA for software product lines representation: Mixing product and characteristic relationships in a unique canonical representation. In Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, Moscow, Russia, July 18-22, 2016., pages 109-122.
  10. Czarnecki, K. and Wasowski, A. (2007). Feature Diagrams and Logics: There and Back Again. In 11th Int. Conf. on Soft. Product Lines (SPLC), pages 23-34.
  11. Ganter, B. and Wille, R. (1999). Formal concept analysis - mathematical foundations. Springer.
  12. Heymans, P., Schobbens, P., Trigaux, J., Bontemps, Y., Matulevicius, R., and Classen, A. (2008). Evaluating formal properties of feature diagram languages. IET Software, 2(3):281-302.
  13. Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., and Peterson, A. S. (1990). Feature-Oriented Domain Analysis (FODA): Feasibility Study. Technical Report CMU/SEI-90-TR-21 - ESD-90-TR-222.
  14. Krueger, C. W. (2002). Practical strategies and techniques for adopting software product lines. In Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools (ICSR-7), pages 349- 350.
  15. Loesch, F. and Ploedereder, E. (2007). Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations. In11th Eur. Conf. on Soft. Maintenance and Reengineering (CSMR), pages 159-170.
  16. Niu, N. and Easterbrook, S. M. (2009). Concept analysis for product line requirements. In 8th Int. Conf. on AspectOriented Software Development (AOSD), pages 137- 148.
  17. Pohl, K., B öckle, G., and van der Linden, F. J. (2005). Software Product Line Engineering: Foundations, Principles, and Techniques. Springer Science & Business Media.
  18. Ryssel, U., Ploennigs, J., and Kabitzsch, K. (2011). Extraction of feature models from formal contexts. In 15th Int. Conf. on Soft. Product Lines (SPLC) Workshop Proceedings (Vol. 2), page 4.
  19. Salman, H. E., Seriai, A., and Dony, C. (2013). Feature-tocode traceability in a collection of software variants: Combining formal concept analysis and information retrieval. In 14th Conf. on Inf. Reuse and Integration (IRI), pages 209-216.
  20. Schobbens, P., Heymans, P., Trigaux, J., and Bontemps, Y. (2007). Generic semantics of feature diagrams. Computer Networks, 51(2):456-479.
  21. Segura, S., Benavides, D., Cortés, A. R., and Trinidad, P. (2007). Automated merging of feature models using graph transformations. In Lämmel, R., Visser, J., and Saraiva, J., editors, Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers, volume 5235 of Lecture Notes in Computer Science, pages 489-505. Springer.
  22. Shatnawi, A., Seriai, A.-D., and Sahraoui, H. (2015). Recovering architectural variability of a family of product variants. In 14th Int. Conf. on Soft. Reuse (ICSR), pages 17-33.
  23. She, S., Lotufo, R., Berger, T., Wasowski, A., and Czarnecki, K. (2011). Reverse engineering feature models. In 33rd Int. Conf. on Software Engineering, (ICSE), pages 461-470.
  24. Wray, T., Outrata, J., and Eklund, P. W. (2016). Scalable performance of fcbo algorithm on museum data. In Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, Moscow, Russia, July 18-22, 2016., pages 363-376.
  25. Xue, Y., Xing, Z., and Jarzabek, S. (2012). Feature location in a collection of product variants. In 19th Working Conf. on Reverse Engineering (WCRE), pages 145- 154.
Download


Paper Citation


in Harvard Style

Carbonnel J., Huchard M., Miralles A. and Nebut C. (2017). Feature Model Composition Assisted by Formal Concept Analysis . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-250-9, pages 27-37. DOI: 10.5220/0006276600270037


in Bibtex Style

@conference{enase17,
author={Jessie Carbonnel and Marianne Huchard and André Miralles and Clémentine Nebut},
title={Feature Model Composition Assisted by Formal Concept Analysis},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2017},
pages={27-37},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006276600270037},
isbn={978-989-758-250-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Feature Model Composition Assisted by Formal Concept Analysis
SN - 978-989-758-250-9
AU - Carbonnel J.
AU - Huchard M.
AU - Miralles A.
AU - Nebut C.
PY - 2017
SP - 27
EP - 37
DO - 10.5220/0006276600270037