Coordination Languages and Models

4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings

  • António Porto
  • Gruia-Catalin Roman
Conference proceedings COORDINATION 2000

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Regular Papers

    1. Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz
      Pages 1-18
    2. Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz
      Pages 19-35
  3. Regular Papers

    1. Jeremy L. Jacob, Alan M. Wood
      Pages 51-65
    2. Rocco De Nicola, Rosario Pugliese, Antony Rowstron
      Pages 66-80
    3. J. -M. Jacquet, K. De Bosschere, A. Brogi
      Pages 81-98
  4. Regular Papers

    1. Marco Cremonini, Andrea Omicini, Franco Zambonelli
      Pages 99-114
    2. Farhad Arbab, Eric Monfroy
      Pages 115-132
    3. Xuhui Ao, Naftaly Minsky, Thu D. Nguyen, Victoria Ungureanu
      Pages 133-147
  5. Regular Papers

    1. Dan Hirsch, Paola Inverardi, Ugo Montanari
      Pages 148-163
    2. Prasanta Bose, Mark G. Matthews
      Pages 164-181
    3. Stefan Johansson, Paul Davidsson, Bengt Carlsson
      Pages 182-197
  6. Regular Papers

    1. Masatomo Hashimoto, Akinori Yonezawa
      Pages 198-215
    2. Mika Katara
      Pages 216-231
    3. Gianluigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
      Pages 232-248
  7. Regular Papers

    1. F. Arbab, F. S. de Boer, M. M. Bonsangue
      Pages 249-266
    2. P. Katis, N. Sabadini, R. F. C. Walters
      Pages 267-283
    3. Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
      Pages 284-298
  8. Short papers

    1. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
      Pages 299-304

About these proceedings

Introduction

This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems.

Keywords

Constraint Satisfaction Coordination Coordination Models Coordination languages Global System Analysis GroupWare High-Level Abstraction Internet Open Systems Software Component Intercation distributed systems programming programming language semantics verification

Editors and affiliations

  • António Porto
    • 1
  • Gruia-Catalin Roman
    • 2
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.Department of Computer ScienceWashington University in St. LouisSt. LouisUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45263-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41020-1
  • Online ISBN 978-3-540-45263-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book