Towards a standard design language for AOSD

ABSTRACT

For aspect-oriented software development (AOSD) to live up to being a software engineering method, there must be support for the separation of crosscutting concerns across the development lifecycle. Part of this support is traceability from one lifecycle phase to another.This paper investigates the traceability between one particular AOSD design-level language, Theme/UML, and one particular AOSD implementation-level language, AspectJ. This provides for a means to assess these languages and their incompatibilities, with a view towards eventually developing a standard design language for a broad range of AOSD approaches.

REFERENCES

• 1: Mehmet Aksit , Lodewijk Bergmans , Sinan Vural, An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach, Proceedings of the European Conference on Object-Oriented Programming, p.372-395, June 29-July 03, 1992
• 2: K. Beck , W. Cunningham, A laboratory for teaching object oriented thinking, Conference proceedings on Object-oriented programming systems, languages and applications, p.1-6, October 02-06, 1989, New Orleans, Louisiana, United States
• 3: S. Clarke. Composition of Object-Oriented Software Design Models. Ph.D. thesis, Dublin City University, 2001.
• 4: Siobhán Clarke, Extending standard UML with model composition semantics, Science of Computer Programming, v.44 n.1, p.71-100, July 2002 [doi>10.1016/S0167-6423(02)00030-8]
• 5: Siobhán Clarke , William Harrison , Harold Ossher , Peri Tarr, Subject-oriented design: towards improved alignment of requirements, design, and code, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.325-339, November 01-05, 1999, Denver, Colorado, United States
• 6: Siobhán Clarke , Robert J. Walker, Composition patterns: an approach to designing reusable aspects, Proceedings of the 23rd International Conference on Software Engineering, p.5-14, May 12-19, 2001, Toronto, Ontario, Canada
• 7: Siobhan Clarke , Robert J. Walker, Separating Crosscutting Concerns Across the Lifecycle: From Composition Patterns to AspectJ and Hyper/J, University of British Columbia, Vancouver, BC, Canada, 2001
• 8: Desmond F. D'Souza , Alan Cameron Wills, Objects, components, and frameworks with UML: the catalysis approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 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: Martin L. Griss, Implementing product-line features by composing aspects, Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions, p.271-288, November 2000, Denver, Colorado, United States
• 11: William Harrison , Harold Ossher, Subject-oriented programming: a critique of pure objects, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.411-428, September 26-October 01, 1993, Washington, D.C., United States
• 12: Richard Helm , Ian M. Holland , Dipayan Gangopadhyay, Contracts: specifying behavioral compositions in object-oriented systems, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.169-180, September 1990, Ottawa, Canada
• 13: Wai-Ming Ho , Francois Pennaneac'h , Noel Plouzeau, UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs, Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33), p.324, June 05-08, 2000
• 14: Ian M. Holland, Specifying Reusable Components Using Contracts, Proceedings of the European Conference on Object-Oriented Programming, p.287-308, June 29-July 03, 1992
• 15: Elizabeth A. Kendall, Role model designs and implementations with aspect-oriented programming, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.353-369, November 01-05, 1999, Denver, Colorado, United States
• 16: 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
• 17: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. ECOOP. pp. 220-242, 1997. LNCS 1241.
• 18: A. Kleppe and J. Warmer. Unification of static and dynamic semantics of UML. Technical report, Klasse Objecten. 2001. http://www.klasse.nl/english/uml/unification-report-pdf.
• 19: Karl J. Lieberherr, Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns, PWS Publishing Co., Boston, MA, 1995
• 20: Gail C. Murphy , Albert Lai , Robert J. Walker , Martin P. Robillard, Separating features in source code: an exploratory study, Proceedings of the 23rd International Conference on Software Engineering, p.275-284, May 12-19, 2001, Toronto, Ontario, Canada
• 21: Object Management Group. The Unified Modeling Language Specification, Version 1.3, 1999.
• 22: François Pennaneac'h , Jean-Marc Jézéquel , Jacques Malenfant , Gerson Sunyé, UML Reflections, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.210-230, September 25-28, 2001
• 23: T. Reenskaug, P. Wold, and O. Lehne. Working with Objects: The OORam Software Engineering Method. Manning Publications Co., 1995.
• 24: Yannis Smaragdakis , Don S. Batory, Implementing Layered Designs with Mixin Layers, Proceedings of the 12th European Conference on Object-Oriented Programming, p.550-570, July 20-24, 1998
• 25: P. Tarr and H. Ossher. Hyper/J User and Installation Manual. IBM Research, 2000.
• 26: 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]
• 27: The AspectJ Team. The AspectJ programming guide, http://www.aspectj.org/, 2001.
• 28: Michael VanHilst , David Notkin, Using role components in implement collaboration-based designs, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.359-369, October 06-10, 1996, San Jose, California, United States
• 29: Robert J. Walker , Gail C. Murphy, Implicit context: easing software evolution and reuse, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.69-78, November 06-10, 2000, San Diego, California, United States
• 30: Jos Warmer , Anneke Kleppe, The object constraint language: precise modeling with UML, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Design languages

General Terms:
Standardization