Skip to main content
SpringerLink
Log in

Coordination Models and Languages

5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Farhad Arbab

    1. Software Engineering Department, Centre for Mathematics and Computer Science, SJ Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carolyn Talcott

    1. SRI International, Menlo Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2002.

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  3. Accepted Papers

    1. Coordination for Orchestration

      • Luis F. Andrade, Jose L. Fiadeiro, Joao Gouveia, Georgios Koutsoukos, Michael Wermelinger
      Pages 5-13

    2. Concurrent Semantics for the Web Services Specification Language DAML-S

      • Anupriya Ankolekar, Frank Huch, Katia Sycara
      Pages 14-21

    3. Coordination through Channel Composition

      • Farhad Arbab, Farhad Mavaddat
      Pages 22-39

    4. Exogenous and Endogenous Extensions of Architectural Types

      • Marco Bernardo, Francesco Franzè
      Pages 40-55

    5. Coordinating Mobile Object-Oriented Code

      • Lorenzo Bettini, Viviana Bono, Betti Venneri
      Pages 56-71

    6. Formalizing Properties of Mobile Agent Systems

      • Lorenzo Bettini, Rocco De Nicola, Michele Loreti
      Pages 72-87

    7. Dynamically Adapting the Behaviour of Software Components

      • Andrea Bracciali, Antonio Brogi, Carlos Canal
      Pages 88-95

    8. An Associative Broadcast Based Coordination Model for Distributed Processes

      • James C. Browne, Kevin Kane, Hongxia Tian
      Pages 96-110

    9. State—and Event-Based Reactive Programming in Shared Dataspaces

      • Nadia Busi, Antony Rowstron, Gianluigi Zavattaro
      Pages 111-124

    10. Integrating Two Organizational Systems through Communication Genres

      • Carlos J. Costa, Pedro Antunes, João Ferreira Dias
      Pages 125-132

    11. OpenCoLaS a Coordination Framework for CoLaS Dialects

      • Juan Carlos Cruz
      Pages 133-140

    12. Coordination in a Reflective Architecture Description Language

      • Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Encarnación Beato
      Pages 141-148

    13. Coordinating Software Evolution via Two-Tier Programming

      • Amnon H. Eden, Jens Jahnke
      Pages 149-157

    14. Criteria for the Analysis of Coordination in Multi-agent Applications

      • Rejane Frozza, Luis Otávio Alvares
      Pages 158-165

    15. Towards a Colimit-Based Semantics for Visual Programming

      • Jeremy Gibbons
      Pages 166-173

    16. The Cost of Communication Protocols and Coordination Languages in Embedded Systems

      • Kees G. W. Goossens, Om Prakash Gangwal
      Pages 174-190
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

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.

Editors and Affiliations

  • Software Engineering Department, Centre for Mathematics and Computer Science, SJ Amsterdam, The Netherlands

    Farhad Arbab

  • SRI International, Menlo Park, USA

    Carolyn Talcott

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation