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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Accelerated Technology. Bridgepoint (2005), www.acceleratedtechnology.com/
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)
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)
Harel, D.: Email disucssion. Email (July 2005)
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)
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)
Hu, Z., Shatz, S.M.: Explicit Modeling of Semantics Associated with Composite States in UML State machines. Intl. Jour. of Auto. Soft. Eng. (2005)
IBM Rational. Rational Rose RealTime (2002), http://www.ibm.com/rational
IBM Rational. Rational Rose RealTime - Modeling Language Guide, Version 2003.06.00 (2002), http://www.ibm.com/rational
IBM Rational. Rational Rose RealTime - UML Services Library, Version 2003.06.00 (2002), http://www.ibm.com/rational
ilogix, Inc. Rhapsody (2005), http://www.ilogix.com
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)
Jürjens, J.: A UML State Machines Semantics with Message-passing. In: Proc. ACM Symp. on App. Comp. (SAC 2002), pp. 1009–1013 (2002)
Maggiolo-Schettini, A., Peron, A., Tini, S.: A comparison of statecharts step semantics. Theor. Comput. Sci. 290, 465–498 (2003)
McCausland, C.: Email disucssion. Email (July 2005)
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)
Niu, J., Atlee, J.M., Day, N.: Template Semantics for Model-Based Notations. IEEE Trans. on Soft. Eng. 29(10), 866–882 (2003)
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)
OMG. Unified Modelling Language Specification: Version 2.0, Formal/05-07-04 (2003), http://www.omg.org
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)
Selic, B.: Email disucssion. Email (July 2005)
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)
Shlaer, S., Mellor, S.J.: Object Lifecycles: Modeling the World in States. Yourdon Press, Upper Saddle River (1992)
Simons, A.: On the Compositional Properties of UML State machine Diagrams. In: Proc. of Rigorous Object-Oriented Methods (ROOM 2000), York, UK (2000)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)