Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

250 Pages·2015·5.574 MB·English

by  Susanne Graf, Mahesh Viswanathan (eds.)

Susanne Graf
Mahesh Viswanathan (Eds.)
Formal Techniques
9
3
0 for Distributed Objects,
9

S
C
Components, and Systems
N
L
35th IFIP WG 6.1 International Conference, FORTE 2015
Held as Part of the 10th International Federated Conference
on Distributed Computing Techniques, DisCoTec 2015
Grenoble, France, June 2–4, 2015, Proceedings
123
Lecture Notes in Computer Science 9039
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
EditorialBoard
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zürich, Zürich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
Moreinformationaboutthisseriesathttp://www.springer.com/series/7408
·
Susanne Graf Mahesh Viswanathan (Eds.)
Formal Techniques
for Distributed Objects,
Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015
Held as Part of the 10th International Federated Conference
on Distributed Computing Techniques, DisCoTec 2015
Grenoble, France, June 2–4, 2015
Proceedings
ABC
Editors
SusanneGraf MaheshViswanathan
UniversitéGrenobleAlpes/VERIMAG UniversityofIllinoisatUrbana-Champaign
Grenoble Urbana,Illinois
France USA
ISSN 0302-9743 ISSN1611-3349 (electronic)
LectureNotesinComputerScience
ISBN 978-3-319-19194-2 ISBN978-3-319-19195-9 (eBook)
DOI10.1007/978-3-319-19195-9
LibraryofCongressControlNumber:2015939161
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
SpringerChamHeidelbergNewYorkDordrechtLondon
(cid:2)c IFIPInternationalFederationforInformationProcessing2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformationstor-
age and retrieval, electronic adaptation, computer software, orbysimilar ordissimilar methodology now
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher, theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbook
arebelievedtobetrueandaccurateatthedateofpublication. Neitherthepublishernortheauthorsorthe
editorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinorforanyerrorsor
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia
(www.springer.com)
Foreword
The 10th International Federated Conference on Distributed Computing Techniques
(DisCoTec)tookplaceinMontbonnot,nearGrenoble,France,duringJune2–5,2015.
ItwashostedandorganizedbyINRIA,theFrenchNationalResearchInstituteinCom-
puterScienceandControl.TheDisCoTecseriesis oneofthemajoreventssponsored
by the International Federation for Information Processing (IFIP). It comprises three
conferences:
– COORDINATION,theIFIPWG6.1InternationalConferenceonCoordinationMod-
elsandLanguages.
– DAIS, the IFIPWG6.1 InternationalConferenceon DistributedApplicationsand
InteroperableSystems.
– FORTE,theIFIPWG6.1InternationalConferenceonFormalTechniquesforDis-
tributedObjects,ComponentsandSystems.
Together,theseconferencescovera broadspectrumofdistributedcomputingsub-
jects,rangingfromtheoreticalfoundationsandformaldescriptiontechniquestosystems
researchissues.
Eachdayofthefederatedeventbeganwithaplenarykeynotespeakernominatedby
one of the conferences.The three invitedspeakerswere Alois Ferscha (JohannesKe-
plerUniversität,Linz,Austria),LeslieLamport(MicrosoftResearch,USA),andWilly
Zwaenepoel(EPFL,Lausanne,Switzerland).
Associated with the federatedeventwere also three satellite workshops,that took
placeonJune5,2015:
– The 2nd InternationalWorkshop on FormalReasoning in Distributed Algorithms
(FRIDA),withakeynotespeechbyLeslieLamport(MicrosoftResearch,USA).
– The8thInternationalWorkshoponInteractionandConcurrencyExperience(ICE),
withkeynotelecturesbyJadeAlglave(UniversityCollegeLondon,UK)andSteve
Ross-Talbot(ZDLC,CognizantTechnologySolutions,London,UK).
– The2ndInternationalWorkshoponMetaModelsforProcessLanguages(MeMo).
Sincere thanks go to the chairs and members of the Program and Steering Com-
mitteesoftheinvolvedconferencesandworkshopsfortheirhighlyappreciatedefforts.
OrganizingDisCoTecwasonlypossiblethankstothe dedicatedworkoftheOrganiz-
ingCommitteefromINRIAGrenoble-Rhône-Alpes,includingSophieAzzaro,Vanessa
Peregrin, Martine Consigney,Alain Kersaudy,Sophie Quinton,Jean-BernardStefani,
and the excellent support from Catherine Nuel and the people at Insight Outside. Fi-
nally,manythanksgotoIFIPWG6.1forsponsoringthisevent,andtoINRIAGrenoble-
Rhône-AlpesanditsDirectorPatrickGrosfortheirsupportandsponsorship.
AlainGirault
DisCoTec2015GeneralChair
VI Foreword
DisCoTecSteering Committee
FarhadArbab CWI,Amsterdam,TheNetherlands
RoccoDeNicola IMTLucca,Italy
KurtGeihs UniversityofKassel,Germany
MicheleLoreti UniversityofFlorence,Italy
ElieNajm TelecomParisTech,France(Chair)
RuiOliveira UniversityofMinho,Portugal
Jean-BernardStefani InriaGrenoble-Rhône-Alpes,France
UweNestmann TechnicalUniversityofBerlin,Germany
Preface
ThisvolumecontainstheproceedingsofFORTE2015,the35thIFIPInternationalCon-
ferenceonFormalTechniquesforDistributedObjects,ComponentsandSystems.This
conference was organized as part of the 10th International Federated Conference on
Distributed ComputingTechniques(DisCoTec)and was heldin Grenoble,Francebe-
tweenJune2–4,2015.
TheFORTEconferenceseriesrepresentsaforumforfundamentalresearchonthe-
ory,models,tools,andapplicationsfordistributedsystems.Theconferenceencourages
contributions that combine theory and practice, and that exploit formal methods and
theoreticalfoundationsto presentnovelsolutionsto problemsarising from the devel-
opmentof distributed systems. FORTE coversdistributed computingmodelsand for-
mal specification, testing, and verification methods. The application domains include
allkindsofapplication-leveldistributedsystems,telecommunicationservices,Internet,
embedded and real-time systems, as well as networking and communication security
andreliability.
We receiveda totalof 53fullpapersubmissionsforreview.Eachsubmissionwas
reviewedbyatleastthreemembersoftheProgramCommittee.Basedonhigh-quality
reviews,andathorough(electronic)discussionbytheProgramCommittee,weselected
15papersforpresentationattheconferenceandforpublicationinthisvolume.
LeslieLamport(MicrosoftResearch)waskeynotespeakerofFORTE2015.Leslie
receivedthe TuringAward in 2013.He isknownforhis seminalcontributionsin dis-
tributedsystems.Hehasdevelopedalgorithms,formalmodels,andverificationmethods
fordistributedsystems.Leslie’skeynotelecturewasonTemporalLogicofActions.
We would like to thankallthose who contributedto the success of FORTE 2015:
theauthors,forsubmittinghigh-qualityworktoFORTE2015;theProgramCommittee
andtheexternalreviewers,forprovidingconstructive,high-qualityreviews,anefficient
discussion,andafairselectionofpapers;theinvitedspeakerforaninspiringtalk;and,
ofcourse,alltheattendeesofFORTE2015.WearealsogratefultotheDisCoTecGen-
eralChair,AlainGirault,OrganizationChair,Jean-BernardStefani,andallmembersof
theirlocalorganizationteam.TheEasyChairconferencemanagementsystemfacilitated
PCdiscussions,andthepreparationoftheseproceedings.ThankYou.
June2015 SusanneGraf
MaheshViswanathan
Organization
Program CommitteeChairs
SusanneGraf VERIMAG&CNRS,Grenoble,France
MaheshViswanathan UniversityofIllinoisatUrbana-Champaign,USA
Program CommitteeMembers
ErikaAbraham RWTHAachenUniversity,Germany
LucaAceto ReykjavikUniversity,Iceland
S.Akshay IITBombay,India
PaulAttie AmericanUniversityofBeirut,Lebanon
RohitChadha UniversityofMissouri,USA
RanceCleaveland UniversityofMaryland,USA
FrankdeBoer CWI,Amsterdam,TheNetherlands
BorzooBonakdarpour McMasterUniversity,Ontario,Canada
MicheleBoreale UniversitàdegliStudidiFirenze,Italy
StephanieDelaune CNRS&ENSCachan,France
WanFokkink VrijeUniversiteitAmsterdam,TheNetherlands
GregorGoessler InriaGrenoble,France
GerardHolzmann JetPropulsionLaboratory,Pasadena,CA,USA
AlanJeffrey Alcatel-LucentBellLabs,USA
PetrKuznetsov TelecomParisTech,France
IvanLanese UniversityofBologna/INRIA,Italy
KimLarsen UniversityofAalborg,Denmark
AntoniaLopes UniversityofLisbon,Portugal
StephanMerz LORIA&INRIANancy,France
CatusciaPalamidessi INRIASaclay,France
AlanSchmitt IRISA&INRIARennes,France
Steering Committee
ErikaAbraham RWTHAachen,Germany
DirkBeyer UniversityofPassau,Germany
MicheleBoreale UniversitàdegliStudidiFirenze,Italy
EinarBrochJohnsen UniversityofOslo,Norway
FrankdeBoer CWI,Amsterdam,TheNetherlands
HolgerGiese UniversityofPotsdam,Germany
CatusciaPalamidessi INRIA,Saclay,France
GrigoreRosu UniversityofIllinoisatUrbana-Champaign,USA
Jean-BernardStefani INRIA,Grenoble,France(Chair)
HeikeWehrheim UniversityofPaderborn,Germany
X Organization
Additional Reviewers
Agrawal,Shreya Lenglet,Sergueï
Astefanoaei,Lacramioara Loreti,Michele
Azadbakht,Keyvan Mandel,Louis
Bauer,Matthew Marques,EduardoR.B.
Bettini,Lorenzo Martins,Francisco
Bezirgiannis,Nikolaos Massink,Mieke
Bracciali,Andrea Mateescu,Radu
Bresolin,Davide Mezzina,ClaudioAntares
Castellani,Ilaria Najm,Elie
Corzilius,Florian Ober,Iulian
Dalsgaard,AndreasEngelbredt Padovani,Luca
Dang,Thao Peressotti,Marco
DellaMonica,Dario Pessaux,François
Demangeon,Romain Phawade,Ramchandra
Denielou,Pierre-Malo Poulsen,DannyBøgsted
DiGiusto,Cinzia Prisacariu,Cristian
Dokter,Kasper Pérez,JorgeA.
Enea,Constantin Quinton,Sophie
Fehnker,Ansgar Ravi,Srivatsan
Foshammer,Louise Reniers,Michel
Francalanza,Adrian Rezine,Ahmed
Franco,Juliana S.Krishna
Griffith,Dennis Sangnier,Arnaud
Guha,Shibashis Serbanescu,VladNicolae
Henrio,Ludovic Sirjani,Marjan
Herbreteau,Frédéric TapiaTarifa,SilviaLizeth
Hirsch,Martin Tiezzi,Francesco
Höfner,Peter Trivedi,Ashutosh
Jongmans,Sung-ShikT.Q. Valencia,Frank
Kemper,Stephanie Wognsen,ErikRamsgaard
Kini,Dileep Xue,Bingtian
Laurent,Mounier