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.
Author(s): Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Series: Lecture Notes in Computer Science 2949
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 330
Tags: Programming Techniques; Computer Communication Networks; Software Engineering; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
A Reactive Programming Model for Global Computing....Pages 1-1
Open Issues and Opportunities in Web Services Modeling, Development, and Management....Pages 2-2
Compositionality, Coordination and Software Architecture....Pages 3-4
Problem Frames: A Case for Coordination....Pages 5-19
O’Klaim : A Coordination Language with Mobile Mixins....Pages 20-37
On Calculi for Context-Aware Coordination....Pages 38-54
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model....Pages 55-70
Measuring Component Adaptation....Pages 71-86
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions....Pages 87-104
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming....Pages 105-118
Probabilistic KLAIM....Pages 119-134
A Lightweight Coordination Middleware for Mobile Computing....Pages 135-151
Enforcement of Communal Policies for P2P Systems....Pages 152-169
An Infrastructure to Build Secure Shared Grid Spaces....Pages 170-182
Optimistic Concurrency Semantics for Transactions in Coordination Languages....Pages 183-198
Active Coordination in Ad Hoc Networks....Pages 199-215
CoorSet: A Development Environment for Associatively Coordinated Components....Pages 216-231
On the Expressiveness of Absolute-Time Coordination Languages....Pages 232-247
Logic Based Coordination for Event–Driven Self–healing Distributed Systems....Pages 248-262
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study....Pages 263-278
VIPER: A VIsual Protocol EditoR....Pages 279-293
Social Control Mechanisms to Coordinate an Unreliable Agent Society....Pages 294-306
A Component-Based Parallel Constraint Solver....Pages 307-322
Back Matter....Pages -
