Skip to main content
SpringerLink
Log in

Semantic Variations Among UML StateMachines

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2006)

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

Abstract

In this paper, we use template-semantics to express the execution semantics of UML 2.0 StateMachines, resulting in a precise description that not only highlights the semantics decisions that have been documented but also explicates the semantics choices that have been left unspecified. We provide also the template semantics for StateMachines as implemented in three UML CASE tools: Rational Rose RT, Rhapsody, and Bridgepoint. The result succinctly explicates (1) how each of the tools refines the standard’s semantics and (2) which tools’ semantics deviate from the standard.

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Accelerated Technology. Bridgepoint (2005), www.acceleratedtechnology.com/

  2. Crane, M., Dingel, J.: UML vs. Classical vs. Rhapsody State machines: Not All Models are Created Equal. In: Proc. 8th Int. Conf. on Model Driven Eng. Lang. and Sys (MoDELS/UML 2005), Montego Bay, Jamaica (October 2005)

    Google Scholar 

  3. Fecher, H., Schönborn, J., Kyas, M., de Roever, W.P.: 29 New Unclarities in the Semantics of UML 2.0 State Machines. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 52–65. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Harel, D.: Email disucssion. Email (July 2005)

    Google Scholar 

  5. Harel, D., Kugler, H.: The RHAPSODY Semantics of Statecharts (or, On the Executable Core of the UML). In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 325–354. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of State machines. In: Logic in Comp. Sci., pp. 54–64. IEEE Press, Los Alamitos (1987)

    Google Scholar 

  7. Hu, Z., Shatz, S.M.: Explicit Modeling of Semantics Associated with Composite States in UML State machines. Intl. Jour. of Auto. Soft. Eng. (2005)

    Google Scholar 

  8. IBM Rational. Rational Rose RealTime (2002), http://www.ibm.com/rational

  9. IBM Rational. Rational Rose RealTime - Modeling Language Guide, Version 2003.06.00 (2002), http://www.ibm.com/rational

  10. IBM Rational. Rational Rose RealTime - UML Services Library, Version 2003.06.00 (2002), http://www.ibm.com/rational

  11. ilogix, Inc. Rhapsody (2005), http://www.ilogix.com

  12. Jin, Y., Esser, R., Janneck, J.W.: Describing the Syntax and Semantics of UML State machines in a Heterogeneous Modelling Environment. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 320–334. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Jürjens, J.: A UML State Machines Semantics with Message-passing. In: Proc. ACM Symp. on App. Comp. (SAC 2002), pp. 1009–1013 (2002)

    Google Scholar 

  14. Maggiolo-Schettini, A., Peron, A., Tini, S.: A comparison of statecharts step semantics. Theor. Comput. Sci. 290, 465–498 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  15. McCausland, C.: Email disucssion. Email (July 2005)

    Google Scholar 

  16. Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On Formal Semantics of Statecharts as Supported by STATEMATE. In: 2nd BCS-FACS Northern Formal Methods Workshop, Springer, Heidelberg (1997)

    Google Scholar 

  17. Niu, J., Atlee, J.M., Day, N.: Template Semantics for Model-Based Notations. IEEE Trans. on Soft. Eng. 29(10), 866–882 (2003)

    Article  Google Scholar 

  18. Niu, J., Atlee, J.M., Day, N.A.: Understanding and Comparing Model-Based Specification Notations. In: Proc. IEEE Intl. Req. Eng. Conf., pp. 188–199 (2003)

    Google Scholar 

  19. OMG. Unified Modelling Language Specification: Version 2.0, Formal/05-07-04 (2003), http://www.omg.org

  20. Pnueli, A., Shalev, M.: What is a Step: On the Semantics of Statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 244–264. Springer, Heidelberg (1991)

    Google Scholar 

  21. Selic, B.: Email disucssion. Email (July 2005)

    Google Scholar 

  22. Shankar, S., Asa, S., Sipos, V., Xu, X.: Reasoning about Real-Time State machines in the Presence of Semantic Variations. In: ASE, pp. 243–252 (2005)

    Google Scholar 

  23. Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Yourdon Press, Upper Saddle River (1992)

    Google Scholar 

  24. Simons, A.: On the Compositional Properties of UML State machine Diagrams. In: Proc. of Rigorous Object-Oriented Methods (ROOM 2000), York, UK (2000)

    Google Scholar 

  25. von der Beeck, M.: A Comparison of State machines Variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 128–148. Springer, Heidelberg (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. David R. Cheriton School of Computer Science, University of Waterloo, Canada

    Ali Taleghani & Joanne M. Atlee

Authors
  1. Ali Taleghani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joanne M. Atlee
    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

Taleghani, A., Atlee, J.M. (2006). Semantic Variations Among UML StateMachines. 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_18

Download citation

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

  • 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