Flexible features: making feature modules more reusable

ABSTRACT

A growing trend in software construction advocates the encapsulation of software building blocks as features which better match the specification of requirements. As a result, programmers find it easier to design and compose different variations of their systems. Feature-oriented programming (FOP) is the research domain that targets this trend. We argue that the state-of-the-art techniques for FOP have shortcomings because they specify a feature as a set of building blocks rather than a transition that has to be applied on a software system in order to add that feature's functionality to the system.

We propose to specify features as sets of first-class change objects which can add, modify or delete building blocks to or from a software system. We evaluate this approach by implementing a simple text editor in a feature-oriented way and use the implementation to produce four different program variations. This shows that our approach contributes to FOP on three levels: expressiveness, composition verification and bottom-up feature-oriented development.

REFERENCES

• 1: S. Apel, T. Leich, M. Rosenmüller, and G. Saake. Featurec++: On the symbiosis of feature-oriented and aspect-oriented programming. In R. Glück and M. R. Lowry, editors, GPCE, volume 3676 of Lecture Notes in Computer Science, pages 125--140. Springer, 2005.
• 2: D. S. Batory. A tutorial on feature oriented programming and the ahead tool suite. In GTTSE, pages 3--35, 2006.
• 3: Lodewijk Bergmans , Mehmet Aksit, Composing crosscutting concerns using composition filters, Communications of the ACM, v.44 n.10, p.51-57, Oct. 2001 [doi>10.1145/383845.383857]
• 4: Marcus Denker , Tudor Gîrba , Adrian Lienhard , Oscar Nierstrasz , Lukas Renggli , Pascal Zumkehr, Encapsulating and exploiting change with changeboxes, Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007, August 25-31, 2007, Lugano, Switzerland [doi>10.1145/1352678.1352681]
• 5: Peter Ebraert , Jorge Vallejos , Pascal Costanza , Ellen Van Paesschen , Theo D'Hondt, Change-oriented software engineering, Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007, August 25-31, 2007, Lugano, Switzerland [doi>10.1145/1352678.1352680]
• 6: P. Ebraert, E. Van Paesschen, and T. D'Hondt. Change-oriented round-trip engineering. Technical report, Vrije Universiteit Brussel, 2007.
• 7: D. B. Ed Jung, Chetan Kapoor. Automatic code generation for actuator interfacing from a declarative specification. In International Conference on Intelligent Robots and Systems, 2005. (IROS 2005). 2005 IEEE/RSJ, pages 2839--2844, 2005.
• 8: E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.
• 9: 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, Carnegie-Mellon University Software Engineering Institute, November 1990.
• 10: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming. Springer-Verlag, June 1997.
• 11: T. Männistö, T. Soininen, and R. Sulonen. Modeling configurable products and software product families. In in Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2001) - Workshop on Configuration, 2001.
• 12: Michael Meyer , Tudor Gîrba , Mircea Lungu, Mondrian: an agile information visualization framework, Proceedings of the 2006 ACM symposium on Software visualization, September 04-05, 2006, Brighton, United Kingdom [doi>10.1145/1148493.1148513]
• 13: Sathit Nakkrasae , Peraphon Sophatsathit, A formal approach for specification and classification of software components, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy [doi>10.1145/568760.568892]
• 14: C. Prehofer. Feature-Oriented Programming: A Fresh Look at Objects. Lecture Notes in Computer Science, 1241:419--434, 1997.
• 15: Romain Robbes , Michele Lanza, A Change-based Approach to Software Evolution, Electronic Notes in Theoretical Computer Science (ENTCS), 166, p.93-109, January, 2007 [doi>10.1016/j.entcs.2006.06.015]
• 16: Barbara G. Ryder , Frank Tip, Change impact analysis for object-oriented programs, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.46-53, June 2001, Snowbird, Utah, United States [doi>10.1145/379605.379661]
• 17: 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]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.13 Reusable Software

General Terms:
Algorithms, Design, Management, Verification

Keywords:
change-oriented software engineering, feature-oriented programming, separation of crosscutting concerns