Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proce

204 Pages·2022·7.13 MB·English

by  David Eyers, Spyros Voulgaris

David Eyers
Spyros Voulgaris (Eds.)
2
7
2
3 Distributed Applications
1

S
C
and Interoperable Systems
N
L
22nd IFIP WG 6.1 International Conference, DAIS 2022
Held as Part of the 17th International Federated Conference
on Distributed Computing Techniques, DisCoTec 2022
Lucca, Italy, June 13–17, 2022, Proceedings
Lecture Notes in Computer Science 13272
FoundingEditors
GerhardGoos
KarlsruheInstituteofTechnology,Karlsruhe,Germany
JurisHartmanis
CornellUniversity,Ithaca,NY,USA
EditorialBoardMembers
ElisaBertino
PurdueUniversity,WestLafayette,IN,USA
WenGao
PekingUniversity,Beijing,China
BernhardSteffen
TUDortmundUniversity,Dortmund,Germany
MotiYung
ColumbiaUniversity,NewYork,NY,USA
Moreinformationaboutthisseriesathttps://link.springer.com/bookseries/558
·
David Eyers Spyros Voulgaris (Eds.)
Distributed Applications
and Interoperable Systems
22nd IFIP WG 6.1 International Conference, DAIS 2022
Held as Part of the 17th International Federated Conference
on Distributed Computing Techniques, DisCoTec 2022
Lucca, Italy, June 13–17, 2022
Proceedings
Editors
DavidEyers SpyrosVoulgaris
UniversityofOtago AthensUniversityofEconomics
Dunedin,NewZealand andBusiness
Athens,Greece
ISSN 0302-9743 ISSN 1611-3349 (electronic)
LectureNotesinComputerScience
ISBN 978-3-031-16091-2 ISBN 978-3-031-16092-9 (eBook)
https://doi.org/10.1007/978-3-031-16092-9
©IFIPInternationalFederationforInformationProcessing2022
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
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
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Foreword
The 17th International Federated Conference on Distributed Computing Techniques
(DisCoTec 2022) took place during June 13–17, 2022. It was organized by the IMT
School for Advanced Studies Lucca, Italy. The DisCoTec series is one of the major
eventssponsoredbytheInternationalFederationforInformationProcessing(IFIP)and
the European Association for Programming Languages and Systems (EAPLS). This
year’seventcomprisedthreeconferences:
– COORDINATION,theIFIPWG6.124thInternationalConferenceonCoordination
ModelsandLanguages;
– DAIS,theIFIPWG6.122ndInternationalConferenceonDistributedApplications
andInteroperableSystems;and
– FORTE,theIFIPWG6.142ndInternationalConferenceonFormalTechniquesfor
DistributedObjects,Components,andSystems.
Together, these conferences covered a broad spectrum of distributed computing
subjects, ranging from theoretical foundations and formal description techniques to
systemsresearchissues.Asiscustomary,theeventalsoincludedseveralplenarysessions
inadditiontotheindividualsessionsofeachconference,whichgatheredattendantsfrom
thethreeconferences.Theseincludedjointinvitedspeakersessionsandajointsession
forthebestpapersfromtherespectivethreeconferences.
Associatedwiththefederatedevent,fourworkshopstookplace:
– DisCoTecTools,atutorialsessionpromotingmaturetoolsinthefieldofdistributed
computing;
– BlockTEE2022,theFirstInternationalWorkshoponBlockchainTechnologiesand
TrustedExecutionEnvironments;
– CoMinDs 2022, the First International Workshop on Collaborative Mining for
DistributedSystems;
– FOCODILE2022,the3rdInternationalWorkshopontheFoundationsofConsensus
andDistributedLedgers;and
– ICE 2022, the 15th International Workshop on Interaction and Concurrency
Experience.
Finally,inthecontextofthefederatedevent,fivetutorialswereoffered:
– AnintroductiontoSpatialLogicsandSpatialModelChecking;
– AGentleAdventureMechanisingMessagePassingConcurrencySystems;
– SmartcontractsinBitcoinandBitML;
– The(cid:2)QSystemsDevelopmentParadigm;and
– ChorChain:aModel-drivenApproachforTrustedExecutionofMulti-partyBusiness
ProcessesonBlockchain.
vi Foreword
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 2022 was only possible thanks to the
dedicatedworkoftheOrganizingCommittee,includingLetterioGalletta(chairofthe
localorganizingcommittee),MarinellaPetrocchiandSimoneSoderi(membersofthe
localorganizingcommittee),FrancescoTiezzi(workshopsandtutorialschair),Giorgio
Audrito(publicitychair),andallthestudentsandcolleagueswhovolunteeredtheirtime
tohelp.Iwouldalsoliketothanktheinvitedspeakersfortheirexcellenttalks.Finally,
I would like to thank IFIP WG 6.1 and EAPLS for sponsoring this event, Springer’s
LectureNotesinComputerScienceteamfortheirsupportandsponsorship,EasyChair
for providing the reviewing framework, and the IMT School for Advanced Studies
Luccaforprovidingthesupportandinfrastructuretohosttheevent.
June2022 RoccoDeNicola
Preface
This volume contains the papers presented at the 22nd IFIP International Conference
on Distributed Applications and Interoperable Systems (DAIS 2022), sponsored by
the International Federation for Information Processing (IFIP) and organized by IFIP
WG 6.1. The DAIS conference series addresses all practical and conceptual aspects
of distributed applications, including their design, modeling, implementation, and
operation;thesupportingmiddleware;appropriatesoftwareengineeringmethodologies
andtools;andexperimentalstudiesandapplications.DAIS2022washeldduringJune
13–17,2022,inLucca,Italy,aspartofDisCoTec2022,the17thInternationalFederated
ConferenceonDistributedComputingTechniques.
Weofferedthreedistinctpapertracks:fullresearchpapers,fullpracticalexperience
reports, and work-in-progress papers. We received 19 initial abstract submissions, 16
of which were for research papers, one for a practical experience report, and two for
work-in-progress papers. All submissions were reviewed by three to four Program
Committee(PC)members.Thereviewprocessincludedapost-reviewdiscussionphase,
during which the merits of all papers were discussed by the PC. The committee
decided to accept nine full research papers, one full practical experience report, two
work-in-progresspapers,andaninvitedpaper.
The accepted papers cover a broad range of topics in distributed algorithms,
scalabilityandavailability,streamprocessing,privacy,distributedledgers,andtrusted
hardware.
The conference was made possible by the hard work and cooperation of many
people working in several different committees and organizations, all of which are
listed in these proceedings. In particular, we are grateful to the PC members for their
commitmentandthoroughreviews,andfortheiractiveparticipationinthediscussion
phase,andtoalltheexternalreviewersfortheirhelpinevaluatingsubmissions.Finally,
we also thank the DisCoTec general chair, Rocco De Nicola, and the DAIS Steering
Committeechair,LuísVeiga,fortheirconstantavailability,support,andguidance.
June2022 DavidEyers
SpyrosVoulgaris
Organization
GeneralChair
RoccoDeNicola IMTSchoolforAdvancedStudiesLucca,Italy
ProgramCommitteeChairs
DavidEyers UniversityofOtago,NewZealand
SpyrosVoulgaris AthensUniversityofEconomicsandBusiness,
Greece
SteeringCommittee
LydiaY.Chen TUDelft,TheNetherlands
FrankEliassen UniversityofOslo,Norway
RüdigerKapitza TechnicalUniversityofBraunschweig,Germany
RuiOliveira UniversityofMinhoandINESCTEC,Portugal
HansP.Reiser UniversityofPassau,Germany
LauraRicci UniversityofPisa,Italy
SilviaBonomi UniversitàdegliStudidiRoma“LaSapienza”,
Italy
EtienneRiviére EcolePolytechniquedeLouvain,Belgium
JosePereira UniversityofMinhoandINESCTEC,Portugal
LuísVeiga(Chair) INESC-IDandUniversidadedeLisboa,Portugal
ProgramCommittee
EduardoAlchieri UniversidadedeBrasília,Brazil
Pierre-LouisAublin KeioUniversity,Japan
SilviaBonomi UniversitàdegliStudidiRoma“LaSapienza”,
Italy
DavideFrey Inria,France
VanaKalogeraki AthensUniversityofEconomicsandBusiness,
Greece
EvangeliaKalyvianaki UniversityofCambridge,UK
FábioKon UniversityofSãoPaulo,Brazil
JoãoLeitão UniversidadeNovadeLisboa,Portugal
DanielLucani AarhusUniversity,Denmark
KostasMagoutis UniversityofIoannina,Greece
x Organization
HeinMeling UniversityofStavanger,Norway
ClaudioAntaresMezzina UniversityUrbino,Italy
AlbertoMontresor UniversityofTrento,Italy
DanielO’Keeffe RoyalHolloway,UniversityofLondon,England
EmanuelOnica AlexandruIoanCuzaUniversityofIasi,Romania
MartaPatino UniversidadPolitecnicadeMadrid,Spain
JoséOrlandoPereira UniversidadedoMinhoandINESCTEC,
Portugal
HansP.Reiser ReykjavíkUniversity,Iceland
RomainRouvoy UniversityofLille1,France
ValerioSchiavoni UniversityofNeuchâtel,Switzerland
PierreSutra TelecomSudParis,France
LocalOrganization
RoccoDeNicola
LetterioGalletta
MarinellaPetrocchi
SimoneSoderi
FrancescoTiezzi
GiorgioAudrito
AdditionalReviewers
ChristianBerger UniversityofPassau,Germany
EmileCadorel Inria,France
JohannesKöstler UniversityofPassau,Germany
AdrienLuxey Inria,France
AntonisPapaioannou FORTH,Greece
OlivierRuas Inria,France