Composing aspect models with graph transformations

ABSTRACT

This paper presents a new method for composing aspect models. The method is based on the use of a UML-based aspect modeling language to precisely and graphically specify model--level aspects and the use of graph transformations to define how aspects should be composed and to apply those compositions. The result is a method for representing and composing aspect-oriented models that is both scalable and expressive. The work is validated on an air traffic control example based on a NASA application.

REFERENCES

• 1: J. Araújo, J. Whittle and D-K. Kim, "Modeling and Composing Scenario-Based Requirements with Aspects", RE 2004, Kyoto, Japan, IEEE CS Press, 2004.
• 2: P. Bottoni, F. Parisi-Presicce, G. Taenzer, "Specifying Integrated Refactoring with Distributed Graph Transformations," AGTIVE '03, 227--272, 2003.
• 3: 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
• 4: D. Denery, H. Erzberger, T. Davis, S.Green and B. McNally, "Challenges of Air Traffic Management Research: Analysis, Simulation and Field Test". In AIAA Guidance, Navigation and Control Conference, 1997.
• 5: Robert B. France , Dae-Kyoo Kim , Sudipto Ghosh , Eunjee Song, A UML-Based Pattern Specification Technique, IEEE Transactions on Software Engineering, v.30 n.3, p.193-206, March 2004 [doi>10.1109/TSE.2004.1271174]
• 6: R. France, I. Ray, G. Georg and S. Ghosh, "An Aspect-Oriented Approach to Design Modeling", IEE Proceedings Software, Vol 151(4), pp. 174--186, August 2004.
• 7: Geri Georg , Robert B. France, UML Aspect Specification Using Role Models, Proceedings of the 8th International Conference on Object-Oriented. Information Systems, p.186-191, September 02-05, 2002
• 8: Michael Goedicke , Bettina Enders , Torsten Meyer , Gabriele Taentzer, ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation, Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, p.43-47, March 25-April 02, 2000
• 9: Dae-Kyoo Kim , Robert B. France, A meta-modeling approach to specifying patterns, 2004
• 10: Dae-Kyoo Kim , Robert France , Sudipto Ghosh , Eunjee Song, A Role-Based Metamodeling Approach to Specifying Design Patterns, Proceedings of the 27th Annual International Conference on Computer Software and Applications, p.452, November 03-06, 2003
• 11: Ana Moreira , Awais Rashid , Joao Araujo, Multi-Dimensional Separation of Concerns in Requirements Engineering, Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), p.285-296, August 29-September 02, 2005 [doi>10.1109/RE.2005.46]
• 12: Awais Rashid , Ana Moreira , Joāo Araújo, Modularisation and composition of aspectual requirements, Proceedings of the 2nd international conference on Aspect-oriented software development, p.11-20, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643605]
• 13: Indrakshi Ray , Na Li , Robert France , Dae-Kyoo Kim, Using uml to visualize role-based access control constraints, Proceedings of the ninth ACM symposium on Access control models and technologies, June 02-04, 2004, Yorktown Heights, New York, USA [doi>10.1145/990036.990054]
• 14: Grzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997
• 15: OMG: Revised submission for MOF 2.0 Query/View/Transformation RFP (ad/2002-04-10) (2005).
• 16: Américo Sampaio , Ruzanna Chitchyan , Awais Rashid , Paul Rayson, EA-Miner: a tool for automating aspect-oriented requirements identification, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101967]
• 17: S. Sendall, "Combining Generative and Graph Transformation Techniques for Model Transformation: An Effective Alliance?" OOPSLA '03 Workshop "Generative techniques in the context of MDA", 2003.
• 18: UML, version 2.0. Available from the Object Management Group, 2005, http://www.omg.org.
• 19: UMLAUT: Unified Modeling Language All pUrpose Transformer, http://www.irisa.fr/UMLAUT/.
• 20: J. Whittle and J. Araújo, "Scenario Modeling with Aspects", IEE Proceedings Software, Vol 151(4), pp. 157--172, 2004.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Languages

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)
      D.2.2 Design Tools and Techniques
          Subjects: Object-oriented design methods

General Terms:
Design, Languages

Keywords:
UML, aspect-orientation, graph transformation