Coordination Models and Languages

1. Front Matter

   Pages I-XI

   PDF

2. Invited Presentations

   1. Playing Games with Software Design

      • Perdita Stevens

      Pages 1-1

   2. Coordination and System Design in a Network-Centric Age

      • Jim Waldo

      Pages 2-3

   3. Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications

      • Michael Wooldridge, Wiebe van der Hoek

      Pages 4-4

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

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.

• 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

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

  Farhad Arbab

• SRI International, Menlo Park, USA

  Carolyn Talcott

Policies and ethics