Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model Driven Engineering Languages and Systems

MODELS 2006: Model Driven Engineering Languages and Systems pp 768–782Cite as

A Formal Semantics of UML-RT

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4199))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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)

    Chapter  Google Scholar 

  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. Godskesen, J.: An operational semantic model for basic sdl. Technical Report TFL RR 1991-2, Telecommunications Research Laboratory (TFL), Horsholm (1991)

    Google Scholar 

  5. Hoare, C.: Communicating Sequential Processes. Prentice Hall, London (1985)

    MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Milner, R.: Communication and Concurrency. Prentice Hall, London (1989)

    MATH  Google Scholar 

  10. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark (1981)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Selic, B., Gullekson, G., Ward, P.: Real-time Object Oriented Modeling and Design. J. Wiley, Chichester (1994)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling 1(2), 130–141 (2002)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BMW Group,  

    Michael von der Beeck

Authors
  1. Michael von der Beeck
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Composition Group, University of Bern, Switzerland

    Oscar Nierstrasz

  2. Computing Department - InfoLab21, Lancaster University, LA1 4WA, Lancaster, UK

    Jon Whittle

  3. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, 76100, Rehovot, Israel

    David Harel

  4. DISI, Università di Genova, Italy

    Gianna Reggio

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

von der Beeck, M. (2006). A Formal Semantics of UML-RT. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_53

Download citation

  • DOI: https://doi.org/10.1007/11880240_53

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-45772-5

  • Online ISBN: 978-3-540-45773-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation