Ella Roubtsova


Model-driven software engineering community faces the problems related to the growing complexity of system models and their rapid evolution. These problems are similar to the problems of programming. Driven by the ideas of Aspect-Oriented Programming many modelling techniques were revised in attempts to find their ways to deal with model complexity and evolution. This paper presents an analysis of existing semantic groups of modelling approaches, their goals, pros and cons, advantages and restrictions. It is aimed to show the deep reason of the fact that particular composition semantics combined with the elegant idea of aspect weaving leads to heavy verification procedures after any change in the AOM model. This analysis reveals the elements of modelling semantics that simplify the verification procedures in AOM.


  1. Amálio, N. and Kelsen, P. (2010). VCL, a Visual Language for Modelling Software Systems Formally. In Diagrams, pages 282-284.
  2. Ammour, S. and Desfray, P. (2006). A Concern-based Technique for Architecture Modelling Using the UML Package Merge. M.Aksit and E.Roubtsova eds. Proceedings of ABMB2005, ENTCS, 163(1):7-18.
  3. Baniassad, E. and Clarke, S. (2004). Theme: An Approach for Aspect-Oriented Analysis and Design. ICSE 2004. Proceedings. 26th International Conference on Software Engineering. IEEE, pages 158-167.
  4. Cardone, R. and Lin, C. (2004). Using Mixin Technology to Improve Modularity. Aspect-Oriented Software Development. R.Filman, T.Elrad, S.Clarke, M.Aks¸it eds.Addison-Wesley, pages 219-241.
  5. Chitchyan, R., Rashid, A., Sawyer, P., Garcia, A., Alarcon, M., Bakker, J., Tekinerdogan, B., Clarke, S., and Chwif, L., Barretto, M. R. P., and Paul, R. (2000). On simulation model complexity. In WSC 7800: Proceedings of the 32nd conference on Winter simulation. Society for Computer Simulation International.
  6. Ciraci, S., Havinga, W. K., Aksit, M., Bockisch, C. M., and van den Broek, P. M. (2009). A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. Technical Report TR-CTIT09-39, Enschede.
  7. Clarke, S. and Baniassad, E. (2005). Aspect-Oriented Analysis and Design: The Theme Approach. Addison Wesley.
  8. Ebert, J. and Engels., G. (1994). Observable or invocable behaviour-you have to choose. Technical report. Universitt Koblenz, Koblenz, Germany.
  9. Filman, R., Elrad, T., Clarke, S., and Aks¸it, M. (2004). Aspect-Oriented Software Development. AddisonWesley.
  10. Filman, R. and Friedman, D. (2004). Aspect-Orineted Programming is Quantification and Obliviosness. AspectOriented Software Development. Addison-Wesley, pages 21-35.
  11. Harel, D. and Gery, E. (1997). Executable Object Modelling with Statecharts. IEEE Computer, 30(7), pages 31-42.
  12. Hoare, C. (1985). Communicating Sequential Processes. Prentice-Hall International.
  13. Hölzl, M. M., Knapp, A., and Zhang, G. (2010). Modeling the Car Crash Crisis Management System Using HiLA. T. Aspect-Oriented Software Development, 7:234-271.
  14. Holzl1, M., Knapp, A., and Zhang, G. (2010). Modeling the car crash crisis management system using HiLA. S. Katz et al. (Eds.): Transactions on AOSD VII, LNCS 6210, pages 234-271.
  15. Jackson, M. (2005). Problem frames and software engineering, volume 47. Butterworth-Heinemann.
  16. Katz, S. (2006). Aspect Categories and Classes of Temporal Properties. Transactions on Aspect-Oriented Software Development, LNCS 3880, pages 106-134.
  17. Kiczales, G. and Mezini, M. (2005). Aspect-Oriented Programming and Modular Reasoning. Proc. of the International Conference on Software Engineering, pages 49-58.
  18. Mahoney, M., Bader, A., Elrad, T., and Aldawud, O. (2004). Using Aspects to Abstract and Modularize Statecharts. In the 5th Aspect-Oriented Modeling Workshop In Conjunction with UML 2004.
  19. McNeile, A. and Roubtsova, E. (2008). CSP parallel composition of aspect models. AOM'08: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, pages 13-18.
  20. Neile, A. and Simons, N. (2003). State Machines as Mixins. Journal of Object Technology, 2(6):85-101.
  21. Meyer, B. (1991). Design by contract. Advances in ObjectOriented Software Engineering, eds. D. Mandrioli and B. Meyer, pages 1-50.
  22. Mosser, S., Blay-Fornarino, M., and France, R. (2010). Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. T. Aspect-Oriented Software Development, 7:200-233.
  23. OMG (2003). Unified Modeling Language: Superstructure version 2.1.1 formal/2007-02-03.
  24. Op de Beeck, S., Truyen, E., Boucke, N., Sanen, F., Bynens, M., and Joosen, W. (2006). A study of aspectoriented design approaches. Technical Report CW435, Department of Computer Science, Katholieke Universiteit Leuven.
  25. Reddy, R., Ghosh, S., France, R., and Straw, B. (2006). Directives for composing aspect-oriented design class models. Transactions on AOSD, LNCS 3880 , pages 75-105.
  26. Reina, A. M., Torres, J., and Toro, M. (2004). Separating Concerns by Means of UML-profiles and Metamodels in PIMs. In Proc. of the 5th Aspect-Oriented Modeling Workshop (UML04), Lisbon, Portugal.
  27. Robinson, S. (1994). Successful simulation: A practical approach to simulation projects. McGraw-Hill, Maidenhead,UK.
  28. Roubtsova, E. and McNeile., A. (2009). Abstractions, composition and reasoning. Proceedings of the 13th Intl Workshop on Aspect-Oriented Modeling, Charlottesville. Virginia, USA, ACM DL, pages 19-24.
  29. Schauerhuber, A., Schwinger, W., Kapsammer, E., Retschitzegger, W., and Wimmer, M. (2007). A survey on aspect-oriented modeling approaches. Technical report, E188 - Institut für Softwaretechnik und Interaktive Systeme; Technische Universität Wien.
  30. Stein, D. and Hanenberg, S. (2006). Why Aspect-Oriented Software Development And Model-Driven Development Are Not The Same - A Position Paper. M.Aksit and E.Roubtsova eds. Proceedings of ABMB2005, ENTCS, 163(1):71-82.
  31. Stein, D., Hanenberg, S., and Unland, R. (2005). Visualizing Join Point Selections Using Interaction-Based vs. State-Based Notations Exemplified With Help of Business Rules. EMISA-2005, pages 94-107.

Paper Citation

in Harvard Style

Roubtsova E. (2011). ASPECT-ORIENTATION IN MODELLING: LESSONS LEARNED . In Proceedings of the First International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-8425-68-3, pages 13-24. DOI: 10.5220/0004458100130024

in Bibtex Style

author={Ella Roubtsova},
booktitle={Proceedings of the First International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},

in EndNote Style

JO - Proceedings of the First International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
SN - 978-989-8425-68-3
AU - Roubtsova E.
PY - 2011
SP - 13
EP - 24
DO - 10.5220/0004458100130024