Reasoning about edits to feature models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 254-264

  Thüm, Thomas ^a   Batory, Don ^b   Kästner, Christian ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEFORE AND AFTER; FEATURE MODELS; REFACTORINGS; SOFTWARE PRODUCT LINES;

COMPUTER SOFTWARE;

EID: 70349550878     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070526     Document Type: Conference Paper

References (40)

1. V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba, and C. J. P. de Lucena. Refactoring Product Lines. In Proc. Int'l Conf. Generative Programming and Component Engineering, pages 201-210. ACM, 2006.
2. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, 1998.
3. D. Batory. Feature Models, Grammars, and Propositional Formulas. In Proc. Int'l Software Product Line Conference, volume 3714 of LNCS, pages 7-20. Springer, 2005.
4. D. Batory, R. E. Lopez-Herrejon, and J.-P. Martin. Generating Product-Lines of Product-Families. In Proc. Int'l Conf. Automated Software Engineering, pages 81-92. IEEE Computer Society, 2002.
5. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Softw. Eng., 30(6):355-371, 2004.
6. D. Benavides. On the Automated Analysis of Software Product Lines Using Feature Models - A Framework for Developing Automated Tool Support. PhD thesis, University of Seville, Spain, 2007.
7. D. Benavides, A. Ruiz-Corts, P. Trinidad, and S. Segura. A Survey on the Automated Analyses of Feture Models. Jornadas de Ingeniera del Software y Bases de Datos, pages 367-376, 2006.
8. D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés. A First Step Towards a Framework for the Automated Analysis of Feature Models. In Proc. Managing Variability for Software Product Lines: Working With Variability Mechanisms, pages 39-47, 2006.
9. D. Benavides, P. Trinidad, and A. Ruiz-Cortés. Using Constraint Programming to Reason on Feature Models. In Proc. Int'l Conf. on Software Engineering and Knowledge Engineering, pages 677-682, 2005.
10. H. K. Buning and T. Letterman. Propositional Logic: Deduction and Algorithms. Cambridge University Press, 1999.
11. E. M. Clarke, I. A. Draghicescu, and R. P. Kurshan. A unified approach for showing language containment and equivalence between various types of !-automata. In Information Processing Letters, Vol. 46, pages 301-308, 1993.
12. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. ACM Press/Addison-Wesley, 2000.
13. K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing Cardinality-Based Feature Models and their Specialization. Software Process: Improvement and Practice, 10:7-29, 2005.
14. 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.
15. K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In Proc. of Int'l OOPSLA Workshop on Software Factories, pages 16-20, 2005.
16. K. Czarnecki and A. Wasowski. Feature Diagrams and Logics: There and Back Again. In Proc. Int'l Software Product Line Conference, pages 23-34. IEEE Computer Society, 2007.
17. K. D. Forbus and J. de Kleer. Building problem solvers. MIT Press, 1993.
18. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2000.
19. M. L. Griss, J. Favaro, and M. d' Alessandro. Integrating Feature Modeling with the RSEB. In Proc. Int'l Conf. on Software Reuse, pages 76-85, 1998.
20. M. Janota and J. Kiniry. Reasoning about Feature Models in Higher-Order Logic. In Proc. Int'l Software Product Line Conference, pages 13-22. IEEE Computer Society, 2007.
21. 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 CMU/SEI-90-TR-21, Software Engineering Institute, 1990.
22. C. Kästner and S. Apel. Type-checking Software Product Lines - A Formal Approach. In Proc. Int'l Conf. on Automated Software Engineering (ASE), pages 258-267. IEEE Computer Society, 2008.
23. C. Kästner, S. Apel, and D. Batory. A case study implementing features using AspectJ. In Proc. Int'l Software Product Line Conference, pages 223-232. IEEE Computer Society, 2007.
24. C. Kästner, T. Thüm, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, and S. Apel. FeatureIDE: Tool Framework for Feature-Oriented Software Development. In Proc. Int'l Conf. on Software Engineering. IEEE, 2009. Formal Demonstration.
25. C. H. P. Kim and K. Czarnecki. Synchronizing Cardinality-Based Feature Models and Their Specializations. In Proc. European Conf. on Model Driven Architecture - Foundations and Applications, volume 3748 of LNCS, pages 331-348. Springer, 2005.
26. F. Loesch and E. Ploedereder. Optimization of Variability in Software Product Lines. In Proc. Int'l Software Product Line Conference, pages 161-170. IEEE Computer Society, 2007.
27. R. Lopez-Herrejon and D. Batory. A standard problem for evaluating product-line methodologies. In Proc. Int'l Conf. Generative and Component-Based Software Engineering, pages 10-24. Springer, 2001.
28. M. Mannion. Using First-Order Logic for Product Line Model Validation. In Proc. Int'l Software Product Line Conference, volume 2379 of LNCS, pages 176-187. Springer, 2002.
29. M. Mendonca, A. Wasowski, K. Czarnecki, and D. Cowan. Efficient Compilation Techniques for Large Scale Feature Models. In Proc. Int'l Conf. Generative Programming and Component Engineering, pages 13-22. ACM, 2008.
30. A. Metzger, K. Pohl, P. Heymans, P.-Y. Schobbens, and G. Saval. Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In Proc. Int'l Conf. Requirements Engineering, pages 243-253. IEEE Computer Society, 2007.
31. J. Nielsen. Usability Engineering. Morgan Kaufmann, 1994.
32. K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
33. M. Rosenmüller et al. FAME-DBMS: Tailor-made Data Management Solutions for Embedded Systems. In Proc. EDBT Workshop on Software Engineering for Tailor-made Data Management, pages 1-6. ACM, 2008.
34. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps. Generic Semantics of Feature Diagrams. Computer Networks, 51(2):456-479, 2007.
35. J. Spolsky. User Interface Design for Programmers. Springer, 2001.
36. M. Steger, C. Tischer, B. Boss, A.Müller, O. Pertler,W. Stolz, and S. Ferber. Introducing PLA at Bosch Gasoline Systems: Experiences and Practices. In Proc. Int'l Software Product Line Conference, volume 3154 of LNCS, pages 34-50. Springer, 2004.
37. J. Sun, H. Zhang, Y. F. Li, and H. Wang. Formal Semantics and Verification for Feature Modeling. In Proc. Int'l Conf. on Engineering of Complex Computer Systems, pages 303-312. IEEE Computer Society, 2005.
38. S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe Composition of Product Lines. In Proc. Int'l Conf. Generative Programming and Component Engineering, pages 95-104. ACM, 2007.
39. T. Thüm. Reasoning about Feature Model Edits. Bachelor's thesis, University of Magdeburg, Germany, 2008.
40. J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-Cort́es. Automated Diagnosis of Product-line Configuration Errors in Feature Models. In Proc. Int'l Software Product Line Conference. IEEE Computer Society, 2008.