Abstract
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run to completion scheme, including the sequential execution of entry/exit actions (along the structure of state nesting) and the concurrent execution of internal activities; (b) to formalize the object interaction, by combining control and data flow features in a seamless way; and (c) to provide a precise but nevertheless provably most general computational meaning to the UML terms of atomic and durative actions/activities. We borrow some features from the rigorous description of UML Activity Diagrams by ASMs in [7].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abstract State Machines. http://www.eecs.umich.edu/gasm/.
G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.
E. Börger. High Level System Design and Analysis using Abstract State Machines. In D. Hutter and W. Stephan and P. Traverso and M. Ullmann, editor, Current Trends in Applied Formal Methods (FM-Trends 98), number 1641 in LNCS, pages 1–43. Springer-Verlag, 1999.
E. Börger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. In T. Rus, editor, AMAST2000, volume 1816 of LNCS, pages 293–308. Springer Verlag, May 2000.
E. Börger and J. Schmid. Composition and Submachine Concepts for Sequential ASMs. In Gurevich Festschrift CSL 2000, 2000. (To appear).
A. S. Evans, J-M. Bruel, K. Lano, R. France, and B. Rumpe. Making UML Precise. In In OOPSLA’98 Workshop on Formalizing UML. Why and How?, October 1998.
R. B. France, A. S. Evans, K. C. Lano, and B. Rumpe. Developing the UML as aformal modeling notation. Computer Standards and Interfaces: Special Issues on Formal Development Techniques, Accepted for publication, 1998.
Martin Gogolla and Francesco Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In Manfred Broy, Derek Coleman, TomS. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803, 1998.
Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9–36. Oxford University Press, 1995.
Y. Gurevich. Sequential Abstract State Machines capture Sequential Algorithms. ACM Transactions on Computational Logic, 1, 2000. (To appear).
D. Harel and E. Gery. Executable Object Modeling with Statecharts. Computer, IEEE Computer Society, 30(7):31–42, 1997.
D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Trans. Soft. Eng. method, 5(4):293–333, 1996.
D. Harel and M. Politi. Modeling Reactive Systems with Statecharts. McGraw-Hill, 1998.
Ivan Paltor and Johan Lilius. Formalising UML state machines for model checking. In Robert France and Bernhard 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.
G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach. In FASE 2000-Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 2000. (To appear).
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
M. von der Beek. A Comparison of Statechart Variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 526. Lecture Notes in Computer Science, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Börger, E., Cavarra, A., Riccobene, E. (2000). Modeling the Dynamics of UML State Machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds) Abstract State Machines - Theory and Applications. ASM 2000. Lecture Notes in Computer Science, vol 1912. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44518-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-44518-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67959-2
Online ISBN: 978-3-540-44518-0
eBook Packages: Springer Book Archive