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