Skip to main content

A Structured Approach to Develop Concurrent Programs in UML

  • Conference paper
  • First Online:
≪UML≫ 2000 — The Unified Modeling Language (UML 2000)

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

Included in the following conference series:

  • 1030 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. G.R. Andrews. Concurrent Programming, Principles and Practice. Benjamin/-Cummings Publishing Co., 1991.

    Google Scholar 

  2. A.J. Bernstein and P.M. Lewis. Distributed Operating Systems and Algorithms. Jones and Bartlett, 1993.

    Google Scholar 

  3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. S.J. Hartley. Concurrent Programming — The Java Programming Language. Oxford University Press, 1998.

    Google Scholar 

  6. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. M. Mizuno. A structured approach for developing concurrent programs in java. Information Processing Letters, 69(5):232–238, 1999.

    Article  Google Scholar 

  9. S. Smith. Object Oriented Analysis and Design (Course 323). Learning Tree International, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics