Skip to main content
SpringerLink
Log in

An ASM Semantics for UML Activity Diagrams

  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 2000)

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

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

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. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.

    Google Scholar 

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

    Chapter  Google Scholar 

  3. Börger E., Durdanovic I., Correctness of Compiling Occam to Transputer Code; in: The Computer Journal, Vol. 39, No.1, pp.52–92, 1996.

    Article  Google Scholar 

  4. E. Börger, J. Schmid, Composition and Submachine Concepts for Sequential ASMs. Gurevich Festschrift, Proc. CSL’2000 (to appear).

    Google Scholar 

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

    Google Scholar 

  6. A. Evans, R. France, K. Lano, B. Rumpe, The UML as a formal modeling notation, UML98-Beyond the notation, Springer LNCS, 1998.

    Google Scholar 

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

    Google Scholar 

  8. Y. Gurevich, Evolving Algebras 1993: Lipari Guide; in E. Börger (Ed.): Specification and Validation Methods, Oxford University Press, 1995.

    Google Scholar 

  9. D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, ACM Trans.Soft.Eng. method 5(4), 1996, 293–333.

    Article  Google Scholar 

  10. D. Harel, M. Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998.

    Google Scholar 

  11. Rational Software Corporation, Unified Modeling Language (UML), version 1.3, http://www.rational.com, 1999.

  12. J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 1999.

    Google Scholar 

  13. UML Notation Guide, 1999. (Published as part of [11]).

    Google Scholar 

  14. UML 1.3 Semantics, 1999. (Published as part of [11]).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, C.so Italia, 40, 50125, Pisa

    Egon Börger

  2. Dipartimento di Matematica e Informatica, Università di Catania, V.le A. Doria, 6, 95125, Catania

    Alessandra Cavarra & Elvinia Riccobene

Authors
  1. Egon Börger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandra Cavarra
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elvinia Riccobene
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, The University of Iowa, Iowa City, IA, 52242, USA

    Teodor Rus

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation