Modeling the Car Crash Crisis Management System Using HiLA

  • Matthias Hölzl
  • Alexander Knapp
  • Gefei Zhang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6210)


An aspect-oriented modeling approach to the Car Crash Crisis Management System (CCCMS) using the High-Level Aspect (HiLA) language is described. HiLA is a language for expressing aspects for UML static structures and UML state machines. In particular, HiLA supports both a static graph transformational and a dynamic approach of applying aspects. Furthermore, it facilitates methodologically turning use case descriptions into state machines: for each main success scenario, a base state machine is developed; all extensions to this main success scenario are covered by aspects. Overall, the static structure of the CCCMS is modeled in 43 classes, the main success scenarios in 13 base machines, the use case extensions in 47 static and 31 dynamic aspects, most of which are instantiations of simple aspect templates.


State Machine Class Diagram Graph Transformation History Property Base Machine 
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.
    Aksit, M., Rensink, A., Staijen, T.: A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: Proc. 8th Int. Conf. Aspect-Oriented Software Development (AOSD 2009), pp. 39–50 (2009)Google Scholar
  2. 2.
    Altisen, K., Maraninchi, F., Stauch, D.: Aspect-Oriented Programming for Reactive Systems: Larissa, a Proposal in the Synchronous Framework. Sci. Comp. Prog. 63(3), 297–320 (2006)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Arons, T., Hooman, J., Kugler, H.-J., Pnueli, A., van der Zwaag, M.B.: Deductive Verification of UML Models in TLPVS. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 335–349. Springer, Heidelberg (2004)Google Scholar
  4. 4.
    Balser, M., Bäumler, S., Knapp, A., Reif, W., Thums, A.: Interactive Verification of UML State Machines. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 434–448. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML, 2nd edn. Prentice Hall, Englewood Cliffs (2004)Google Scholar
  6. 6.
    Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)Google Scholar
  7. 7.
    Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design. Addison-Wesley, Reading (2005)Google Scholar
  8. 8.
    Douence, R., Le Botlan, D., Noyé, J., Südholt, M.: Concurrent Aspects. In: Proc. 5th Int. Conf. Generative Programming and Component Engineering (GPCE 2006), pp. 79–88. ACM, New York (2006)CrossRefGoogle Scholar
  9. 9.
    Douence, R., Fritz, T., Loriant, N., Menaud, J.-M., Ségura-Devillechaise, M., Südholt, M.: An Expressive Aspect Language for System Applications with Arachne. In: Mezini, Tarr (eds.) [20], pp. 27–38Google Scholar
  10. 10.
    Drusinsky, D.: Modeling and Verification Using UML Statecharts. Elsevier, Amsterdam (2006)Google Scholar
  11. 11.
    Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.): MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)Google Scholar
  12. 12.
    Gnesi, S.: Formal Specification and Verification of Complex Systems. In: Proc. 8th Int. Wsh. Formal Methods for Industrial Critical Systems (FMICS 2003). Electr. Notes Theor. Comput. Sci., vol. 80 (2003)Google Scholar
  13. 13.
    Herrmann, S.: Object Teams: Improving Modularity for Crosscutting Collaborations. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 248–264. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)Google Scholar
  15. 15.
    Jacobson, I., Ng, P.-W.: Aspect-Oriented Software Development with Use Cases. Addison-Wesley, Reading (2004)Google Scholar
  16. 16.
    Kienzle, J., Gélineau, S.: AO Challenge — Implementing the ACID Properties for Transactional Objects. In: Filman, R.E. (ed.) Proc. 5th Int. Conf. Aspect-Oriented Software Development (AOSD 2006), pp. 202–213. ACM, New York (2006)CrossRefGoogle Scholar
  17. 17.
    Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. Trans. Aspect-Oriented Software Development (TAOSD) 7, 1–22 (2010)Google Scholar
  18. 18.
    Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395–416. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  19. 19.
    Kniesel, G.: Detection and Resolution of Weaving Interactions. In: Rashid, A., Ossher, H. (eds.) Transactions on Aspect-Oriented Software Development V. LNCS, vol. 5490, pp. 135–186. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  20. 20.
    Mezini, M., Tarr, P.L. (eds.): Proc. 4th Int. Conf. Aspect-Oriented Software Development (AOSD 2005). ACM, New York (2005)Google Scholar
  21. 21.
    Morin, B., Klein, J., Barais, O., Jézéquel, J.-M.: A Generic Weaver for Supporting Product Lines. In: Proc. 13th Int. Wsh. Software Architectures and Mobility (EA 2008), pp. 11–18. ACM, New York (2008)CrossRefGoogle Scholar
  22. 22.
    Nagy, I., Bergmans, L., Aksit, M.: Composing Aspects at Shared Join Points. In: Hirschfeld, R., Kowalczyk, R., Polze, A., Weske, M. (eds.) Proc. Net.ObjectDays (NODe 2005). Lect. Notes Informatics, vol. 69, pp. 19–38. Gesellschaft für Informatik (2005)Google Scholar
  23. 23.
    Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.2. OMG Available Specification, OMG (2009),
  24. 24.
    Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for Composing Aspect-Oriented Design Class Models. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 75–105. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  25. 25.
    Sánchez, P., Fuentes, L., Stein, D., Hanenberg, S., Unland, R.: Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS 2008). LNCS, vol. 5301, pp. 766–781. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  26. 26.
    Sommerville, I.: Software Engineering, 8th edn. Addison-Wesley, Reading (2007)MATHGoogle Scholar
  27. 27.
    Störzer, M., Forster, F., Sterr, R.: Detecting Precedence-Related Advice Interference. In: Proc. 21st IEEE/ACM Int. Conf. Automated Software Engineering (ASE 2006), pp. 317–322. IEEE, Los Alamitos (2006)CrossRefGoogle Scholar
  28. 28.
    Vanderperren, W., Suvée, D., Verheecke, B., Cibrán, M.A., Jonckers, V.: Adaptive Programming in JAsCo. In: Mezini, Tarr (eds.) [20], pp. 75–86Google Scholar
  29. 29.
    Whittle, J., Jayaraman, P.K.: MATA: A Tool for Aspect-Oriented Modeling based on Graph Transformation. In: Proc. 11th Int. Wsh. Aspect-Oriented Modeling, AOM@MoDELS 2007 (2007)Google Scholar
  30. 30.
    Whittle, J., Moreira, A., Araújo, J., Jayaraman, P.K., Elkhodary, A.M., Rabbi, R.: An Expressive Aspect Composition Language for UML State Diagrams. In: Engels, et al. (eds.) [11], pp. 514–528Google Scholar
  31. 31.
    Zhang, G.: Towards Aspect-Oriented Class Diagrams. In: Proc. 12th Asia-Pacific Software Engineering Conf (APSEC 2005), pp. 763–768. IEEE, Los Alamitos (2005)CrossRefGoogle Scholar
  32. 32.
    Zhang, G.: Aspect-Oriented Modeling of Adaptive Web Applications with HiLA. In: Kotsis, G., Taniar, D., Pardede, E., Khalil, I. (eds.) Proc. 7th Int. Conf. Advances in Mobile Computing & Multimedia (MoMM 2009), pp. 331–335. ACM, New York (2009)CrossRefGoogle Scholar
  33. 33.
    Zhang, G., Hölzl, M.: HiLA: High-Level Aspects for UML State Machines. In: 14th Wsh. Aspect-Oriented Modeling (AOM@MoDELS 2009), Denver (2009)Google Scholar
  34. 34.
    Zhang, G., Hölzl, M.M., Knapp, A.: Enhancing UML State Machines with Aspects. In: Engels, et al. (eds.) [11], pp. 529–543Google Scholar
  35. 35.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Matthias Hölzl
    • 1
  • Alexander Knapp
    • 2
  • Gefei Zhang
    • 1
  1. 1.Ludwig-Maximilians-Universität München 
  2. 2.Universität Augsburg 

Personalised recommendations