Coordination Models and Languages

1. Front Matter

   Pages 1-12

   PDF

2. Tuple-Based Coordination

   1. Front Matter

      Pages 1-1

      PDF

   2. Replica-Based High-Performance Tuple Space Computing

      • Marina Andrić, Rocco De Nicola, Alberto Lluch Lafuente

      Pages 3-18

   3. Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

      • Diego Latella, Michele Loreti, Mieke Massink

      Pages 19-34

   4. Logic Fragments: A Coordination Model Based on Logic Inference

      • Francesco Luca De Angelis, Giovanna Di Marzo Serugendo

      Pages 35-48

3. Coordinating Ensembles

   1. Front Matter

      Pages 49-49

      PDF

   2. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

      • Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima

      Pages 51-66

   3. Dynamic Choreographies

      • Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

      Pages 67-82

   4. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

      • Luca Padovani, Tzu-Chun Chen, Andrea Tosatto

      Pages 83-98

4. Constraints

   1. Front Matter

      Pages 99-99

      PDF

   2. A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

      • Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari

      Pages 101-116

   3. Take Command of Your Constraints!

      • Sung-Shik T. Q. Jongmans, Farhad Arbab

      Pages 117-132

   4. A Labelled Semantics for Soft Concurrent Constraint Programming

      • Fabio Gadducci, Francesco Santini, Luis F. Pino, Frank D. Valencia

      Pages 133-149

5. Agent-Oriented Techniques

   1. Front Matter

      Pages 151-151

      PDF

   2. Parallelisation and Application of AD ³ as a Method for Solving Large Scale Combinatorial Auctions

      • Francisco Cruz-Mencia, Jesus Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan A. Rodriguez-Aguilar

      Pages 153-168

   3. Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach

      • Stephen Cranefield, Surangika Ranathunga

      Pages 169-185

   4. Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions

      • Andrea Omicini, Giancarlo Fortino, Stefano Mariani

      Pages 186-193

6. Shared Spaces

   1. Front Matter

      Pages 195-195

      PDF

   2. Klaim-DB: A Modeling Language for Distributed Database Applications

      • Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

      Pages 197-212

   3. Open Transactions on Shared Memory

      • Marino Miculan, Marco Peressotti, Andrea Toneguzzo

      Pages 213-229

This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces.

• Abstraction, modeling and modularity
• Algorithmic game theory and mechanism design
• Complex systems
• Concurrency models of computation
• Context specific languages
• Distributed algorithms
• Distributed architectures
• Distributed artificial intelligence
• Distributed programming languages
• Formal language definitions
• Formal methods
• Formal software verification
• Logic and verification by model checking
• Massively parallel systems
• Multi-agent systems
• Process management
• Self-organizing autonomic computing
• Software infrastructure
• Software system models
• Ubiquitous and mobile computing

• University of Leuven, Heverlee, Belgium

  Tom Holvoet

• Alma Mater Studiorum--Università di Bologna, Cesena, Italy

  Mirko Viroli

Policies and ethics