Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2000: Coordination Languages and Models pp 347–352Cite as

Coordination-Based Design of Distributed Systems

  • Conference paper
  • First Online:

  • 191 Accesses

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

Abstract

We present a component-based formal approach to the design of distributed systems based on the coordination of the interaction and of the flow of control using graphical notation, refinement and guarded composition.

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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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. R. J. R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17–30, 1991.

    Google Scholar 

  2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, October 1998.

    Google Scholar 

  3. M. M. Bonsangue, J. N. Kok, and K. Sere. Developing object-based distributed system. In Formal Methods for Open Object-based Distributed Systems (FMOODS’99), Florence, Italy, February 1999. Kluver Academic Publishers.

    Google Scholar 

  4. R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner. Towards a Formalization of the Unified Modeling Language. In Proceedings of ECOOP’97. Jyväskylä, Finland, June 1997. Lecture Notes in Computer Science 1241. Springer Verlag.

    Google Scholar 

  5. R. Kneuper. Limits of Formal Methods. Formal Aspects of Computing 9(4): 379–394, Springer Verlag 1997.

    Article  Google Scholar 

  6. J. Philipps and B. Rumpe. Refinement of pipe-and-filter architectures. In Proc. of FM’99-Formal Methods, Volume 1, Toulouse, France, 1999, volume 1708 of Lecture Notes in Computer Science. Springer-Verlag, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Leiden Institute of Advanced Computer Science, Leiden University, P.O.Box 9512, 2300 RA, Leiden, The Netherlands

    Joost N. Kok

  2. Turku Centre for Computer Science, Åbo Akademi University, Lemminkäisenkatu 14A, 20520, Turku, Finland

    Kaisa Sere

Authors
  1. Joost N. Kok
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kaisa Sere
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, Monte de Caparica, 2825-114, Caparica, Portugal

    António Porto

  2. Department of Computer Science, Washington University in St. Louis, Box 1045, One Brookings Drive, St. Louis, MO, 63130, USA

    Gruia-Catalin Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kok, J.N., Sere, K. (2000). Coordination-Based Design of Distributed Systems. In: Porto, A., Roman, GC. (eds) Coordination Languages and Models. COORDINATION 2000. Lecture Notes in Computer Science, vol 1906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45263-X_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-45263-X_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41020-1

  • Online ISBN: 978-3-540-45263-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation