Coordination Models and Languages

Session 1. Middleware.- A Coordination Model for Triplespace Computing.- Requirements for Routing in the Application Layer.- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks.- Session 2. Logic Programming.- A Prolog-Based Language for Workflow Programming.- Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications.- Session 3. Formal Approaches.- A Theory for Strong Service Compliance.- Towards a Theory of Refinement in Timed Coordination Languages.- A Calculus for Mobile Ad Hoc Networks.- Session 4. Concurrency.- A Theory of Nested Speculative Execution.- Actors That Unify Threads and Events.- Generalized Committed Choice.- Session 5. Components and Services I.- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.- Session 6. Manet.- Object-Oriented Coordination in Mobile Ad Hoc Networks.- Coordinating Workflow Allocation and Execution in Mobile Environments.- Fact Spaces: Coordination in the Face of Disconnection.- Session 7. Components and Services II.- Component Connectors with QoS Guarantees.- Context-Based Adaptation of Component Behavioural Interfaces.