Abstract
The UML has established itself as the main tool for building software designs. However, one area that hasn’t been completely explored is the semantically precise specification of behavior for concurrent programs. We have studied the feasibility of creating precise, unambiguous UML concurrency specifications using the Object Constraint Language (OCL) as a cornerstone, particularly focusing on constructs for concurrent access to shared variables. In this paper, we show that such specifications are possible, and that we can create basic concurrency abstractions that are precise, specifically semaphores and monitors. These constructs can be successfully applied to model solutions to classic concurrent problems, as we show in a monitor-based solution to the Sleeping Barber problem.
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
Andrews, G.R.: Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley Longman, Inc., Amsterdam (2000)
Börger, E., Cavarra, A., Riccobene, E.: Solving Conflicts in UML State Machines Concurrent States. In: Workshop on Concurrency Issues in UML (October 2001)
Chrichton, C., Cavarra, A., Davies, J.: A Pattern for Concurrency in UML. In: Workshop on Concurrency Issues in UML (October 2001)
Gomaa, H.: Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley, Reading (2000)
Gomaa, H.: Concurrent Software Design with UML, Revised Version (August 2001)
Ober, I., Stan, I.: On the Concurrent Object Model of UML. In: Workshop on Concurrency Issues in UML (October 2001)
Sendall, S., Strohmeier, A.: Merging Fine-Grained and Coarse-Grained Concurrent Behavior Specifications in UML. In: Position Statement for the ”Workshop on Concurrency Issues in UML”, Workshop on Concurrency Issues in UML (October 2001)
Unified Modeling Language (UML), Version 1.5 (2003), http://www.omg.org/technology/documents/formal/uml.htm
Warmer, J., Kleppe, A.: The Object Constraint Language, Second Edition. Object Technology edn. Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goñi, A., Eterovic, Y. (2004). Building Precise UML Constructs to Model Concurrency Using OCL. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds) «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30187-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-30187-5_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23307-7
Online ISBN: 978-3-540-30187-5
eBook Packages: Springer Book Archive