Skip to main content
SpringerLink
Log in
Book cover

International Conference on the Unified Modeling Language

UML 2000: ≪UML≫ 2000 — The Unified Modeling Language pp 451–465Cite as

A Structured Approach to Develop Concurrent Programs in UML

  • Conference paper
  • First Online:

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

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

  1. Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, Kansas

    Masaaki Mizuno, Gurdip Singh & Mitchell Neilsen

Authors
  1. Masaaki Mizuno
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gurdip Singh
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mitchell Neilsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of York, Y010 5DD, Heslington, York, UK

    Andy Evans

  2. Computing Laboratory, University of Kent, Canterbury, Kent, UK

    Stuart Kent

  3. Rational Software Inc., 340 March Road, Kanata, K2K,2E4, Ontario, Canada

    Bran Selic

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

Search

Navigation