Consistency checking for the evolution of cardinality-based feature models

ACM International Conference Proceeding Series

Volumn 1, Issue , 2014, Pages 122-131

  Quinton, Clément ^a   Pleuss, Andreas ^b   Le Berre, Daniel ^c   Duchien, Laurence ^a   Botterweck, Goetz ^b  

^a INRIA   (France)

^b UNIVERSITY OF LIMERICK   (Ireland)

^c UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Cardinality; Consistency; Edit; Feature model

Indexed keywords

COMPUTER SOFTWARE;

CARDINALITIES; CARDINALITY-BASED FEATURE; CLOUD COMPUTING ENVIRONMENTS; CONSISTENCY; EDIT; EMPIRICAL EVALUATIONS; FEATURE MODELING; INCONSISTENCY DETECTION;

SOFTWARE DESIGN;

EID: 84907815649     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1145/2648511.2648524     Document Type: Conference Paper

References (29)

1. V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba, and C. Lucena. Refactoring Product Lines. In GPCE'06, pages 201-210. ACM, 2006.
2. D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Inf. Syst., 35(6):615-636, 2010.
3. D. L. Berre and A. Parrain. The Sat4j library, release 2.2. JSAT, 7(2-3):59-6, 2010.
4. C. Bessiere, H. Fargier, and C. Lecoutre. Global Inverse Consistency for Interactive Constraint Satisfaction. In CP 2013, pages 159-174. Springer, 2013.
5. G. Botterweck and A. Pleuss. Evolution of software product lines. In Evolving Software Systems, pages 265-295. Springer, 2014.
6. K. Czarnecki, S. Helsen, and U. W. Eisenecker. Formalizing Cardinality-based Feature Models and their Specialization. Software Process: Improvement and Practice, 10(1):7-29, 2005.
7. K. Czarnecki, S. Helsen, and U. W. Eisenecker. Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process: Improvement and Practice, 10(2):143-169, 2005.
8. K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In International Workshop on Software Factories at OOPSLA'05. ACM, 2005.
9. Y. Dutuit and A. Rauzy. Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety, 58(2):127-144, 1997.
10. J. Guo, Y. Wang, P. Trinidad, and D. Benavides. Consistency Maintenance for Evolving Feature Models. Expert Syst. Appl., 39(5):4987-4998, 2012.
11. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA)-Feasibility Study. Technical report, The Software Engineering Institute, 1990.
12. R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wąsowski. Evolution of the Linux Kernel Variability Model. In SPLC'10, pages 136-150. Springer, 2010.
13. R. Michel, A. Classen, A. Hubaux, and Q. Boucher. A Formal Semantics for Feature Cardinalities in Feature Diagrams. In VaMoS'11, pages 82-89. ACM, 2011.
14. L. Neves, L. Teixeira, D. Sena, V. Alves, U. Kulezsa, and P. Borba. Investigating the Safe Evolution of Software Product Lines. In GPCE'11, pages 33-42. ACM, 2011.
15. A. Osman, S. Phon-Amnuaisuk, and C. K. Ho. Knowledge Based Method to Validate Feature Models. In SPLC'08 Workshops, pages 217-225. Lero, 2008.
16. P. Paskevicius, R. Damasevicius, and V. Štuikys. Change Impact Analysis of Feature Models. In ICIST 2012, pages 108-122. Springer, 2012.
17. L. Passos, K. Czarnecki, and A. Wąsowski. Towards a Catalog of Variability Evolution Patterns: The Linux Kernel Case. In FOSD'12, pages 62-69. ACM, 2012.
18. L. Passos, J. Guo, L. Teixeira, K. Czarnecki, A. Wąsowski, and P. Borba. Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel. In SPLC'13, pages 91-100. ACM, 2013.
19. A. Pleuss, G. Botterweck, D. Dhungana, A. Polzer, and S. Kowalewski. Model-driven Support for Product Line Evolution on Feature Level. J. Syst. Softw., 85(10):2261-2274, 2012.
20. K. Pohl, G. Böckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
21. C. Quinton, D. Romero, and L. Duchien. Cardinality-based Feature Models with Constraints: A Pragmatic Approach. In SPLC'13, pages 162-166. ACM, 2013.
22. C. Quinton, D. Romero, and L. Duchien. Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles. In IEEE CLOUD, 2014.
23. R. Rabiser, P. Grünbacher, and D. Dhungana. Requirements for product derivation support: Results from a systematic literature review and an expert survey. Inf. Softw. Technol., 52(3):324-346, 2010.
24. M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending Feature Diagrams with UML Multiplicities. In IDPT 2002, 2002.
25. P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: A survey and a formal semantics. In RE'06, pages 136-145. IEEE Computer Society, 2006.
26. C. Seidl, F. Heidenreich, and U. Aßmann. Co-evolution of Models and Feature Mapping in Software Product Lines. In SPLC'12, pages 76-85. ACM, 2012.
27. D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework. Addison-Wesley, 2009.
28. T. Thüm, D. Batory, and C. Kastner. Reasoning About Edits to Feature Models. In ICSE'09, pages 254-264. IEEE Computer Society, 2009.
29. P. Trinidad and A. Ruiz-Cortés. Abductive Reasoning and Automated Analysis of Feature Models: How are they connected? In VaMos'09, page 145-153. Universität Duisburg-Essen, 2009.