Coordination Models and Languages

Invited Talks.- A Reactive Programming Model for Global Computing.- Open Issues and Opportunities in Web Services Modeling, Development, and Management.- Compositionality, Coordination and Software Architecture.- Contributed Papers.- Problem Frames: A Case for Coordination.- O’Klaim: A Coordination Language with Mobile Mixins.- On Calculi for Context-Aware Coordination.- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.- Measuring Component Adaptation.- An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.- From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming.- Probabilistic KLAIM.- A Lightweight Coordination Middleware for Mobile Computing.- Enforcement of Communal Policies for P2P Systems.- An Infrastructure to Build Secure Shared Grid Spaces.- Optimistic Concurrency Semantics for Transactions in Coordination Languages.- Active Coordination in Ad Hoc Networks.- CoorSet: A Development Environment for Associatively Coordinated Components.- On the Expressiveness of Absolute-Time Coordination Languages.- Logic Based Coordination for Event–Driven Self–healing Distributed Systems.- Using Coordination Middleware for Location-Aware Computing: A Lime Case Study.- VIPER: A VIsual Protocol EditoR.- Social Control Mechanisms to Coordinate an Unreliable Agent Society.- A Component-Based Parallel Constraint Solver.