UML and concurrency

Authors:
Perdita Stevens
Affiliations:
School of Informatics, University of Edinburgh
Venue:
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Year:
2003

Citing 9
Cited 2

Inference of message sequence charts

Proceedings of the 22nd international conference on Software engineering
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Designing Concurrent, Distributed, and Real-Time Applications with Uml

Designing Concurrent, Distributed, and Real-Time Applications with Uml
On Use Cases and Their Relationships in the Unified Modelling Language

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Real-Time Execution Semantics for UML Activity Diagrams

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Execution Algorithm for UML Activity Graphs

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Visualizing the Synchronization of Java-Threads with UML

VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Modeling the meaning of transitions from and to concurrent states in UML state machines

Proceedings of the 2003 ACM symposium on Applied computing

Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments

Proceedings of the 4th ACM symposium on Software visualization
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions

Information Visualization

Quantified Score

Hi-index	0.00

Visualization

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.