Abstract features in feature modeling

Proceedings - 15th International Software Product Line Conference, SPLC 2011

Volumn , Issue , 2011, Pages 191-200

  Thüm, Thomas ^a   Kästner, Christian ^b   Erdweg, Sebastian ^b   Siegmund, Norbert ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

automated analyses; feature model; feature modeling; program families; software product lines

Indexed keywords

AUTOMATED ANALYSIS; FEATURE MODELING; FEATURE MODELS; PROGRAM FAMILY; SOFTWARE PRODUCT LINES;

ABSTRACTING; NETWORK ARCHITECTURE; SOFTWARE DESIGN;

SOFTWARE TESTING;

EID: 80054080510     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SPLC.2011.53     Document Type: Conference Paper

References (45)

1. K. Pohl, G. Böckle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
2. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, "Feature-Oriented Domain Analysis (FODA) Feasibility Study," Software Engineering Institute, Tech. Rep. CMU/SEI-90-TR-21, 1990.
3. J. Liebig, S. Apel, C. Lengauer, C. Kästner, and M. Schulze, "An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines," in Proc. Int'l Conf. Software Engineering (ICSE). IEEE Computer Society, 2010, pp. 105-114.
4. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An Overview of AspectJ," in Proc. Europ. Conf. Object-Oriented Programming (ECOOP), ser. LNCS, vol. 2072. Springer, 2001, pp. 327-354.
5. D. Batory, "AHEAD Tool Suite," Website, available online at http://userweb.cs.utexas.edu/users/schwartz/ATS/fopdocs/; visited on June 10th, 2011.
6. S. Apel, C. Kästner, and C. Lengauer, "FeatureHouse: Language-Independent, Automated Software Composition,"in Proc. Int'l Conf. Software Engineering (ICSE). IEEE Computer Society, 2009, pp. 221-231.
7. I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella, "Delta-Oriented Programming of Software Product Lines," in Proc. Int'l Software Product Line Conference (SPLC), ser. LNCS, vol. 6287. Springer, 2010, pp. 77-91.
8. K. Czarnecki and U. W. Eisenecker, Generative Programming: Methods, Tools, and Applications. ACM/Addison- Wesley, 2000.
9. D. Benavides, S. Segura, and A. Ruiz-Cortés, "Automated Analysis of Feature Models 20 Years Later: A Literature Review," Information Systems, vol. 35, no. 6, pp. 615-708, 2010.
10. D. Batory, "Feature Models, Grammars, and Propositional Formulas," in Proc. Int'l Software Product Line Conference (SPLC), ser. LNCS, vol. 3714. Springer, 2005, pp. 7-20.
11. S. Oster, F. Markert, and P. Ritter, "Automated Incremental Pairwise Testing of Software Product Lines," in Proc. Int'l Software Product Line Conference (SPLC), ser. LNCS, vol. 6287. Springer, 2010, pp. 196-210.
12. C. Kästner, S. Apel, T. Thüm, and G. Saake, "Type Checking Annotation-Based Product Lines," Transactions on Software Engineering and Methodology (TOSEM), 2011, to appear.
13. T. Thüm, "A Machine-Checked Proof for a Product-Line-Aware Type System," Master's thesis, University of Magdeburg, Germany, 2010.
14. S. Apel, C. Kästner, A. Größlinger, and C. Lengauer, "Type Safety for Feature-Oriented Product Lines," Automated Softw. Eng. (ASE), vol. 17, pp. 251-300, 2010.
15. I. Schaefer, L. Bettini, and F. Damiani, "Compositional Type-Checking for Delta-Oriented Programming," in Proc. Int'l Conf. Aspect-Oriented Software Development (AOSD). ACM, 2011, pp. 43-56.
16. T. Thüm, I. Schaefer, M. Kuhlemann, and S. Apel, "Proof Composition for Deductive Verification of Software Product Lines," in Proc. Int'l Workshop Variability-intensive Systems Testing, Validation and Verification (VAST), 2011, to appear.
17. N. Siegmund, M. Rosenmüller, C. Kästner, P. Giarrusso, S. Apel, and S. Kolesnikov, "Scalable Prediction of Nonfunctional Properties in Software Product Lines," in Proc. Int'l Software Product Line Conference (SPLC), 2011, to appear.
18. T. Thüm, D. Batory, and C. Kästner, "Reasoning about Edits to Feature Models," in Proc. Int'l Conf. Software Engineering (ICSE). IEEE Computer Society, 2009, pp. 254-264.
19. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps, "Generic Semantics of Feature Diagrams," Computer Networks, vol. 51, no. 2, pp. 456-479, 2007.
20. C. Kästner, T. Thüm, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, and S. Apel, "FeatureIDE: A Tool Framework for Feature-Oriented Software Development," in Proc. Int'l Conf. Software Engineering (ICSE). IEEE Computer Society, 2009, pp. 611-614, formal demonstration paper.
21. M. L. Griss, J. Favaro, and M. d'Alessandro, "Integrating Feature Modeling with the RSEB," in Proc. Int'l Conf. Software Reuse (ICSR). IEEE Computer Society, 1998, pp. 76-85.
22. T. Thüm, "Reasoning about Feature Model Edits," Bachelor's thesis, University of Magdeburg, Germany, 2008.
23. S. Apel and C. Kästner, "An Overview of Feature-Oriented Software Development," J. of Object Technology (JOT), vol. 8, no. 5, pp. 49-84, 2009.
24. D. Beuche, H. Papajewski, and W. Schröder-Preikschat, "Variability Management with Feature Models," Science of Computer Programming (SCP), vol. 53, no. 3, pp. 333-352, 2004.
25. C. Kästner, S. Apel, and M. Kuhlemann, "Granularity in Software Product Lines," in Proc. Int'l Conf. Software Engineering (ICSE). ACM, 2008, pp. 311-320.
26. F. Heidenreich, J. Kopcsek, and C. Wende, "FeatureMapper: Mapping Features to Models," in Companion Int'l Conf. Software Engineering (ICSE). ACM, 2008, pp. 943-944, informal demonstration paper.
27. J. C. King, "Symbolic Execution and Program Testing,"Commun. ACM, vol. 19, pp. 385-394, 1976.
28. C. W. Krueger, "Easing the Transition to Software Mass Customization," in Proc. Int'l Workshop on Software Product- Family Engineering (PFE), ser. LNCS, vol. 2290. Springer, 2002, pp. 282-293.
29. S. Thaker, D. Batory, D. Kitchin, and W. Cook, "Safe Composition of Product Lines," in Proc. Int'l Conf. Generative Programming and Component Engineering (GPCE). ACM, 2007, pp. 95-104.
30. J. Sincero and W. Schröder-Preikschat, "The Linux Kernel Configurator as a Feature Modeling Tool," in Proc. Int'l Software Product Line Conference (SPLC). Lero Int. Science Centre, University of Limerick, Ireland, 2008, pp. 257-260.
31. R. Tartler, J. Sincero, D. Lohmann, and W. Schröder- Preikschat, "Efficient Extraction and Analysis of Preprocessor-Based Variability," in Proc. Int'l Conf. Generative Programming and Component Engineering (GPCE). ACM, 2010, pp. 33-42.
32. 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 (RE). IEEE Computer Society, 2007, pp. 243-253.
33. J. Sun, H. Zhang, Y. F. Li, and H. Wang, "Formal Semantics and Verification for Feature Modeling," in Proc. Int'l Conf. Engineering of Complex Computer Systems (ICECCS). IEEE Computer Society, 2005, pp. 303-312.
34. Y. Bontemps, P. Heymans, P.-Y. Schobbens, and J.-C. Trigaux, "Semantics of Feature Diagrams," in Proc. Int'l Workshop on Software Variability Management for Product Derivation - Towards Tool Support (SVMPD), 2004.
35. D. Batory, R. E. Lopez-Herrejon, and J.-P. Martin, "Generating Product-Lines of Product-Families," in Proc. Int'l Conf. Automated Software Engineering (ASE). IEEE Computer Society, 2002, pp. 81-92.
36. J. White, B. Dougherty, and D. C. Schmidt, "Selecting Highly Optimal Architectural Feature Sets with Filtered Cartesian Flattening," J. of Systems and Software (JSS), vol. 82, no. 8, pp. 1268-1284, 2009.
37. M. Mendonca, M. Branco, and D. Cowan, "S.P.L.O.T.: Software Product Lines Online Tools," in Proc. Conf. Object- Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 2009, pp. 761-762.
38. R. Zippel, "LinuxKernelConf Documentation," Website, available online at http://www.xs4all.nl/~zippel/lc/ lkc-language.txt; visited on June 18th, 2010.
39. T. Berger, S. She, R. Lotufo, A. Wasowski, and K. Czarnecki, "Variability Modeling in the Real: a Perspective from the Operating Systems Domain," in Proc. Int'l Conf. Automated Software Engineering (ASE). ACM, 2010, pp. 73-82.
40. M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow, "Extending Feature Diagrams with UML Multiplicities," in Proc. World Conf. Integrated Design and Process Technology (IDPT), 2002.
41. R. Michel, A. Classen, A. Hubaux, and Q. Boucher, "A Formal Semantics for Feature Cardinalities in Feature Diagrams,"in Proc. Workshop Variability Modelling of Software-intensive Systems (VaMoS). ACM, 2011, pp. 82-89.
42. D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés, "Using Java CSP Solvers in the Automated Analyses of Feature Models," in Proc. Generative and Transformational Techniques in Software Engineering, ser. LNCS, vol. 4143. Springer, 2006, pp. 399-408.
43. M. Janota and J. Kiniry, "Reasoning about Feature Models in Higher-Order Logic," in Proc. Int'l Software Product Line Conference (SPLC). IEEE Computer Society, 2007, pp. 13-22.
44. K. Czarnecki and A. Wasowski, "Feature Diagrams and Logics: There and Back Again," in Proc. Int'l Software Product Line Conference (SPLC). IEEE Computer Society, 2007, pp. 23-34.
45. S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, "Reverse Engineering Feature Models," in Proc. Int'l Conf. Software Engineering (ICSE). ACM, 2011, pp. 461-470.