On the modularity of feature interactions

GPCE'08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2008, Pages 23-33

  Kim, Chang Hwan Peter ^a   Kästner, Christian ^b   Batory, Don ^a  

^a University of Texas at Austin   (United States)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Derivatives; Feature interactions; Feature oriented software development; Lifters; Safe composition

Indexed keywords

BUILDING BLOCKS; DIFFERENT ORDERS; FEATURE INTERACTIONS; FEATURE ORDERS; FEATURE ORIENTED SOFTWARE DEVELOPMENT; FEATURE-BASED; LIFTERS; NEW MODELS; PROGRAM SYNTHESIS; SAFE COMPOSITION; SEPARATION OF CONCERNS; SOFTWARE PRODUCT LINES; TYPE SAFETIES;

SOFTWARE DESIGN;

CHEMICAL ANALYSIS;

EID: 78650423164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449913.1449919     Document Type: Conference Paper

References (28)

1. S. Apel and J. Liu. "On the Notion of Functional Aspects in Aspect-Oriented Refactoring", ADI Workshop 2006.
2. S. Apel, T. Leich, and G. Saake. "Aspectual Feature Modules". IEEE TSE, April 2008.
3. S. Apel, C. Kästner, and D. Batory, "Program Refactoring using Functional Aspects". GPCE 2008.
4. AHEAD Tool Suite, www.cs.utexas.edu/users/schwartz/index.html
5. D. Batory and S. O'Malley. "The Design and Implementation of Hierarchical Software Systems with Reusable Components". ACM TOSEM, October 1992.
6. D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling Step-Wise Refinement", IEEE TSE, June 2004.
7. D. Batory. "Feature Models, Grammars, and Propositional Formulas", SPLC 2005.
8. M. Calder, M. Kolberg, E.H. Magill, and S. Reiff-Marganiec. "Feature Interaction: A critical Review and Considered Forecast". Computer Networks, January 2003.
9. K. Czarnecki and U. Eisenecker. Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
10. K. Czarnecki and K. Pietroszek. "Verification of Feature-Based Model Templates Against Well-Formedness OCL Constraints". GPCE 2006.
11. S. Trujillo, M. Azanza, and O. Diaz. "Generative Metaprogramming", GPCE 2007.
12. C. Kästner, S. Apel, and M. Kuhlemann. "Granularity in Software Product Lines". ICSE 2008.
13. C. Kästner, M. Kuhlemann, and D. Batory. "Automating Feature-Oriented Refactoring of Legacy Applications", ECOOP 2006 Poster Paper.
14. C. Kästner, S. Apel, S. Trujillo, M. Kuhlemann, and D. Batory. "Language-Independent Safe Decomposition of Legacy Applications into Features". TR #2, School of Computer Science, University of Magdeburg, Germany, March 2008.
15. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kirsten, J. Palm, W.G. Griswold. "An Overview of AspectJ", ECOOP 2001.
16. C. H. P. Kim. Implementation accompanying GPCE 2008 submission available at www.cs.utexas.edu/~chpkim/gpce08
17. J. Liu, D. Batory, and C. Lengauer. "Feature Oriented Refactoring of Legacy Applications", ICSE 2006.
18. N. Nystrom, S. Chong, A.C. Myers. "Scalable Extensibility via Nested Inheritance". OOPSLA 2004.
19. M. Odersky, P. Altherr, V. Cremet, I. Dubochet, B. Emir, S. McDirmid, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman, L. Spoon, and M. Zenger. "An Overview of the Scala Programming Language". September 2004, EPFL Technical Report IC/2004/64.
20. B. Pierce. Basic Category Theory for Computer Scientists, MIT Press, 1991.
21. C. Prehofer, "Feature Oriented Programming: A Fresh Look at Objects". ECOOP 1997.
22. P. Tarr, H. Ossher, W. Harrison, and S.M. Sutton. "N Degrees of Separation: Multi-Dimensional Separation of Concerns", ICSE 1999.
23. Y.Smaragdakis and D. Batory. "Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs". ACM TOSEM, April 2002.
24. S. Thaker, D. Batory, D. Kitchin, and W. Cook, "Safe Composition of Product Lines ",GPCE 2007.
25. T. Hon and G. Kiczales. "Fluid AOP Join Point Models". OOPSLA Companion 2006.
26. S. Thaker. "Design and Analysis of Multidimensional Program Structures", MA thesis, The University of Texas at Austin, 2006. Available at ftp://ftp.cs.utexas.edu/pub/predator/SahilThesis.pdf
27. J. Sun, H. Zhang, and H. Wang. "Formal Semantics and Verification for Feature Modeling". ICECCS 2005.
28. C. Kästner and S. Apel. "Type-checking Software Product Lines - A Formal Approach". ASE 2008.