Modeling and integrating aspects with UML activity diagrams

ABSTRACT

Dealing with crosscutting concerns has been a critical problem in software development processes. Aspect-Oriented Programming (AOP) provides a viable programming-level solution by separating crosscutting concerns from primary concerns. To facilitate handling crosscutting concerns at earlier software development phases, this paper proposes an aspect-oriented modeling and integration approach at the design level. In our approach, primary concerns are depicted with UML activity diagrams as primary models, whereas crosscutting concerns are described with aspectual extended activity diagrams as aspect models. Each aspect model consists of pairs of pointcut and advice model. Aspect models can be integrated into primary models automatically. To this end, a prototype tool called Jasmine-AOI has been implemented as an Eclipse plug-in. With the tool support, we have conducted two case studies, including 15 primary models and 8 aspect models. The case studies demonstrate that our approach can greatly facilitate reasoning about crosscutting concerns when a system is modeled with activity diagrams.

REFERENCES

• 1: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP, pp. 220--242, 1997.
• 2: OMG, UML Superstructure v2.1:, http://www.omg.org/technology/documents/formal/uml.htm.
• 3: 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
• 4: R. Reddy, A. Solberg, R. France, and S. Ghosh. Composing Sequence Model Using Tags. In MoDELS workshop on Aspect-Oriented Modeling, 2006.
• 5: Ashley McNeile , Ella Roubtsova, CSP parallel composition of aspect models, Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, p.13-18, April 01-01, 2008, Brussels, Belgium [doi>10.1145/1404920.1404923]
• 6: Lidia Fuentes , Pablo Sánchez, Towards executable aspect-oriented UML models, Proceedings of the 10th international workshop on Aspect-oriented modeling, p.28-34, March 12-12, 2007, Vancouver, Canada [doi>10.1145/1229375.1229380]
• 7: 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]
• 8: R. B. France, I. Ray, G. Georg, and S. Ghosh. Aspect-Oriented Approach to Early Design Modelling. IEE Proceedings - Software, 151(4): 173--186, 2004.
• 9: Dianxiang Xu , Weifeng Xu, State-based incremental testing of aspect-oriented programs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119680]
• 10: R. C. Bjork. ATM. http://www.mathcs.gordon.edu/courses/cs211/ATMExample/.
• 11: Ivar Jacobson , Pan-Wei Ng, Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series), Addison-Wesley Professional, 2004
• 12: Dianxiang Xu , Kendall E. Nygard, Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets, IEEE Transactions on Software Engineering, v.32 n.4, p.265-278, April 2006 [doi>10.1109/TSE.2006.40]
• 13: G. Zhang, M. M. Hölzl, and A. Knapp. Enhancing UML State Machines with Aspects. In MoDELS, pp. 529--543, 2007.
• 14: Y. R. Reddy, S. Ghosh, R. B. France, G. Straw, J. M. Bieman, N. McEachen, E. Song, and G. Georg. Directives for Composing Aspect-Oriented Design Class Models. T. Aspect-Oriented Software Development I, pp. 75--105, 2006.
• 15: Dianxiang Xu , Izzat Alsmadi , Weifeng Xu, Model Checking Aspect-Oriented Design Specification, Proceedings of the 31st Annual International Computer Software and Applications Conference, p.491-500, July 24-27, 2007 [doi>10.1109/COMPSAC.2007.152]
• 16: J. Whittle, A. Moreira, J. Araújo, P. K. Jayaraman, A. M. Elkhodary, and R. Rabbi. An Expressive Aspect Composition Language for UML State Diagrams. In MoDELS, pp. 514--528, 2007.
• 17: J.-M. Jézéquel. Model Driven Design and Aspect Weaving. Journal of Software and Systems Modeling (SoSyM), 7(2): 209--218, May 2008.
• 18: Jacques Klein , Loïc Hélouët , Jean-Marc Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119662]

INDEX TERMS

General Terms:
Design

Keywords:
UML activity diagram, aspect-oriented modeling, crosscutting concern, integration