Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–

222 Pages·2022·7.191 MB·English

by  Mohammad Reza Mousavi, Anna Philippou

Mohammad Reza Mousavi
Anna Philippou (Eds.)
Formal Techniques
3
7
2
3 for Distributed Objects,
1

S
C
Components, and Systems
N
L
42nd IFIP WG 6.1 International Conference, FORTE 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 13273
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
·
Mohammad Reza Mousavi
Anna Philippou (Eds.)
Formal Techniques
for Distributed Objects,
Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022
Held as Part of the 17th International Federated Conference
on Distributed Computing Techniques, DisCoTec 2022
Lucca, Italy, June 13–17, 2022
Proceedings
Editors
MohammadRezaMousavi AnnaPhilippou
King’sCollegeLondon UniversityofCyprus
London,UK Nicosia,Cyprus
ISSN 0302-9743 ISSN 1611-3349 (electronic)
LectureNotesinComputerScience
ISBN 978-3-031-08678-6 ISBN 978-3-031-08679-3 (eBook)
https://doi.org/10.1007/978-3-031-08679-3
©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,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
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
(DisCoTec2022)tookplaceinLuccafromJune13toJune17,2022.Itwasorganisedby
theIMTSchoolforAdvancedStudiesLucca.TheDisCoTecseriesisoneofthemajor
events sponsored by the International Federation for Information Processing (IFIP),
theEuropeanAssociationforProgrammingLanguagesandSystems(EAPLS),andthe
MicroservicesCommunity.DisCoTec2022comprisedthreeconferences:
– COORDINATION,theIFIPWG6.124thInternationalConferenceonCoordination
ModelsandLanguages
– DAIS,theIFIPWG6.122ndInternationalConferenceonDistributedApplications
andInteroperableSystems
– FORTE,theIFIPWG6.142ndInternationalConferenceonFormalTechniquesfor
DistributedObjects,ComponentsandSystems
Together,theseconferencescoveredabroadspectrumofdistributedcomputingsub-
jects,rangingfromtheoreticalfoundationsandformaldescriptiontechniquestosystems
researchissues.Asiscustomary,theeventalsoincludedseveralplenarysessionsinaddi-
tiontotheindividualsessionsofeachconference,whichgatheredattendantsfromthe
threeconferences.Theseincludedjointinvitedspeakersessionsandajointsessionfor
thebestpapersfromthethreeconferences.
TheDisCoTec2022invitedspeakerswere:
– MuffyCalder,UniversityofGlasgow,UK
– MaartenvanSteen,UniversityofTwente,TheNetherlands
– LucaViganò,King’sCollegeLondon,UK
Associatedwiththefederatedevent,fivesatelliteeventstookplace:
– BlockTEE 2022: Workshop on Blockchain Technologies and Trusted Execution
Environments
– CoMinDs2022:WorkshoponCollaborativeMiningforDistributedSystems
– FOCODILE 2022: Workshop on the Foundations of Consensus and Distributed
Ledgers
– ICE2022:WorkshoponInteractionandConcurrencyExperience
– REMV2022:WorkshoponRobotics,ElectronicsandMachineVision
Moreover,wealsohadanumberofshorttutorialsonhottopics:
– AnIntroductiontoSpatialLogicsandSpatialModelCheckingbyVincenzoCiancia
– AGentleAdventureMechanisingMessagePassingConcurrencySystemsbyDavid
Castro-Perez,FranciscoFerreira,LorenzoGheri,andMartinVassor
vi Foreword
– SmartContractsinBitcoinandBitMLbyMassimoBartolettiandRobertoZunino
– TheΔQSystemsDevelopmentParadigmbyNeilDavies,SeyedHosseinHaeri,Peter
Thompson,andPeterVanRoy
– ChorChain:AModel-drivenApproachforTrustedExecutionofMulti-partyBusiness
ProcessesonBlockchainbyAlessandroMarcelletti
Ofcourse,allofthiscouldnotbedonewithoutthepreciousworkoftheProgram
Committeesofthethreemainconferencesandthefiveworkshops,andoftheSteering
Committee and Advisory Boards. Many thanks to all of them, they are too many to
mention.However,IwouldliketothankpersonallytheProgramCommitteeChairsof
themainconferences,namelyMauriceterBeekandMarjanSirjani(forCoordination),
David Eyers and Spyros Voulgaris (for DAIS), and Mohammad Mousavi and Anna
Philippou(forFORTE).Theyhavemanagedtoselectanexcellentsetofresearchpapers.
TheorganizationofDisCoTec2022wasonlypossiblethankstothededicatedwork
oftheOrganizingCommittee,includingMarinellaPetrocchi,SimoneSoderi,Francesco
Tiezzi (Workshops and Tutorials Chair) and Giorgio Audrito (Publicity Chair). But a
specialthankshastogotoLetterioGalletta,theChairoftheLocalOrganizingCommit-
tee,who,inmanycases,becauseofmyabsence,actedalsoasGeneralChair.Finally,I
wouldliketothankIFIPWG6.1,EAPLS,andtheMicroservicesCommunityforspon-
soringthisevent,Springer’sLectureNotesinComputerScienceteamfortheirsupport
andsponsorship,EasyChairforprovidingthereviewingframework,andtheIMTSchool
forprovidingthesupportandtheinfrastructuretohosttheevent.
June2022 RoccoDeNicola
Preface
Thisvolumecontainsthepaperspresentedatthe42ndIFIPWG6.1InternationalConfer-
enceonFormalTechniquesforDistributedObjects,Components,andSystems(FORTE
2022),heldasoneofthreemainconferencesofthe17thInternationalFederatedConfer-
enceonDistributedComputingTechniques(DisCoTec2022)duringJune13–17,2022.
TheconferencewasorganizedbytheIMTSchoolforAdvancedStudiesLucca.
FORTE is a well-established forum for fundamental research on theory, models,
tools,andapplicationsfordistributedsystems,withspecialinterestin
– Component-andmodel-baseddesign
– Cyber-physical systems, autonomous systems, and AI-enabled systems design and
trustworthiness
– Objecttechnology,modularity,softwareadaptation
– Self-stabilizationandself-healing/organizing
– Softwarequality,reliability,availability,andsafety
– Security,privacy,andtrustindistributedand/orcommunicatingsystems
– Service-oriented,ubiquitous,andcloudcomputingsystems
– Verification,validation,formalanalysis,andtestingoftheabove.
TheProgramCommitteereceivedatotalof28submissions,writtenbyauthorsfrom
19differentcountries.Ofthese,12paperswereselectedforinclusioninthescientific
program.EachsubmissionwasreviewedbyatleastthreeProgramCommitteemembers
withthehelpof18externalreviewersinselectedcases.Theselectionofacceptedsub-
missionswasbasedonelectronicdiscussionsviatheEasyChairconferencemanagement
system.
AsprogramchairsofFORTE2022,weactivelycontributedtotheselectionofthe
keynotespeakersforDisCoTec2022:
– MuffyCalder,UniversityofGlasgow,UK
– MaartenvanSteen,UniversityofTwente,TheNetherlands
– LucaViganò,King’sCollegeLondon,UK
WearemostgratefultoMuffyCalderforacceptingourinvitationtobetheFORTE-
relatedkeynotespeaker.Thisvolumecontainstheabstractofhertalkentitled“30+years
ofFORTEresearch:apersonalperspective”.
Wewishtothankalltheauthorsofsubmittedpapers,allthemembersoftheProgram
Committeefortheirthoroughevaluationsofthesubmissions,andtheexternalreviewers
whoassistedtheevaluationprocess.Wewouldalsoliketoexpressourappreciationto
theSteeringCommitteeofFORTEfortheiradviceandsuggestions.Lastbutnotleast,
wethanktheDisCoTecGeneralChair,RoccoDeNicola,andhisorganizationteamfor
viii Preface
theirhard,effectiveworkinprovidinganexcellentenvironmentforFORTE2022and
allotherconferencesandworkshops.
June2022 MohammadRezaMousavi
AnnaPhilippou
Organization
ProgramCommittee
ÉtienneAndré UniversitédeLorraine,CNRS,Inria,France
NathalieBertrand Inria,France
GeorgianaCaltais UniversityofKonstanz,Germany
Yu-FangChen AcademiaSinica,China
LouiseDennis UniversityofManchester,UK
AdrianFrancalanza UniversityofMalta,Malta
HubertGaravel Inria,France
FatemehGhassemi UniversityofTehran,Iran
EbruGöl MiddleEastTechnicalUniversity,Turkey
ÁkosHajdu MetaPlatformsInc.,UK
ArndHartmanns UniversityofTwente,TheNetherlands
MariekeHuisman UniversityofTwente,TheNetherlands
PeterHöfner AustralianNationalUniversity,Australia
WenKokke UniversityofEdinburgh,UK
BarbaraKönig UniversityofDuisburg-Essen,Germany
AnnabelleMcIver MacquarieUniversity,Australia
MassimoMerro UniversityofVerona,Italy
ClaudioAntaresMezzina UniversitàdiUrbino,Italy
MohammadRezaMousavi(Chair) King’sCollegeLondon,UK
CatusciaPalamidessi InriaandLIX,France
KirstinPeters TUDarmstadt,Germany
AnnaPhilippou(Chair) UniversityofCyprus,Cyprus
SanjivaPrasad IndianInstituteofTechnologyDelhi,India
AntónioRavara UniversidadeNovadeLisboa,Portugal
AnaSokolova UniversityofSalzburg,Austria
MahsaVarshosaz ITUniversityofCopenhagen,Denmark
MaheshViswanathan UniversityofIllinoisatUrbana-Champaign,USA
TimWillemse EindhovenUniversityofTechnology,
TheNetherlands
IngridChiehYu UniversityofOslo,Norway