On the modularity of feature interactions

ABSTRACT

Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in a predefined sequence called a natural order. Recent work on virtual separation of concerns reveals a new model of feature interactions that shows that feature modules can be quantized as compositions of smaller modules called derivatives. We present this model and examine some of its consequences, namely, that (1) a given program can be reconstructed by composing features in any order, and (2) the contents of a feature module (as expressed as a composition of derivatives) is determined automatically by a feature order. We show that different orders allow one to adjust the contents of a feature module to isolate and study the impact of interactions that a feature has with other features. We also show the utility of generalizing safe composition (SC), a basic analysis of SPLs that verifies program type-safety, to demonstrate that every legal composition of derivatives (and thus any composition order of features) produces a type-safe program, which is a much stronger SC property.

REFERENCES

• 1: S. Apel and J. Liu. "On the Notion of Functional Aspects in Aspect-Oriented Refactoring", ADI Workshop 2006.
• 2: Sven Apel , Thomas Leich , Gunter Saake, Aspectual Feature Modules, IEEE Transactions on Software Engineering, v.34 n.2, p.162-180, March 2008 [doi>10.1109/TSE.2007.70770]
• 3: Sven Apel , Christian Kästner , Don Batory, Program refactoring using functional aspects, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA [doi>10.1145/1449913.1449938]
• 4: AHEAD Tool Suite, www.cs.utexas.edu/users/schwartz/index.html
• 5: Don Batory , Sean O'Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.4, p.355-398, Oct. 1992 [doi>10.1145/136586.136587]
• 6: Scaling Step-Wise Refinement, IEEE Transactions on Software Engineering, v.30 n.6, p.355-371, June 2004 [doi>10.1109/TSE.2004.23]
• 7: D. Batory. "Feature Models, Grammars, and Propositional Formulas", SPLC 2005.
• 8: Muffy Calder , Mario Kolberg , Evan H. Magill , Stephan Reiff-Marganiec, Feature interaction: a critical review and considered forecast, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.41 n.1, p.115-141, 15 January 2003 [doi>10.1016/S1389-1286(02)00352-3]
• 9: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 10: Krzysztof Czarnecki , Krzysztof Pietroszek, Verifying feature-based model templates against well-formedness OCL constraints, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1173706.1173738]
• 11: Salvador Trujillo , Maider Azanza , Oscar Diaz, Generative metaprogramming, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria [doi>10.1145/1289971.1289990]
• 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: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 16: C. H. P. Kim. Implementation accompanying GPCE 2008 submission available at www.cs.utexas.edu/~chpkim/gpce08
• 17: Jia Liu , Don Batory , Christian Lengauer, Feature oriented refactoring of legacy applications, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134303]
• 18: Nathaniel Nystrom , Stephen Chong , Andrew C. Myers, Scalable extensibility via nested inheritance, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada
• 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: Benjamin C. Pierce, Basic category theory for computer scientists, MIT Press, Cambridge, MA, 1991
• 21: C. Prehofer, "Feature Oriented Programming: A Fresh Look at Objects". ECOOP 1997.
• 22: Peri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302457]
• 23: Yannis Smaragdakis , Don Batory, Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.215-255, April 2002 [doi>10.1145/505145.505148]
• 24: Sahil Thaker , Don Batory , David Kitchin , William Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria [doi>10.1145/1289971.1289989]
• 25: Terry Hon , Gregor Kiczales, Fluid AOP join point models, Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1176617.1176687]
• 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: Jing Sun , Hongyu Zhang , Hai Wang, Formal Semantics and Verification for Feature Modeling, Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, p.303-312, June 16-20, 2005 [doi>10.1109/ICECCS.2005.48]
• 28: C. Kästner and S. Apel. "Type-checking Software Product Lines - A Formal Approach". ASE 2008.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition)

General Terms:
Design

Keywords:
derivatives, feature interactions, feature oriented software development, lifters, safe composition