Coordination Models and Languages

1. Front Matter

   PDF

2. Statelets: Coordination of Social Collaboration Processes

   • Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong, Schahram Dustdar

   Pages 1-16

3. A Social Software-Based Coordination Platform

   • Davide Rossi

   Pages 17-28

4. Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing

   • Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux

   Pages 29-43

5. Subobject Transactional Memory

   • Marko van Dooren, Dave Clarke

   Pages 44-58

6. Partial Connector Colouring

   • Dave Clarke, José Proença

   Pages 59-73

7. Using Coordinated Actors to Model Families of Distributed Systems

   • Ramtin Khosravi, Hamideh Sabouri

   Pages 74-88

8. Scoped Synchronization Constraints for Large Scale Actor Systems

   • Peter Dinges, Gul Agha

   Pages 89-103

9. First-Order Dynamic Logic for Compensable Processes

   • Roberto Bruni, Carla Ferreira, Anne Kersten Kauer

   Pages 104-121

10. Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

    • Bogdan Aman, Gabriel Ciobanu

    Pages 122-136

11. Recursive Advice for Coordination

    • Michał Terepeta, Hanne Riis Nielson, Flemming Nielson

    Pages 137-151

12. Fluid Analysis of Foraging Ants

    • Mieke Massink, Diego Latella

    Pages 152-165

13. Real-Time Coordination Patterns for Advanced Mechatronic Systems

    • Stefan Dziwok, Christian Heinzemann, Matthias Tichy

    Pages 166-180

14. Group Orchestration in a Mobile Environment

    • Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers

    Pages 181-195

15. Node Coordination in Peer-to-Peer Networks

    • Luigia Petre, Petter Sandvik, Kaisa Sere

    Pages 196-211

16. Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

    • Mirko Viroli, Danilo Pianini, Jacob Beal

    Pages 212-229

17. A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents

    • Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß

    Pages 230-244

18. On the Realizability of Contracts in Dishonest Systems

    • Massimo Bartoletti, Emilio Tuosto, Roberto Zunino

    Pages 245-260

19. Types for Coordinating Secure Behavioural Variations

    • Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

    Pages 261-276

20. Back Matter

    PDF

This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

• autonomic computing
• cloud computing
• load balancing
• optimization
• self-organization

• School of Computer Science, Reykjavik University, Reykjavik, Iceland

  Marjan Sirjani

Policies and ethics