Edicts: implementing features with flexible binding times

ABSTRACT

In a software product line, the binding time of a feature is the time at which one decides to include or exclude a feature from a product. Typical binding site implementations are intended to support a single binding time only, e.g., compile time or run time. Sometimes, however, a product line must support features with variable binding times. For instance, a product line may need to include both embedded system configurations, in which features are selected and optimized early, and desktop configurations, in which client programs choose features on demand.

We present a new technique for implementing the binding sites of features that require flexible binding times. Our technique combines design patterns and aspect-oriented programming: a pattern encapsulates the variation point, and targeted aspects---called edicts---set the binding times of the pattern participants. We describe our approach and demonstrate its usefulness by creating a middleware product line capable of serving the desktop and embedded domains. Our product line is based on JacORB, a middleware platform with many dynamically configurable features. By using edicts to select features at compile time, we create a version of JacORB more suited to resource-constrained environments. By configuring four JacORB subsystems via edicts, we achieve a 32.2% reduction in code size. Our examples show that our technique effectively modularizes binding-time concerns, supporting both compile-time optimization and run-time flexibility as needed.

REFERENCES

• 1: V. Chakravarthy. Adaptive product line design using aspects and design patterns. Master's thesis, University of Utah, 2008.
• 2: Software product lines: practices and patterns, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 3: Charles Consel , Luke Hornof , François Noël , Jacques Noyé , Nicolae Volansche, A Uniform Approach for Compile-Time and Run-Time Specialization, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.54-72, February 12-16, 1996
• 4: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 5: E. Dolstra, G. Florijn, and E. Visser. Timeline variability: The variability of binding time of variation points. In Proc. of the 2003 Workshop on Software Variability Management (SVM), pages 119--122, Gronigen, The Netherlands, Feb. 2003.
• 6: Eric Eide , Alastair Reid , John Regehr , Jay Lepreau, Static and dynamic structure in design patterns, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581367]
• 7: C. Fritsch, A. Lehn, and T. Strohm. Evaluating variability implementation mechanisms. In Proc. of the 2002 Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing (PLEES), pages 59--64, Seattle, WA, Nov. 2002.
• 8: Critina Gacek , Michalis Anastasopoules, Implementing product line variabilities, Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, p.109-117, May 2001, Toronto, Ontario, Canada
• 9: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 10: A. Garcia, C. Sant'Anna, E. Figueiredo, U. Kulesza, C. Lucena, and A. von Staa. Modularizing design patterns with aspects: A quantitative study. In Transactions on Aspect-Oriented Software Development, volume 3880 of LNCS, pages 36--74. Springer, 2006.
• 11: Jan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 12: Ivar Jacobson , Martin Griss , Patrik Jonsson, Software reuse: architecture, process and organization for business success, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1997
• 13: JacORB. http://www.jacorb.org/.
• 14: K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-Oriented Domain Analysis (FODA) feasibility study. Software Engineering Institute Technical Report CMU/SEI-90TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1990.
• 15: Arvind S. Krishna , Aniruddha S. Gokhale , Douglas C. Schmidt, Context-specific middleware specialization techniques for optimizing software product-line architectures, Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, April 18-21, 2006, Leuven, Belgium
• 16: E. Lafortune. ProGuard. http://proGuard.sourceforge.net/.
• 17: R. E. Lopez-Herrejon, D. Batory, and W. Cook. Evaluating support for features in advanced modularization technologies. In Proc. of the 19th European Conf. on Object-Oriented Programming (ECOOP), pages 169--194, Glasgow, UK, July 2005.
• 18: Ulrik P. Schultz , Julia L. Lawall , Charles Consel, Specialization Patterns, Proceedings of the 15th IEEE international conference on Automated software engineering, p.197, September 11-15, 2000
• 19: Sony Ericsson. Symbian OS Docs&Tools. http://developer.sonyericsson.com/site/global/docstools/symbian/p_symbian.jsp.
• 20: Kevin Sullivan , William G. Griswold , Yuanyuan Song , Yuanfang Cai , Macneil Shonle , Nishit Tewari , Hridesh Rajan, Information hiding interfaces for aspect-oriented design, Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, September 05-09, 2005, Lisbon, Portugal
• 21: Mikael Svahnberg , Jan Bosch, Issues Concerning Variability in Software Product Lines, Proceedings of the International Workshop on Software Architectures for Product Families, p.146-157, March 15-17, 2000
• 22: Mikael Svahnberg , Jilles van Gurp , Jan Bosch, A taxonomy of variability realization techniques: Research Articles, Software—Practice & Experience, v.35 n.8, p.705-754, July 2005 [doi>10.1002/spe.v35:8]
• 23: Rob van Ommering, Building product populations with software components, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581373]
• 24: Charles Zhang , Dapeng Gao , Hans-Arno Jacobsen, Towards just-in-time middleware architectures, Proceedings of the 4th international conference on Aspect-oriented software development, p.63-74, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052904]
• 25: Charles Zhang , Hans-Arno Jacobsen, Resolving feature convolution in middleware systems, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors

Additional Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Management