Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines

  • Gefei Zhang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7349)


Mutual exclusion is a very common requirement in parallel systems. Yet its modeling is a tedious task in UML state machines, one of the most popular languages for behavior modeling. We present HiLA, an aspect-oriented extension of UML state machines, to address this problem. In HiLA, mutual exclusion can be modeled in a highly modular and declarative way. That is, the logic of mutual exclusion is modeled at a dedicated place rather than by model elements scattered all over the state machine, and the modeler only needs to specify which states to mutually exclude rather than how to exclude them.


State Machine Graph Transformation Mutual Exclusion Composite State Concrete Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ali, S., Briand, L.C., Arcuri, A., Walawege, S.: An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 108–122. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design: the Theme Approach. Addison-Wesley (2005)Google Scholar
  3. 3.
    Drusinsky, D.: Modeling and Verification Using UML Statecharts. Elsevier (2006)Google Scholar
  4. 4.
    Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.): MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)Google Scholar
  5. 5.
    Ge, J.-W., Xiao, J., Fang, Y.-Q., Wang, G.-D.: Incorporating Aspects into UML State Machine. In: Proc. Advanced Computer Theory and Engineering (ICACTE 2010). IEEE (2010)Google Scholar
  6. 6.
    Hanenberg, S., Stein, D., Unland, R.: From Aspect-Oriented Design to Aspect-Oriented Programs: Tool-Supported Translation of JPDDs into Code. In: Barry, B.M., de Moor, O. (eds.) Proc 6th Int. Conf. Aspect-Oriented Software Development (AOSD 2007), pp. 49–62. ACM (2007)Google Scholar
  7. 7.
    Jayaraman, P.K., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels et al. [4], pp. 151–165Google Scholar
  8. 8.
    Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using Aspects to Abstract and Modularize Statecharts. In: Proc. 5th Int. Wsh. Aspect-Oriented Modeling, Lisboa (2004)Google Scholar
  9. 9.
    OMG, Unified Modeling Languague Superstructure, Version 2.4.1. Specification, Object Management Group (2011),
  10. 10.
    Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Zhang, G.: Aspect-Oriented State Machines. PhD thesis, Ludwig-Maximilians-Universität München (2010)Google Scholar
  12. 12.
    Zhang, G.: Aspect-Oriented UI Modeling with State Machines. In: Van den Bergh, J., Sauer, S., Breiner, K., Hußmann, H., Meixner, G., Pleuss, A. (eds.) Proc. 5th Int. Wsh. Model-Driven Development of Advanced User Interfaces (MDDAUI 2010), pp. 45–48 (2010)Google Scholar
  13. 13.
    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
  14. 14.
    Zhang, G., Hölzl, M.: Improving the Modularity of Web-Application Models with Aspects (submitted, 2012)Google Scholar
  15. 15.
    Zhang, G., Hölzl, M.: Weaving Semantic Aspects in HiLA. In: Hirschfeld, R., Tanter, É., Sullivan, K.J., Gabriel, R.P. (eds.) Proc. 11th Int. Conf. Aspect-Oriented Software Development (AOSD 2012), pp. 263–274. ACM (2012)Google Scholar
  16. 16.
    Zhang, G., Hölzl, M., Knapp, A.: Enhancing UML State Machines with Aspects. In: Engels et al. [4], pp. 529–543Google Scholar
  17. 17.
    Zhang, J., Cottenier, T., van den Berg, A., Gray, J.: Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver. Journal of Object Technology 6(7), 89–108 (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Gefei Zhang
    • 1
  1. 1.arvato systems Technologies GmbHGermany

Personalised recommendations