Coordination Models and Languages

5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

  • Farhad Arbab
  • Carolyn Talcott
Conference proceedings COORDINATION 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Presentations

  3. Accepted Papers

    1. Luis F. Andrade, Jose L. Fiadeiro, Joao Gouveia, Georgios Koutsoukos, Michael Wermelinger
      Pages 5-13
    2. Anupriya Ankolekar, Frank Huch, Katia Sycara
      Pages 14-21
    3. Farhad Arbab, Farhad Mavaddat
      Pages 22-39
    4. Marco Bernardo, Francesco Franzè
      Pages 40-55
    5. Lorenzo Bettini, Viviana Bono, Betti Venneri
      Pages 56-71
    6. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
      Pages 72-87
    7. Andrea Bracciali, Antonio Brogi, Carlos Canal
      Pages 88-95
    8. James C. Browne, Kevin Kane, Hongxia Tian
      Pages 96-110
    9. Nadia Busi, Antony Rowstron, Gianluigi Zavattaro
      Pages 111-124
    10. Carlos J. Costa, Pedro Antunes, João Ferreira Dias
      Pages 125-132
    11. Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Encarnación Beato
      Pages 141-148
    12. Amnon H. Eden, Jens Jahnke
      Pages 149-157
    13. Rejane Frozza, Luis Otávio Alvares
      Pages 158-165
    14. Kees G. W. Goossens, Om Prakash Gangwal
      Pages 174-190

About these proceedings

Introduction

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri?cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci?cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con?gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci?cation, interaction, and dynamic composition of components.

Keywords

Coordination Coordination models agent-based software engineering component-based systems coordination languages distributed systems formal specification high-level abstraction multi-agent system object reconfigurable evolving systems semantics separation multi-agent systems soft software architecture

Editors and affiliations

  • Farhad Arbab
    • 1
  • Carolyn Talcott
    • 2
  1. 1.Software Engineering DepartmentCentre for Mathematics and Computer ScienceSJ AmsterdamThe Netherlands
  2. 2.SRI InternationalMenlo ParkUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46000-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43410-8
  • Online ISBN 978-3-540-46000-8
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications