Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Description

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns. Front Matter ....Pages i-xiv Front Matter ....Pages 1-1 Representing Dependencies in Event Structures (G. Michele Pinna)....Pages 3-18 Reversing P/T Nets (Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski)....Pages 19-36 Towards Races in Linear Logic (Wen Kokke, J. Garrett Morris, Philip Wadler)....Pages 37-53 The share Operator for Field-Based Coordination (Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli)....Pages 54-71 Front Matter ....Pages 73-73 Scan: A Simple Coordination Workbench (Jean-Marie Jacquet, Manel Barkallah)....Pages 75-91 CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications (Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli)....Pages 92-108 Front Matter ....Pages 109-109 ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication (Rocco De Nicola, Tan Duong, Michele Loreti)....Pages 111-128 Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies (Davide Basile, Maurice H. ter Beek, Rosario Pugliese)....Pages 129-147 No More, No Less (Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro)....Pages 148-157 Front Matter ....Pages 159-159 Verification of Concurrent Design Patterns with Data (Simon Bliudze, Ludovic Henrio, Eric Madelaine)....Pages 161-181 Self-organising Coordination Regions: A Pattern for Edge Computing (Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali)....Pages 182-199 Aggregate Processes in Field Calculus (Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani)....Pages 200-217 Front Matter ....Pages 219-219 Automatic Quality-of-Service Evaluation in Service-Oriented Computing (Agustín E. Martinez Suñé, Carlos G. Lopez Pombo)....Pages 221-236 DiRPOMS: Automatic Checker of Distributed Realizability of POMSets (Roberto Guanciale)....Pages 237-249 Coordination of Tasks on a Real-Time OS (Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst)....Pages 250-266 Back Matter ....Pages 267-267