Coordination Languages and Models

1. Front Matter

   Pages I-IX

   PDF

2. Regular Papers

   1. OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces

      • Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz

      Pages 1-18

   2. Scripting Coordination Styles

      • Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz

      Pages 19-35

   3. Coordination Technology for Workflows on the Web: Workspaces

      • Robert Tolksdorf

      Pages 36-50

3. Regular Papers

   1. A Principled Semantics for inp

      • Jeremy L. Jacob, Alan M. Wood

      Pages 51-65

   2. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces

      • Rocco De Nicola, Rosario Pugliese, Antony Rowstron

      Pages 66-80

   3. On Timed Coordination Languages

      • J. -M. Jacquet, K. De Bosschere, A. Brogi

      Pages 81-98

4. Regular Papers

   1. Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach

      • Marco Cremonini, Andrea Omicini, Franco Zambonelli

      Pages 99-114

   2. Distributed Splitting of Constraint Satisfaction Problems

      • Farhad Arbab, Eric Monfroy

      Pages 115-132

   3. Law-Governed Internet Communities

      • Xuhui Ao, Naftaly Minsky, Thu D. Nguyen, Victoria Ungureanu

      Pages 133-147

5. Regular Papers

   1. Reconfiguration of Software Architecture Styles with Name Mobility

      • Dan Hirsch, Paola Inverardi, Ugo Montanari

      Pages 148-163

   2. An Agent Mediated Approach to Dynamic Change in Coordination Policies

      • Prasanta Bose, Mark G. Matthews

      Pages 164-181

   3. Coordination Models for Dynamic Resource Allocation

      • Stefan Johansson, Paul Davidsson, Bengt Carlsson

      Pages 182-197

6. Regular Papers

   1. MobileML: A Programming Language for Mobile Computation

      • Masatomo Hashimoto, Akinori Yonezawa

      Pages 198-215

   2. Hybrid Models for Mobile Computing

      • Mika Katara

      Pages 216-231

   3. Mobile Agents Coordination in Mobadtl

      • Gianluigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini

      Pages 232-248

7. Regular Papers

   1. A Logical Interface Description Language for Components

      • F. Arbab, F. S. de Boer, M. M. Bonsangue

      Pages 249-266

   2. A Formalization of the IWIM Model

      • P. Katis, N. Sabadini, R. F. C. Walters

      Pages 267-283

   3. GCCS: A Graphical Coordination Language for System Specification

      • Rance Cleaveland, Xiaoqun Du, Scott A. Smolka

      Pages 284-298

8. Short papers

   1. A Timed Linda Language

      • Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

      Pages 299-304

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.

• 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

• Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

  António Porto

• Department of Computer Science, Washington University in St. Louis, St. Louis, USA

  Gruia-Catalin Roman

Policies and ethics