Abstract
This paper presents a methodology to develop synchronization code based on the global invariant (GI) approach in the context of the Unified Process in UML. This approach has the following advantages: (1) it is a formal approach that enables formal verification of programs being developed, (2) the most important activity in the programming process lies at a high level; namely, specification of GIs, (3) GIs are platform independent, and (4) existing GIs may be composed to produce GIs for more complex synchronization. We provide a set of useful GIs which work as basic patterns. Programmers can compose these GIs to produce appropriate GIs for specific applications.
This research was supported in part by the DARPA PCES Project and NSF CRCD Grant Number 9980321.
Issues related to specific UML notation are not addressed. Rather, the focus is on fundamental issues related to the development process.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
G.R. Andrews. Concurrent Programming, Principles and Practice. Benjamin/-Cummings Publishing Co., 1991.
A.J. Bernstein and P.M. Lewis. Distributed Operating Systems and Algorithms. Jones and Bartlett, 1993.
G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.
F. Bordeleau and R.J.A. Buhr. The UCM-ROOM design method: from Use Case Maps to communicating finite state machines. In Proceedings of the Conference on the Engineering of Computer-Based Systems, 1997.
S.J. Hartley. Concurrent Programming — The Java Programming Language. Oxford University Press, 1998.
I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999.
G. Kiczales, J. Lampoing, A. Mendhekar, C. Maeda, C. Lopez, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), LNCS 1241, 1997.
M. Mizuno. A structured approach for developing concurrent programs in java. Information Processing Letters, 69(5):232–238, 1999.
S. Smith. Object Oriented Analysis and Design (Course 323). Learning Tree International, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mizuno, M., Singh, G., Neilsen, M. (2000). A Structured Approach to Develop Concurrent Programs in UML. In: Evans, A., Kent, S., Selic, B. (eds) ≪UML≫ 2000 — The Unified Modeling Language. UML 2000. Lecture Notes in Computer Science, vol 1939. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40011-7_33
Download citation
DOI: https://doi.org/10.1007/3-540-40011-7_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41133-8
Online ISBN: 978-3-540-40011-0
eBook Packages: Springer Book Archive