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.
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
R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In Proc. International Conference on Software Engineering, 2000. 163
Christie Bolton and Jim Davies. Activity graphs and processes. In Proc. IFM 2000, number 1945 in LNCS. Springer, 2000. 158, 162
E. Börger, A. Cavarra, and E. Riccobene. Solving conflicts in UML state machines concurrent states. In [13]. 162
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
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
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
E. Börger and Elvinia Riccobene, editors. 10th International Workshop on Abstract State Machines, LNCS. Springer, 2003. (this volume). 165
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
Werner Damm and David Harel. LSCs: breathing life into message sequence charts. Formal methods in systems design, 19(1):45–80, 2001. 163
Rik Eshuis and Roel Wieringa. An execution algorithm for UML activity graphs. In Proc. UML 2001, volume 2185 of LNCS. Springer, 2001. 162
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
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
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
Sébastien Gérard and Ileana Ober. Parallelism/concurrency specification within UML. White paper connected with [13]. 159
Hassan Gomaa. Designing concurrent, distributed and real-time applications uwith UML. Addison-Wesley, 2000. 162
Katharina Mehner and Annika Wagner. Visualizing the synchronization of Javathreads with UML. In Proceedings of Visual Languages 2000, 2000. 162
Elissa Newman, Aaron Greenhouse, and William L. Scherlis. Annotation-based diagrams for shared data concurrency. In [13]. 1611
Ileana Ober. An ASM semantics of UML derived from the meta-model and incorporating actions. In [7], 2003. 162
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
Dorina C. Petriu and Eric Wong. Using activity diagrams for representing concurrent behaviour. In [13]. 162
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
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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