Abstract
We provide a rigorous semantics for one of the central diagram types which are used in UML for the description of dynamical system behavior, namely activity diagrams. We resolve for these diagrams some of the ambiguities which arise from different interpretations of UML models. Since we phrase our definition in terms of Abstract State Machines, we define at the same time an interesting subclass of ASMs, offering the possibility to exploit the UML tool support for using these special ASMs in the practice of software design. We apply these Activity Diagram Machines for a succinct definition of the semantics of OCCAM.
currently visiting Microsoft Research, Redmond
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
G. Booch, J. Rumbaugh, 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, W. Stephan, P. Traverso, M. Ullmann (eds): Current Trends in Applied Formal Methods (FM-Trends 98), Springer LNCS 1641, pp. 1–43, 1999.
Börger E., Durdanovic I., Correctness of Compiling Occam to Transputer Code; in: The Computer Journal, Vol. 39, No.1, pp.52–92, 1996.
E. Börger, J. Schmid, Composition and Submachine Concepts for Sequential ASMs. Gurevich Festschrift, Proc. CSL’2000 (to appear).
A. Evans, J-M. Bruel, R. France, K. Lano, B. Rumpe, Making UML Precise, OOPSLA’98 Workshop on “Formalizing UML. Why and How?” October 1998.
A. Evans, R. France, K. Lano, B. Rumpe, The UML as a formal modeling notation, UML98-Beyond the notation, Springer LNCS, 1998.
R.B. France, A.S. Evans, K.C. Lano, and B. Rumpe, Developing the UML as a formal modeling notation; in Computer Standards and Interfaces: Special Issues on Formal Development Techniques, 1998.
Y. Gurevich, Evolving Algebras 1993: Lipari Guide; in E. Börger (Ed.): Specification and Validation Methods, Oxford University Press, 1995.
D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, ACM Trans.Soft.Eng. method 5(4), 1996, 293–333.
D. Harel, M. Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998.
Rational Software Corporation, Unified Modeling Language (UML), version 1.3, http://www.rational.com, 1999.
J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 1999.
UML Notation Guide, 1999. (Published as part of [11]).
UML 1.3 Semantics, 1999. (Published as part of [11]).
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). An ASM Semantics for UML Activity Diagrams. In: Rus, T. (eds) Algebraic Methodology and Software Technology. AMAST 2000. Lecture Notes in Computer Science, vol 1816. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45499-3_22
Download citation
DOI: https://doi.org/10.1007/3-540-45499-3_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67530-3
Online ISBN: 978-3-540-45499-1
eBook Packages: Springer Book Archive