Coordination Models and Languages

1. Front Matter

   PDF

2. A Coordination Model for Service-Oriented Interactions

   • João Abreu, José Luiz Fiadeiro

   Pages 1-16

3. Implementing Session Centered Calculi

   • Lorenzo Bettini, Rocco De Nicola, Michele Loreti

   Pages 17-32

4. Service Combinators for Farming Virtual Machines

   • Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya

   Pages 33-49

5. Timed Soft Concurrent Constraint Programs

   • Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini

   Pages 50-66

6. Multiparty Sessions in SOC

   • Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto

   Pages 67-82

7. Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs

   • Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard, Henning Niss

   Pages 83-99

8. From Flow Logic to Static Type Systems for Coordination Languages

   • Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst et al.

   Pages 100-116

9. Session Types for Orchestration Charts

   • Alessandro Fantechi, Elie Najm

   Pages 117-134

10. Implementing Joins Using Extensible Pattern Matching

    • Philipp Haller, Tom Van Cutsem

    Pages 135-152

11. Advice for Coordination

    • Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang

    Pages 153-168

12. Modeling and Analysis of Reo Connectors Using Alloy

    • Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi

    Pages 169-183

13. Alternating-Time Stream Logic for Multi-agent Systems

    • Sascha Klüppelholz, Christel Baier

    Pages 184-198

14. A Formal Account of WS-BPEL

    • Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

    Pages 199-215

15. How to Infer Finite Session Types in a Calculus of Services and Sessions

    • Leonardo Gaetano Mezzina

    Pages 216-231

16. An Event-Based Coordination Model for Context-Aware Applications

    • Angel Núñez, Jacques Noyé

    Pages 232-248

17. Formal Analysis of BPMN Via a Translation into COWS

    • Davide Prandi, Paola Quaglia, Nicola Zannone

    Pages 249-263

18. Encrypted Shared Data Spaces

    • Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron, Maarten van Steen

    Pages 264-279

19. CiAN: A Workflow Engine for MANETs

    • Rohan Sen, Gruia-Catalin Roman, Christopher Gill

    Pages 280-295

20. A Process Calculus for Mobile Ad Hoc Networks

    • Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

    Pages 296-314

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday’ssoftwaredevelopment. COOR- DINATIONaimstoexplorethespectrumoflanguages,middleware,services,and algorithms that separate behavior from interaction, therefore increasing mo- larity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway in June 2008, as part of the federated DisCoTec conference. COORDI- NATIONitselfispartofaserieswhoseproceedingshavebeenpublishedinLNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454, 4038, and 4467. From the 61 submissions received from around the world, the Program Committee selected 21 papers for presentation and publication in this volume on the basis of or- inality, quality, and relevance to the topics of the conference. Each submission received at least three reviews. As with previous editions, the paper submission and selection processes were managed entirely electronically. This was acc- plished using EasyChair, a free Web-based conference management system. In addition to the technical paper presentations, COORDINATION 2008 hosted an invited presentation by Matt Welsh from Harvard University. We are grateful to all the Program Committee members who devoted much e?ort and time to read and discuss the papers. Moreover, we acknowledge the help of additional external reviewers who evaluated submissions in their area of expertise. Finally,wewouldliketothanktheauthorsofallthesubmittedpapersandtheconferenceattendees, for keeping this researchcommunity lively and interactive, and ultimately ensuring the success of this conference series.

• Middleware
• ad-hov networks
• algorithms
• component interaction
• component systems
• coordination
• coordination models
• corrdination middleware
• distributed computing
• logic
• modeling
• multi-agent system
• multi-agent systems
• process c
• semantics

Policies and ethics