24. COORDINATION 2022: Lucca, Italy
24th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2022), Held as Part of the 17th International Federated Conference on Distributed Computing Techniques (DisCoTec 2022), COORDINATION 2022, Lucca, Italy, June 13-17, 2022
Maurice H. ter Beek, Marjan sirjani
IFIP Open Digital Library, ISBN: 978-3-031-08145-3
Contents
Invited Presentation
Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies)
Luca Viganò
3-14
Timed and Probabilistic Systems
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Wang Yi, Morteza Mohaqeqi, Susanne Graf
17-34
Collective Adaptive Systems and Aggregate Computing
Extensible 3D Simulation of Aggregated Systems with FCPP
Giorgio Audrito, Luigi Rapetta, Gianluca Torta
55-71
Towards Reinforcement Learning-based Aggregate Computing
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
72-91
Sibilla: A Tool for Reasoning about Collective Systems
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
92-98
Space-fluid Adaptive Sampling: a Field-based, Self-organising Approach
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
99-117
Processes and Languages
A Model of Actors and Grey Failures
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
140-158
Soft Concurrent Constraint Programming with Local Variables
Laura Bussi, Fabio Gadducci, Francesco Santini
159-177
Runtime Verification and Monitor Synthesis
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
181-199
A Monitoring Tool for Linear-Time μHML
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
200-219
Microservices
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
223-240