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â#x80 ; #x93

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 This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this book produces results that are more reliable and higher performance. This methodology is unique because it covers the full range of product development, from requirements and specifications to the final execution platform. It is compatible with safety related engineering standards, such as IEC61508. Uses formal methods to develop Network-centric Real-time Operating Systems Unified Semantics provides a solid base for model driven systems development and can be tuned to an application-specific, concurrent programming paradigm Methods presented enable model-driven, high-reliability, high-performance software & systems engineering Compatible with International Electrotechnical Commission (IEC) 61508, the standard governing functional safety of programmable electronic systems Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this book produces results that are more reliable while delivering higher performance. The result is a unique real-time concurrent programming system that supports heterogeneous systems with just 5 Kbytes/node. It is compatible with safety related engineering standards, such as IEC61508. This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory. Annotation This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems