A toolkit for weaving aspect oriented UML designs

ABSTRACT

Separation of concerns is a basic engineering principle that is also at the core of object-oriented analysis and design methods in the context of the Unified Modeling Language (UML). The UML gives the designer a rich, but somehow disorganized, set of views on her model as well as many features, such as design pattern occurrences, stereotypes or tag values, allowing her to add non-functional information to a model. Aspect-oriented concepts are applied to manage the multitude of design constraints. However, it can then be an overwhelming task to reconcile the various aspects of a model into a working implementation. In this paper, we present our UMLAUT framework as a toolkit for easily building application specific "weavers" for generating detailed design models from high level, aspect oriented UML models. This is illustrated with a toy example of a distributed multimedia application with a weaving generating an implementation model. More ambitious applications are briefly outlined in the conclusion.

REFERENCES

• 1: M. Blaha , W. Premerlani, A catalog of object model transformations, Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96), p.87, November 08-10, 1996
• 2: Siobhán Clarke , William H. Harrison , Harold Ossher , Peri L. Tarr, Separating Concerns Throughout the Development Lifecycle, Proceedings of the Workshop on Object-Oriented Technology, p.299, June 14-18, 1999
• 3: Siobhán Clarke and John Murphy. Developing a tool to support the application of aspect-oriented programming principles to the design phase. In ICSE '98 Workshop Proceedings on Aspect-Oriented Programming Proceedings, 1998.
• 4: Laurent Dami. Software Composition: Towards an Integration of Functional and Object-Oriented Approaches. Ph.D. thesis, University of Geneva, 1994.
• 5: Philippe Desfray, Automation of Design Pattern: Concepts, Tools and Practices, Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation, p.120-131, June 03-04, 1998
• 6: Andy Evans. Reasoning with the Unified Modeling Language. In Proc. Workshop on Industrial-Strength Formal Specification Techniques ('WIFT'98)}, 1998.
• 7: Pascal Fradet and Mario Südholt. Aop: towards a generic framework using program transformation and analysis. In ECOOP'98 Workshop Proceedings on Aspect-Oriented Programming Proceedings, 1998.
• 8: 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
• 9: Martin Gogolla , Mark Richters, Transformation Rules for UML Class Diagrams, Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation, p.92-106, June 03-04, 1998
• 10: 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
• 11: Wai Ming Ho , Jean-Marc Jézéquel , Alain Le Guennec , François Pennaneac'h, UMLAUT: An Extendible UML Transformation Framework, Proceedings of the 14th IEEE international conference on Automated software engineering, p.275, October 12-15, 1999
• 12: Walter Hürsch and Cristina Videira Lopes. Separation of concerns. Technical report, Northeastern University, February 1995.
• 13: Elizabeth A. Kendall, Aspect-Oriented Programming for Role Models, Proceedings of the Workshop on Object-Oriented Technology, p.294-295, June 14-18, 1999
• 14: Gregor Kiczales, John Lamping, Anurag Menhdhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Akşit and Satoshi Matsuoka, editors, ECOOP '97 Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer-Verlag, New York, N.Y., June 1997.
• 15: Philippe Kruchten, The 4+1 View Model of Architecture, IEEE Software, v.12 n.6, p.42-50, November 1995 [doi>10.1109/52.469759]
• 16: Thomas Kühne, Internal Iteration Externalized, Proceedings of the 13th European Conference on Object-Oriented Programming, p.329-350, June 14-18, 1999
• 17: Kevin Lano and Juan Bicarregui. Formalising the UML in structured temporal theories. In Haim Kilov and Bernhard Rumpe, editors, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), pages 105-121. Technische Universität München, TUM-19813, 1998.
• 18: Konstantin Laufer. A framework for higher-order functions in C++. In USENIX Association, editor, Proceedings of the USENIX Conference on Object-Oriented Technologies (COOTS), pages 103-116, Berkeley, CA, USA, June 1995.
• 19: Alain Le Guennec, Gerson Sunyé, and Jean-Marc Jézéquel. -- Precise modeling of design patterns. --- In Proceedings of UML 2000, volume 1939 of LNCS, pages 482-496. Springer Verlag. 2000.
• 20: Anurag Mendhekar, Gregor Kiczales, and John Lamping. Rg: A case-study for aspect oriented programming. Technical report, Xerox Palo Alto Research Center, February 1997. Technical report SPL97-009 P9710044.
• 21: Mira Mezini , Karl Lieberherr, Adaptive plug-and-play components for evolutionary software development, ACM SIGPLAN Notices, v.33 n.10, p.97-116, Oct. 1998
• 22: OMG. UML notation guide.
• 23: William F. Opdyke, Refactoring object-oriented frameworks, University of Illinois at Urbana-Champaign, Champaign, IL, 1992
• 24: Donald B Roberts, Practical Analysis for Refactoring, University of Illinois at Urbana-Champaign, Champaign, IL, 1999
• 25: Siegfried Schönberger, Rudolf K. Keller, and Ismail Khriss. Algorithmic support for model transformation in object-oriented software development. Theory And Practice of Object Systems, 1999.
• 26: Junichi Suzuki , Yoshikazu Yamamoto, Extending UML with Aspects: Aspect Support in the Design Phase, Proceedings of the Workshop on Object-Oriented Technology, p.299-300, June 14-18, 1999
• 27: 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.4 Processors

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: UML
      D.3.3 Language Constructs and Features

General Terms:
Design, Languages