Skip to main content
Springer Nature Link
Log in

Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework

  • Conference paper
Formal Aspects of Component Software (FACS 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6921))

Included in the following conference series:

  • 404 Accesses

Abstract

Aspect-Oriented Modeling (AOM) is an emerging solution for handling crosscutting concerns at the software modeling level in order to reduce the complexity of software models and application code. Most existing work on weaving aspects into UML design models is presented from a practical perspective and lacks formal syntax and semantics. In this paper, we propose formal specifications for aspect weaving into UML activity diagrams and the implementation strategies of the proposed weaving semantics. To this end, we define syntax for activity diagrams and UML aspects. We also show the correctness and the completeness of the matching and the weaving processes in terms of the semantics and the algorithms provided in this paper. Finally, we demonstrate the viability and the relevance of our propositions using a case study.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. OCaml for Scientists (2010), http://caml.inria.fr/pub/docs/manual-ocaml

  2. CUP: LALR Parser Generator for Java (2010), http://www2.cs.tum.edu/projects/cup/

  3. Eclipse QVT Operational (2010), http://www.eclipse.org/modeling/m2m/downloads/index.php?project=qvtoml

  4. Kermeta (2010), http://www.kermeta.org/

  5. MOF Query/View/Transformation, Version 1.0. (2010), http://www.omg.org/spec/QVT/1.0/

  6. Object Constraint Language, Version 2.2.(2010), http://www.omg.org/spec/OCL/2.2/

  7. SIP Communicator Web site (2010), http://sip-communicator.org/

  8. Unified Modeling Language (OMG UML): Superstructure, Version 2.2 (2010), http://www.omg.org/spec/UML/2.2/Superstructure/PDF/

  9. Aspect-Oriented Modeling Workshop Web site (2010), http://www.aspect-modeling.org/

  10. Cui, Z., Wang, L., Li, X., Xu, D.: Modeling and Integrating Aspects with UML Activity Diagrams. In: Shin, S.Y., Ossowski, S. (eds.) Proceedings of the Symposium on Applied Computing (SAC), pp. 430–437. ACM, New York (2009)

    Google Scholar 

  11. Fleurey, F., Baudry, B., France, R., Ghosh, S.: A Generic Approach for Automatic Model Composition. In: Proceedings of the Workshop on Aspect-Oriented Modeling, pp. 7–15. Springer, Heidelberg (2007)

    Google Scholar 

  12. Fuentes, L., Sánchez, P.: Designing and Weaving Aspect-Oriented Executable UML Models. Journal of Object Technology 6(7), 109–136 (2007)

    Article  Google Scholar 

  13. Groher, I., Voelter, M.: XWeave: Models and Aspects in Concert. In: Proceedings of the Workshop on Aspect-Oriented Modeling, pp. 35–40. ACM, New York (2007)

    Chapter  Google Scholar 

  14. IBM-Rational Software Modeler (2010), http://www.ibm.com/software/awdtools/modeler/swmodeler/

  15. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  16. Klein, J., Hélouët, L., Jézéquel, J.M.: Semantic-Based Weaving of Scenarios. In: Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), pp. 27–38. ACM, New York (2006)

    Chapter  Google Scholar 

  17. Morin, B., Klein, J., Barais, O., Jézéquel, J.: A Generic Weaver for Supporting Product Lines. In: Proceedings of the Workshop on Software Architectures and Mobility (EA), pp. 11–18. ACM, New York (2008)

    Google Scholar 

  18. Mouheb, D., Talhi, C., Nouh, M., Lima, V., Debbabi, M., Wang, L., Pourzandi, M.: Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. In: Lee, R., Ormandjieva, O., Abran, A., Constantinides, C. (eds.) SERA 2010. SCI, vol. 296, pp. 197–213. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  19. Sandhu, R., Ferraiolo, D., Kuhn, R.: The NIST Model for Role-Based Access Control: Towards A Unified Standard. In: Proc. of the ACM workshop on Role-Based Access Control, pp. 47–63 (2000)

    Google Scholar 

  20. Whittle, J., Jayaraman, P.: Mata: A Tool for AOM Based on Graph Transformation. In: Proceedings of the Aspect-Oriented Modeling Workshop, pp. 16–27. Springer, Heidelberg (2007)

    Google Scholar 

  21. Zhang, J., Cottenier, T., Berg, A., Gray, J.: Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver. Journal of Object Technology. Special Issue on Aspect-Oriented Modeling 6(7), 89–108 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Security Laboratory, Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada

    Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi & Lingyu Wang

  2. Ericsson Canada Inc., Montreal, Canada

    Makan Pourzandi

Authors
  1. Djedjiga Mouheb
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dima Alhadidi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mariam Nouh
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mourad Debbabi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Lingyu Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Makan Pourzandi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. HASLab (High Assurance Software Laboratory) and Dept. of Informatics, Universidade do Minho, Campus de Gualtar, 4700-320, Braga, Portugal

    Luís Soares Barbosa

  2. Faculty of Information and Communication Technologies, Swinburne University of Technology, P.O. Box 218, 3122, Hawthorn, VIC, Australia

    Markus Lumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mouheb, D., Alhadidi, D., Nouh, M., Debbabi, M., Wang, L., Pourzandi, M. (2012). Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. In: Barbosa, L.S., Lumpe, M. (eds) Formal Aspects of Component Software. FACS 2010. Lecture Notes in Computer Science, vol 6921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27269-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27269-1_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-27268-4

  • Online ISBN: 978-3-642-27269-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics