Safe composition of non-monotonic features

GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering

Volumn , Issue , 2009, Pages 177-185

  Kuhlemann, Martin ^a   Batory, Don ^b   Kastner, Christian ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b University of Texas at Austin   (United States)

Author keywords

AHEAD; Feature oriented programming; Refactoring; Safe composition

Indexed keywords

FEATURE-ORIENTED PROGRAMMING; REFACTORINGS;

EID: 70450162652     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1621607.1621634     Document Type: Conference Paper

References (36)

1. S. Apel and C. Kästner. An overview of feature-oriented software development. Journal of Object Technology (JOT), 8(5):49-84, 2009.
2. S. Apel, C. Kästner, A. Größlinger, and C. Lengauer. Type-safe feature-oriented product lines. Technical report MIP-0909, Department of Informatics and Mathematics, University of Passau, 2009.
3. S. Apel, M. Kuhlemann, and T. Leich. Generic feature modules: Two-staged program customization. In Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pages 127-132, 2006.
4. S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Transactions on Software Engineering (TSE), 34(2):162-180, 2008.
5. S. Apel, C. Lengauer, B. Möller, and C. Kastner. An algebra for features and feature composition. In Proceedings ofthe Interna- tional Conference on Algebraic Methodology and Software Technology (AMAST), pages 36-50, 2008.
6. I. Balaban, F. Tip, and R. Fuhrer. Refactoring support for class library migration. In Proceedings ofthe International Conference on Object- OrientedProgramming, Systems, Languages, andApplications (OOPSLA), pages 265-279, 2005.
7. D. Batory. Feature models, grammars, and propositional formulas. In Proceedings ofthe International Software Product Line Conference (SPLC), pages 7-20, 2005.
8. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology (TOSEM), 1(4):355-398, 1992.
9. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Transactions on Software Engineering (TSE), 30(6):355-371, 2004.
10. D. Batory, V. Singhal, M. Sirkin, and J. Thomas. Scalable software libraries. In Proceedings ofthe International Symposium on Foundations of Software Engineering (FSE), pages 191-199, 1993.
11. K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 211-220, 2006.
12. K. Czarnecki and A. Wasowski. Feature diagrams and logics: There and back again. In Proceedings ofthe International Software Product Line Conference (SPLC), pages 23-34, 2007.
13. B. Delaware, W. Cook, and D. Batory. A machine-checked model of safe composition. In Workshop on Foundations of Aspect-Oriented Languages (FOAL), pages 31-35, 2009.
14. D. Dig, S. Negara, V. Mohindra, and R. Johnson. ReBA: Refactoring-aware binary adaptation of evolving libraries. In Proceedings of the International Conference on Software Engineering (ICSE), pages 441-450, 2008.
15. D. R. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), pages 191-210, 2004.
16. M. Fowler. Refactoring: Improving the design of existing code. Addison-Wesley Longman Publishing Co., Inc., 1999.
17. N. Juillerat and B. Hirsbrunner. Food: An intermediate model for automated refactoring. In International Conference on Software Methodologies, Tools and Techniques (SoMeT), pages 452-461, 2006.
18. K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, 1990.
19. C. Kastner and S. Apel. Type-checking software product lines - A formal approach. In Proceedings ofthe International Conference on Automated Software Engineering (ASE), pages 258-267, 2008.
20. C. Kastner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In Proceedings ofthe International Conference on Software Engineering (ICSE), pages 311-320, 2008.
21. C.H.P. Kim, C. Kastner, and D. Batory. On the modularity of feature interactions. In Proceedings ofthe International Conference on Generative Programming and Component Engineering (GPCE), pages 23-34, 2008.
22. C. W. Krueger. New methods in software product line practice. Communications of the ACM (CACM), 49(12):37-40, 2006.
23. M. Kuhlemann, D. Batory, and S. Apel. Refactoring feature modules. In Proceedings ofthe International Conference on Software Reuse (ICSR), 2009.
24. D. Lacey, N. D. Jones, E. Van Wyk, and C. C. Frederiksen. Proving correctness of compiler optimizations by temporal logic. In Proceedings ofthe International Symposium on Principles of Programming Languages (POPL), pages 283-294, 2002.
25. R. E. Lopez-Herrejon and D. Batory. A standard problem for evaluating product-line methodologies. In Proceedings of the International Symposium on Generative and Component-Based Software Engineering (GCSE), pages 10-24, 2001.
26. T. Mens, N. v. Eetvelde, D. Janssens, and S. Demeyer. Formalizing refactorings with graph transformations. Software Maintenance and Evolution: Research and Practice, 17(4):247-276, 2005.
27. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proceedings of the Conference on Design Automation (DAC), pages 530-535, 2001.
28. S. S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann Publishers Inc., 1997.
29. W. F. Opdyke. Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
30. D. L. Parnas. On the design and development of program families. IEEE Transactions on SoftwareEngineering (TSE), SE-2(1):1-9, 1976.
31. C. Prehofer. Feature-oriented programming: A fresh look at objects. In Proceedings ofthe European Conference on Object-Oriented Programming (ECOOP), pages 419-443, 1997.
32. D. B. Roberts. Practical analysis for refactoring. PhD thesis, University of Illinois at Urbana-Champaign, 1999.
33. P. Steyaert, C. Lucas, K. Mens, and T. D'Hondt. Reuse contracts: Managing the evolution of reusable assets. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 268-285, 1996.
34. M. Tatsubori, S. Chiba, M.-O. Killijian, and K. Itano. OpenJava: A class-based macro system for Java. In Workshop on Reflection and Software Engineering, pages 117-133, 2000.
35. S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe composition of product lines. In Proceedings ofthe International Conference on Generative Programming and Component Engineering (GPCE), pages 95-104, 2007.
36. D. L. Whitfield and M.L. Soffa. An approach for exploring code improving transformations. ACM Transactions on Programming Languages and Systems (TOPLAS), 19(6):1053-1084, 1997.