Editors
Ferruccio Damiani and Ornela Dardha
Coordination Models and Languages
23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 1418, 2021, Proceedings
1st ed. 2021
Logo of the publisher
Editors
Ferruccio Damiani
University of Turin, Turin, Italy
Ornela Dardha
Sir Alwyn William Building, University of Glasgow, Glasgow, UK
ISSN 0302-9743 e-ISSN 1611-3349
Lecture Notes in Computer Science Programming and Software Engineering
ISBN 978-3-030-78141-5 e-ISBN 978-3-030-78142-2
https://doi.org/10.1007/978-3-030-78142-2
IFIP International Federation for Information Processing 2021
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This Springer imprint is published by the registered company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Foreword
The 16th International Federated Conference on Distributed Computing Techniques (DisCoTec 2021) took place during June 1418, 2021. It was organised by the Department of Computer Science at the University of Malta, but was held online due to the abnormal circumstances worldwide affecting physical travel. The DisCoTec series is one of the major events sponsored by the International Federation for Information Processing (IFIP), the European Association for Programming Languages and Systems (EAPLS) and the Microservices Community. It comprises three conferences:
COORDINATION, the IFIP WG 6.1 23rd International Conference on Coordination Models and Languages;
DAIS, the IFIP WG 6.1 21st International Conference on Distributed Applications and Interoperable Systems;
FORTE, the IFIP WG 6.1 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems.
Together, these conferences cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. As is customary, the event also included several plenary sessions in addition to the individual sessions of each conference, which gathered attendants from the three conferences. These included joint invited speaker sessions and a joint session for the best papers from the three conferences. Associated with the federated event, four satellite events took place:
DisCoTec Tool, a tutorial session promoting mature tools in the field of distributed computing;
ICE, the 14th International Workshop on Interaction and Concurrency Experience;
FOCODILE, the 2nd International Workshop on Foundations of Consensus and Distributed Ledgers;
REMV, the 1st Robotics, Electronics, and Machine Vision Workshop.
I would like to thank the Program Committee chairs of the different events for their help and cooperation during the preparation of the conference, and the Steering Committee and Advisory Boards of DisCoTec and its conferences for their guidance and support. The organization of DisCoTec 2021 was only possible thanks to the dedicated work of the Organizing Committee, including Caroline Caruana and Jasmine Xuereb (publicity chairs), Duncan Paul Attard and Christian Bartolo Burlo (workshop chairs), Lucienne Bugeja (logistics and finances), and all the students and colleagues who volunteered their time to help. I would also like to thank the invited speakers for their excellent talks. Finally, I would like to thank IFIP WG 6.1, EAPLS and the Microservices Community for sponsoring this event, Springers Lecture Notes in Computer Science team for their support and sponsorship, EasyChair for providing the reviewing framework, and the University of Malta for providing the support and infrastructure to host the event.
Adrian Francalanza
June 2021
Preface
This volume contains the papers presented at COORDINATION 2021, the 23rd International Conference on Coordination Models and Languages, organized online by the University of Malta in Valletta during June 1418, 2021, as part the federated DisCoTec conference.
The COORDINATION conference provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification, and implementation techniques necessary to cope with the complexity induced by the demands of todays software development. For the third year in a row, COORDINATION has called for tool papers describing experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference. Tool papers were selected according to the combination of an extended abstract and a short video demonstration, after which full papers were produced to be included in these proceedings following a light-weight review. In addition, seeking to further reinforce the practical applicability aspects of the COORDINATION community research, we have explicitly included among the topics of interest the industry-led efforts in coordination and industrial case studies.