Towards executable aspect-oriented UML models

ABSTRACT

Aspect-Oriented technologies, including Aspect-Oriented Modeling, introduces a set of new constructions, e.g., advices or pointcuts, that improve the modularization of crosscutting concerns. These new constructions can make it more difficult to understand or visualize how a system works after the different (design) modules are composed together. A straightforward and simple mechanism to observe how a system works is to execute it. UML and its Action Semantics provide the foundations for modeling and executing object-oriented software systems. This paper presents an aspect-oriented extension to the UML and its Action Semantics for the construction and execution of aspect-oriented models. Before executing such aspect-oriented models, they must be weaved. The corresponding model weaver is also presented in this paper.

REFERENCES

• 1: Siobhàn Clarke , Elisa Baniassad, Aspect-Oriented Analysis and Design, Addison-Wesley Professional, 2005
• 2: T. Cottenier, A. V. de Berg, and T. Elrad. Modeling aspect oriented compositions. In J.-M. Bruel, editor, Satellite Events at the MoDELS 2005 Conference, volume 3844 of LNCS, pages 100--109, Montego Bay (Jamaica), October 2005.
• 3: T. Cottenier, A. van den Berg, and T. Elrad. Motorola weavr: Model weaving in a large industrial context. In Proc. of the 6th Int. Conference on Aspect-Oriented Software Development, Industry Track (AOSD), addresss = Vancouver (British Columbia, Canada), month = March, year = 2007, note = Available at http://www.iit.edu/~concur/weavr/papers/.
• 4: T. Cottenier, A. van den Berg, and T. Elrad. Model weaving: Bridging the divide between elaborationists and translationists. In Proc. of 9th Int. Workshop on Aspect-Oriented Modeling (AOM), 9th Int. Conf. on Model Driven Engineering, Languages and Systems (MODELS), Genova (Italy), October 2006.
• 5: Rémi Douence , Pascal Fradet , Mario Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, p.173-188, October 06-08, 2002
• 6: L. Fuentes and P. Sánchez. Elaborating UML 2.0 Profiles for AO Design. In 8th Workshop on Aspect-Oriented Modeling (AOM), 5th Int. Conf. on Aspect-Oriented Software Development (AOSD), Bonn (Germany), March 2006.
• 7: Stephen J. Mellor , Marc Balcer , Ivar Jacoboson, Executable UML: A Foundation for Model-Driven Architectures, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 8: Object Management Group (OMG). MOF 2.0/XMI Mapping Specification, v2.1 (formal/05-09-01), 2005. http://www.omg.org/cgi-bin/apps/doc?formal/05-09-01.pdf.
• 9: Object Management Group (OMG). Semantics of a Foundational Subset for Executable UML Models Request For Proposal (ad/2005-04-02), April 2005. http://www.omg.org/docs/ad/05-04-02.pdf.
• 10: Object Management Group (OMG). Unified Modeling Language: Superstructure v2.0 (formal/05-07-04). Chapter 5: Actions, 2005. http://www.omg.org/docs/formal/07-02-03.pdf.
• 11: Mónica Pinto , Lidia Fuentes , José María Troya, A Dynamic Component and Aspect-Oriented Platform, The Computer Journal, v.48 n.4, p.401-420, July 2005 [doi>10.1093/comjnl/bxh083]
• 12: R. Chitchyan et al. Report synthesizing state-of-the-art in aspect-oriented requirements engineering, architectures and design. AOSD-Europe Deliverable D11, AOSD-Europe-ULANC-9, May 2005. http://www.aosd-europe.net/deliverables/d11.pdf.
• 13: Dominik Stein , Stefan Hanenberg , Rainer Unland, Expressing different conceptual models of join point selections in aspect-oriented design, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119661]
• 14: Gerson Sunyé , François Pennaneac'h , Wai-Ming Ho , Alain Le Guennec , Jean-Marc Jézéquel, Using UML Action Semantics for Executable Modeling and Beyond, Proceedings of the 13th International Conference on Advanced Information Systems Engineering, p.433-447, June 04-08, 2001
• 15: Davy Suvée , Wim Vanderperren , Viviane Jonckers, JAsCo: an aspect-oriented approach tailored for component based software development, Proceedings of the 2nd international conference on Aspect-oriented software development, p.21-29, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643606]
• 16: Eddy Truyen , Bart Vanhaute , Bo Nørregaard Jørgensen , Wouter Joosen , Pierre Verbaeton, Dynamic and selective combination of extensions in component-based applications, Proceedings of the 23rd International Conference on Software Engineering, p.233-242, May 12-19, 2001, Toronto, Ontario, Canada
• 17: World Wide Web Consortium (W3C). XML Path Language (XPath) Version 1.0, 1999.

INDEX TERMS

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

General Terms:
Design, Languages, Verification

Keywords:
aspect-oriented UML 2.0 profiles, aspect-oriented design languages, aspect-oriented model weaver, aspect-oriented modeling