Coordination, Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004: Proceedings

by De Nicola, Rocco; Ferrari, Gianluigi; Meredith, Greg

• ISBN13: 9783540210443
• ISBN10: 354021044X
• Format: Paperback
• Copyright: 2004-03-31
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.

Table of Contents

A reactive programming model for global computing	p. 1
Open issues and opportunities in web services modeling, development, and management	p. 2
Compositionality, coordination and software architecture	p. 3
Problem frames : a case for coordination	p. 5
O'KLAIM : a coordination language with mobile mixins	p. 20
On calculi for context-aware coordination	p. 38
Probabilistic and prioritized data retrieval in the Linda coordination model	p. 55
Measuring component adaptation	p. 71
An operational semantics for StAC, a language for modelling long-running business transactions	p. 87
From endogenous to exogenous coordination using aspect-oriented programming	p. 105
Probabilistic KLAIM	p. 119
A lightweight coordination middleware for mobile computing	p. 135
Enforcement of communal policies for P2P systems	p. 152
An infrastructure to build secure shared grid spaces	p. 170
Optimistic concurrency semantics for transactions in coordination languages	p. 183
Active coordination in ad hoc networks	p. 199
CoorSet : a development environment for associatively coordinated components	p. 216
On the expressiveness of absolute-time coordination languages	p. 232
Logic based coordination for event-driven self-healing distributed systems	p. 248
Using coordination middleware for location-aware computing : a LIME case study	p. 263
VIPER : a VIsual Protocol editoR	p. 279
Social control mechanisms to coordinate an unreliable agent society	p. 294
A component-based parallel constraint solver	p. 307
Author index	p. 323
Table of Contents provided by Blackwell. All Rights Reserved.