Skip to main content
SpringerLink
Log in

Formalization of UML-Statecharts

  • Conference paper
  • First Online:
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (UML 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2185))

Included in the following conference series:

Abstract

The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the prize of an unprecise and incomplete semantics definition. This insufficiency concerns single UML diagram notations on their own as well as their integration. In this paper, we focus on the notation of UML-Statecharts. Starting with a precise textual syntax definition, we develop quite a concise structured operational semantics (SOS) for UML-Statecharts based on labeled transition systems. Besides the support of interlevel transitions and in contrast to related work, our semantics definition supports characteristic UMLStatechart features like the history mechanism as well as entry and exit actions.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Compton, J. Huggins, and W. Shen. A Semantic Model for the State Machine in the Unified Modeling Language. In Proc. Dynamic Behaviour in UML Models: Semantic Questions, pages 25–31. LMU München, Institut für Informatik, Bericht 0006, 2000.

    Google Scholar 

  2. G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 323–337. Springer, 2000.

    Google Scholar 

  3. A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In R. France and B. Rumpe, editors, UML’99-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28–30. 1999, Proceedings, volume 1723 of LNCS. Springer, 1999.

    Google Scholar 

  4. M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803, 1998.

    Google Scholar 

  5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  6. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACMTransactions on Software Engineering, 5(4):293–333, October 1996.

    Google Scholar 

  7. G. Kwon. Rewrite rules and operational semantics for model checking UML statecharts. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 528–540. Springer, 2000.

    Google Scholar 

  8. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML Statechart diagrams. In Formal Methods for Open Object-based Distributed Systems. Chapman & Hall, 1999.

    Google Scholar 

  9. G. Lüttgen, M. von der Beeck, and R. Cleaveland. Statecharts via process algebra. In Concurrency Theory (CONCUR’ 99), volume 1664 of Lecture Notes in Computer Science, pages 399–414. Springer-Verlag, 1999.

    Google Scholar 

  10. G. Lüttgen, M. von der Beeck, and R. Cleaveland. A Compositional Approach to Statecharts Semantics. In Proc. of ACM SIGSOFT Eighth Int. Symp. on the Foundations of Software Engineering (FSE-8), pages 120–129. ACM, 2000.

    Google Scholar 

  11. A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In U. Montanari and V. Sassone, editors, CONCUR’ 96 (Concurrency Theory), volume 1119 of Lecture Notes in Computer Science, pages 687–702, Pisa, Italy, August 1996. Springer-Verlag.

    Google Scholar 

  12. E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for Statecharts. In Proceedings of Asian Computing Science Conference (ASIAN’ 97), volume 1345 of Lecture Notes in Computer Science. Springer-Verlag, December 1997.

    Google Scholar 

  13. OMG. OMG Unified Modeling Language Specification. Version 1.3 alpha R5, 1999.

    Google Scholar 

  14. P. Padawitz. Swinging UML: How to make class diagrams and state machines amenable to constraint solving and proving. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 162–177. Springer, 2000.

    Google Scholar 

  15. I. Paltor and J. Lilius. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML’99-The Unified Modeling Language. Beyond the Standard., volume 1723 of LNCS. Springer, 1999.

    Google Scholar 

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

    Google Scholar 

  17. A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In Theoretical Aspects of Computer Software (TACS’ 91), volume 526 of Lecture Notes in Computer Science, pages 244–264. Springer-Verlag, 1991.

    Google Scholar 

  18. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML Active Classes and Associated State Machines-A Lightwight Formal Approach. In Fundamental Approaches to Software Engineering, number 1783 in LNCS, pages 127–146. Springer, 2000.

    Chapter  Google Scholar 

  19. G. Reggio, M. Cerioli, and E. Astesiano. Towards a Rigorous Semantics of UML Supportin its Multiview Approach. In Proceedings Dynamic Behaviour in UML Models: Semantic Questions, pages 86–91. Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 0006, 2000.

    Google Scholar 

  20. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.

    Google Scholar 

  21. A. Uselton and S. Smolka. A compositional semantics for Statecharts using labeled transition systems. In B. Jonsson and J. Parrow, editors, CONCUR’ 94 (Concurrency Theory), volume 836 of Lecture Notes in Computer Science, pages 2–17. Springer-Verlag, 1994.

    Chapter  Google Scholar 

  22. M. von der Beeck. A Concise Compositional Statecharts Semantics Definition. In Proc. of FORTE/PSTV 2000, pages 335–350. Kluwer, 2000.

    Google Scholar 

Download references

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. Department of Mathematics and Computer Science Database Systems Group, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Martin Gogolla

  2. Telelogic Technologies, P.O. Box 23 20, Fallbrook, CA, 92088, USA

    Cris Kobryn

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

von der Beeck, M. (2001). Formalization of UML-Statecharts. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-45441-1_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42667-7

  • Online ISBN: 978-3-540-45441-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation