Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Abstract State Machines

ASM 2003: Abstract State Machines 2003 pp 151–166Cite as

UML and Concurrency

  • Conference paper
  • First Online:

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

Abstract

In this paper we survey the various ways in which concurrency concerns interact with the modelling of software systems in UML. We discuss the aspects of UML1.4 which can be used to model concurrency aspects of systems, and mention some of the changes expected in UML2.0. We briefly survey some of the research which has been carried out concerning UML and concurrency, and some outstanding issues.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In Proc. International Conference on Software Engineering, 2000. 163

    Google Scholar 

  2. Christie Bolton and Jim Davies. Activity graphs and processes. In Proc. IFM 2000, number 1945 in LNCS. Springer, 2000. 158, 162

    Google Scholar 

  3. E. Börger, A. Cavarra, and E. Riccobene. Solving conflicts in UML state machines concurrent states. In [13]. 162

    Google Scholar 

  4. E. Börger, A. Cavarra, and E. Riccobene. An ASM semantics for UML activity diagrams. In Proc. AMAST 2000, volume 1826 of LNCS. Springer, 2000. 162

    Google Scholar 

  5. E.örger, A. Cavarra, and E. Riccobene. A precise semantics of UML state machines: making semantic variation points and ambiguities explicit. In Proc. of Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop of ETAPS 2002, 2002. 162

    Google Scholar 

  6. E. Börger, A. Cavarra, and E. Riccobene. Modeling the meaning of transitions from and to concurrent states in UML state machines. In ACM SAC 2003 Software Engineering Track, 2003. 162

    Google Scholar 

  7. E. Börger and Elvinia Riccobene, editors. 10th International Workshop on Abstract State Machines, LNCS. Springer, 2003. (this volume). 165

    Google Scholar 

  8. A. Cavarra, E. Riccobene, and P. Scandurra. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines. In [7], 2003. 162

    Google Scholar 

  9. Werner Damm and David Harel. LSCs: breathing life into message sequence charts. Formal methods in systems design, 19(1):45–80, 2001. 163

    Article  MATH  Google Scholar 

  10. Rik Eshuis and Roel Wieringa. An execution algorithm for UML activity graphs. In Proc. UML 2001, volume 2185 of LNCS. Springer, 2001. 162

    Google Scholar 

  11. Rik Eshuis and Roel Wieringa. A real-time execution semantics for UML activity diagrams. In Proc. Fundamental Approaches to Software Engineering, volume 2029 of LNCS, pages 76–90. Springer, 2001. 162

    Chapter  Google Scholar 

  12. Rik Eshuis and Roel Wieringa. Comparing petri nets and activity diagram variants for workflow modelling-a quest for reactive petri nets. In Petri Net Technology for Communication Based Systems(to appear), LNCS. Springer, 2003. 162

    Google Scholar 

  13. C. Atkinson et al., editor.Workshop on Concurrency Issues in UML, 2001. proceedings unpublished; available from http://wooddes.intranet.gr/uml2001/Home.htm. 159, 164, 165

  14. Sébastien Gérard and Ileana Ober. Parallelism/concurrency specification within UML. White paper connected with [13]. 159

    Google Scholar 

  15. Hassan Gomaa. Designing concurrent, distributed and real-time applications uwith UML. Addison-Wesley, 2000. 162

    Google Scholar 

  16. Katharina Mehner and Annika Wagner. Visualizing the synchronization of Javathreads with UML. In Proceedings of Visual Languages 2000, 2000. 162

    Google Scholar 

  17. Elissa Newman, Aaron Greenhouse, and William L. Scherlis. Annotation-based diagrams for shared data concurrency. In [13]. 1611

    Google Scholar 

  18. Ileana Ober. An ASM semantics of UML derived from the meta-model and incorporating actions. In [7], 2003. 162

    Google Scholar 

  19. OMG. Unified Modeling Language Specification version 1.4, September 2001. OMG document formal/01-09-67 available from http://www.omg.org/technology/documents/formal/uml.htm. 151, 152, 153, 158

  20. Dorina C. Petriu and Eric Wong. Using activity diagrams for representing concurrent behaviour. In [13]. 162

    Google Scholar 

  21. Shane Sendall and Alfred Strohmeier. Specifying concurrent system behaviour ant timing constraints using OCL and UML. In Proc. UML 2001, number 2185 in LNCS. Springer, 2001. 162

    Google Scholar 

  22. Perdita Stevens. On use cases and their relationships in the Unified Modelling Language. In Proc. Fundamental Approaches to Software Engineering, number 2029 in LNCS, pages 140–155. Springer-Verlag, April 2001. 161, 164

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Informatics, University of Edinburgh, Edinburgh

    Perdita Stevens

Authors
  1. Perdita Stevens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Via Buonarotti 2, 56127, Pisa, Italy

    Egon Börger

  2. CEA, Università di Catania, Piazza Università 2, 95124, Catania, Italy

    Angelo Gargantini

  3. Dipartimento di Matematica e Informatica, Università di Catania, Città Universitaria, viale A. Doria 6, 95125, Catania, Italy

    Elvinia Riccobene

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stevens, P. (2003). UML and Concurrency. In: Börger, E., Gargantini, A., Riccobene, E. (eds) Abstract State Machines 2003. ASM 2003. Lecture Notes in Computer Science, vol 2589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36498-6_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-36498-6_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00624-4

  • Online ISBN: 978-3-540-36498-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation