Aspect-Oriented Model Development at Different Levels of Abstraction

  • Mauricio Alférez
  • Nuno Amálio
  • Selim Ciraci
  • Franck Fleurey
  • Jörg Kienzle
  • Jacques Klein
  • Max Kramer
  • Sebastien Mosser
  • Gunter Mussbacher
  • Ella Roubtsova
  • Gefei Zhang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6698)


The last decade has seen the development of diverse aspect-oriented modeling (AOM) approaches. This paper presents eight different AOM approaches that produce models at different level of abstraction. The approaches are different with respect to the phases of the development lifecycle they target, and the support they provide for model composition and verification. The approaches are illustrated by models of the same concern from a case study to enable comparing of their expressive means. Understanding common elements and differences of approaches clarifies the role of aspect-orientation in the software development process.


Aspect-oriented modeling localization of concerns composition verification localization of reasoning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alférez, M., Santos, J., Moreira, A., Garcia, A., Kulesza, U., Araújo, J., Amaral, V.: Multi-View Composition Language for Software Product Line Requirements. In: van den Brand, M., Gašević, D., Gray, J. (eds.) SLE 2009. LNCS, vol. 5969, pp. 103–122. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  2. 2.
    Amálio, N., Kelsen, P.: Modular Design by Contract Visually and Formally using VCL. In: VL/HCC 2010 (2010)Google Scholar
  3. 3.
    Amálio, N., Kelsen, P., Ma, Q., Glodt, C.: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. TAOSD VII, 151–199 (2010)Google Scholar
  4. 4.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)zbMATHGoogle Scholar
  5. 5.
    Ciraci, S., Havinga, W.K., Aksit, M., Bockisch, C.M., van den Broek, P.M.: A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. Technical Report TR-CTIT-09-39, Enschede (September 2009)Google Scholar
  6. 6.
    Clarke, S., Walker, R.J.: Generic Aspect-Oriented Design with Theme/UML. In: Aspect-Oriented Software Development, pp. 425–458. Addison-Wesley, Reading (2005)Google Scholar
  7. 7.
    Kienzle, J., Abed, W.A., Klein, J.: Aspect-Oriented Multi-View Modeling. In: AOSD 2009, pp. 87–98. ACM Press, New York (March 2009)Google Scholar
  8. 8.
    Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis Management Systems: a Case Study for Aspect-Oriented Modeling. TAOSD 7, 1–22 (2010)Google Scholar
  9. 9.
    McNeile, A., Roubtsova, E.: CSP Parallel Composition of Aspect Models. In: AOM 2008, pp. 13–18 (2008)Google Scholar
  10. 10.
    McNeile, A., Simons, N.: Protocol Modelling. A Modelling Approach that Supports Reusable Behavioural Abstractions. SoSyM 5(1), 91–107 (2006)Google Scholar
  11. 11.
    Mosser, S., Blay-Fornarino, M., Riveill, M.: Web Services Orchestration Evolution: A Merge Process For Behavioral Evolution. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol. 5292, pp. 35–49. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Mussbacher, G., Amyot, D.: Extending the User Requirements Notation with Aspect-oriented Concepts. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 115–132. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  13. 13.
    Filman, R., Elrad, T., Clarke, S., Akşit, M.: Aspect-Oriented Software Development. Addison-Wesley, Reading (2004)Google Scholar
  14. 14.
    Tarr, P., Ossher, H., Harrison, W., Stanley, J., Sutton, M.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: ICSE 1999 (1999)Google Scholar
  15. 15.
    Zhang, G., Hölzl, M.: HiLA: High-Level Aspects for UML State Machines. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 104–118. Springer, Heidelberg (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Mauricio Alférez
    • 1
  • Nuno Amálio
    • 2
  • Selim Ciraci
    • 3
  • Franck Fleurey
    • 4
  • Jörg Kienzle
    • 5
  • Jacques Klein
    • 2
  • Max Kramer
    • 6
  • Sebastien Mosser
    • 7
  • Gunter Mussbacher
    • 8
  • Ella Roubtsova
    • 9
    • 10
  • Gefei Zhang
    • 11
  1. 1.Universidade Nova de LisboaPortugal
  2. 2.University of LuxembourgLuxembourg
  3. 3.University of TwenteThe Netherlands
  4. 4.SINTEF IKTNorway
  5. 5.McGill UniversityCanada
  6. 6.Karlsruhe Institute of TechnologyGermany
  7. 7.INRIA Lille - Nord EuropeFrance
  8. 8.SCE, Carleton UniversityCanada
  9. 9.Open University of the NetherlandsThe Netherlands
  10. 10.Munich University of Applied SciencesGermany
  11. 11.Ludwig-Maximilians-Universität München and arvato systemsGermany

Personalised recommendations