The modeling language UML-RT, a dialect of the UML, supports the development of complex, hierarchical systems following a component-oriented approach. However, for a solid foundation of model analysis and model transformations a formal semantics definition of UML-RT is missing. Therefore, this paper presents a precise syntax and semantics definition of a sublanguage of UML-RT. This sublanguage puts an emphasis on the specification of complex, hierarchical state-based models. It considers atomic capsules – containing a statechart – and complex capsules that recursively consist of capsules communicating asynchronously with each other over connectors. Labeled transition systems are chosen as semantic domain, such that the UML-RT semantics can be defined in an SOS style a la Plotkin.


Transition Relation Formal Semantic Label Transition System Input Event Semantic Domain 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arons, T., Hooman, J., Kugler, H., Pnueli, A., van der Zwaag, M.: 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
  2. 2.
    Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding uml: A formal semantics of concurrency and communication in real-time uml. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 71–98. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Engels, G., Heckel, R., Kuester, J., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–226. Springer, Heidelberg (2002)Google Scholar
  4. 4.
    Godskesen, J.: An operational semantic model for basic sdl. Technical Report TFL RR 1991-2, Telecommunications Research Laboratory (TFL), Horsholm (1991)Google Scholar
  5. 5.
    Hoare, C.: Communicating Sequential Processes. Prentice Hall, London (1985)MATHGoogle Scholar
  6. 6.
    Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML Statechart diagrams. In: Formal Methods for Open Object-based Distributed Systems, Chapman & Hall, Boca Raton (1999)Google Scholar
  7. 7.
    Lüttgen, G., von der Beeck, M., Cleaveland, R.: A Compositional Approach to Statecharts Semantics. In: Proc. of ACM SIGSOFT Eighth Int. Symp. on the Foundations of Software Engineering (FSE-8), pp. 120–129. ACM, New York (2000)CrossRefGoogle Scholar
  8. 8.
    Maggiolo-Schettini, A., Peron, A., Tini, S.: Equivalences of Statecharts. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 687–702. Springer, Heidelberg (1996)Google Scholar
  9. 9.
    Milner, R.: Communication and Concurrency. Prentice Hall, London (1989)MATHGoogle Scholar
  10. 10.
    Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark (1981)Google Scholar
  11. 11.
    Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines – A Lightwight Formal Approach. In: Maibaum, T.S.E. (ed.) ETAPS 2000 and FASE 2000. LNCS, vol. 1783, pp. 127–146. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. PhD thesis, Institut für Informatik, Technische Universität München (1996)Google Scholar
  13. 13.
    Selic, B., Gullekson, G., Ward, P.: Real-time Object Oriented Modeling and Design. J. Wiley, Chichester (1994)Google Scholar
  14. 14.
    Shankar, S., Asa, S.: Formal semantics of uml with real-time constructs. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 60–75. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  15. 15.
    Uselton, A., Smolka, S.: A compositional semantics for Statecharts using labeled transition systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 2–17. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  16. 16.
    von der Beeck, M.: A Concise Compositional Statecharts Semantics Definition. In: Proc. of FORTE/PSTV 2000, pp. 335–350. Kluwer, Dordrecht (2000)Google Scholar
  17. 17.
    von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling 1(2), 130–141 (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Michael von der Beeck
    • 1
  1. 1.BMW Group 

Personalised recommendations