Lecture Notes in Computer Science 6115 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum Max-PlanckInstituteofComputerScience,Saarbruecken,Germany Frank Eliassen Rüdiger Kapitza (Eds.) Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings 1 3 VolumeEditors FrankEliassen UniversityofOslo,DepartmentofInformatics P.O.Box1080Blindern,0316Oslo,Norway E-mail:frank@ifi.uio.no RüdigerKapitza Friedrich-AlexanderUniversityErlangen-Nuremberg,ComputerScience4 Martensstraße1,91058Erlangen,Germany E-mail:[email protected] LibraryofCongressControlNumber:2010927935 CRSubjectClassification(1998):C.2,D.2,H.4,H.5,H.3,C.4 LNCSSublibrary:SL5–ComputerCommunicationNetworks andTelecommunications ISSN 0302-9743 ISBN-10 3-642-13644-3SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-13644-3SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. springer.com ©IFIPInternationalFederationforInformationProcessing 2010 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper 06/3180 Foreword In2010theInternationalFederatedConferenceonDistributedComputingTech- niques(DisCoTec)tookplaceinAmsterdam,duringJune7-9.Itwashostedand organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects rangingfrom theoreticalfoundations to formalspecification techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verificationand analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interoper- able Systems in particular elicited contributions on architectures, models, tech- nologies and platforms for large-scaleand complex distributed applications and servicesthatarerelatedtothelatesttrendstowardsbridgingthephysical/virtual worlds based on flexible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniquesforNetworkedandDistributedSystemstogetheremphasized distributed computing models and formal specification, testing and verification methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences. On the first day Joe Armstrong (Erics- son Telecom AB) gave a keynote speech on Erlang-style concurrency, and on the second day Gerard Holzmann (Jet Propulsion Laboratory, USA) discussed the question “Formal Software Verification: How Close Are We?”. On the third and last day Joost Roelands (Director of Development Netlog) presented the problem area of distributed social data. In addition, there was a joint technical session consisting of one paper from each of the conferences and an industrial session with presentations by A. Stam (Almende B.V., Information Communi- cation Technologies) and M. Verhoef (CHESS, Computer Hardware & System Software) followed by a panel discussion. There were four satellite events: the Third DisCoTec Workshop on Context- aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAM- PUS), the First International Workshop on Interactions Between Computer Science and Biology (CS2BIO) with keynote lectures by Luca Cardelli (Mi- crosoftResearch-Cambridge,UK)andJ´erˆomeFeret(INRIAandE´coleNormale Sup´erieure-Paris,France),theFirstWorkshoponDecentralizedCoordinationof Distributed Processes (DCDP) with a keynote lecture by Tyler Close (Google), and the Third Interactionand Concurrency Experience Workshopwith keynote lectures by T. Henzinger (IST, Austria) and J.-P. Katoen (RWTH Aachen Uni- versity, Germany). VI Foreword Ihopethisrichprogramofferedeveryparticipantinterestingandstimulating events.It wasonly possible thanks to the dedicatedwork ofthe Publicity Chair GianluigiZavattaro(UniversityofBologna,Italy),theWorkshopChairMarcello Bonsangue (University of Leiden, The Netherlands) and the members of the OrganizingCommittee,SusannevanDam,ImmoGrabe,StephanieKemperand AlexandraSilva.ToconcludeIwanttothankthesponsorshipoftheInternational Federation for Information processing (IFIP), the Centrum voor Wiskunde & Informatica and the Netherlands Organization for Scientific Research (NWO). June 2010 Frank S. de Boer Preface This volume contains the proceedings of DAIS 2010, the IFIP International Working Conference on Distributed Applications and Interoperable Systems. TheconferencewasheldinAmsterdam,TheNetherlands,duringJune7-9,2010 aspartofDisCoTec(DistributedComputingTechniques)FederatedConference, togetherwiththeInternationalConferenceonFormalTechniquesforDistributed Systems (FMOODS & FORTE) and the InternationalConference onCoordina- tion Models and Languages (COORDINATION). The DAIS 2010 conference was sponsored by IFIP (International Federation for Information Processing) in-cooperation with ACM SIGSOFT and ACM SIGAPP, and it was the tenth conference in the DAIS series of events organizedby IFIP Working Group 6.1. The conference program presented the state of the art in research on dis- tributed and interoperable systems. Distributed application technology has become a foundation of the informa- tion society. New computing and communication technologies have brought up a multitude of challengingapplication areas,including mobile computing,inter- enterprisecollaborations,ubiquitous services,service-orientedarchitectures,au- tonomous and self-adapting systems, peer-to-peer systems, just to name a few. New challenges include the need for novel abstractions supporting the develop- ment, deployment, management, and interoperability of evolutionary and com- plexapplicationsandservices,suchasthosebridgingthephysical/virtualworlds. Therefore,the linkage betweenapplications,platformsand usersthroughmulti- disciplinary user requirements (like security, privacy, usability, efficiency, safety, semantic and pragmatic interoperability of data and services, dependability, trustand self-adaptivity)becomes ofspecialinterest. Itis envisagedthatfuture complex applications will far exceed those of today in terms of these require- ments. The main part of the conference programcomprised presentations of the ac- ceptedpapers.Thisyear,thetechnicalprogramofDAISdrewfrom53submitted papers.Allpaperswerereviewedbyatleastthreereviewers.Afterinitialreviews were posted, a set of candidate papers were selected and subject to discussion among the reviewers and Program Committee Chairs to resolve differing view- points.Asaresultofthisprocess,17fullpaperswereselectedforinclusioninthe proceedings. The papers presented at DAIS 2010 address integration and QoS provisioning of ubiquitous services and applications, grid computing including reconfiguration languages and volunteer computing, sensor network distributed programmingand middleware,context-awareness,compositionand discoveryof ubiquitousservices,fault-toleranceandfault-tolerantcontrollers,cloudandclus- ter computing, and adaptive and (re)configurable systems. Finally, we would like to take this opportunity to thank the numerous peo- ple whose work made this conference possible. We wish to express our deepest VIII Preface gratitude to the authors of submitted papers, to all Program Committee mem- bers for their active participation in the paper review process, to all external reviewers for their help in evaluating submissions, to the Centrum Wiskunde & Informatics (CWI) for hosting the event, to the Publicity Chairs, to Romain Rouvoy who took care of the practical work with the proceedings, to the DAIS SteeringCommittee fortheir advice,andto FrankS.de Boerforacting asGen- eral Chair of the joint event. June 2010 Frank Eliassen Ru¨diger Kapitza DAIS 2010 Organization Executive Committee ProgramChairs: Frank Eliassen (University of Oslo, Norway) Ru¨diger Kapitza (University of Erlangen, Germany) Publicity Chairs: HansP.Reiser(UniversityofLisbon,Portugal) Johan Fabry (Universidad de Chile, Chile) Charles Zhang (Hong Kong University of Science and Technology, China) Gianluigi Zavattaro (University of Bologna, Italy) Proceedings Chair: Romain Rouvoy (University of Lille 1, France) Steering Committee Kurt Geihs University of Kassel, Germany Jadwiga Indulska University of Queensland, Australia Lea Kutvonen University of Helsinki, Finland Elie Najm ENST, France Rui Oliveira Universidade do Minho, Portugal Ren´e Meier Trinity College Dublin, Ireland Twittie Senivongse ChulalongkornUniversity, Thailand Sotirios Terzis University of Strathclyde, UK Sponsoring Institutions IFIP WG 6.1 ACM SIGSOFT ACM SIGAPP Program Committee M. Aoyama Nanzan University, Japan J. E. Armenda´riz-´In˜igo Universidad Pu´blica de Navarra, Spain D. Bakken Washington State University, USA Y. Berbers Katholieke Universiteit Leuven, Belgium A. Beresford University of Cambridge, UK A. Beugnard TELECOM Bretagne, France G. Blair Lancaster University, UK X Organization A. Casimiro University of Lisbon, Portugal E. Cecchet University of Massachusetts, USA I. Demeure ENST, France S. Dobson University of St. Andrews, UK J. Dowling SICS, Sweden D. Donsez Universit´e Joseph Fourier - Grenoble 1, France N. Dulay Imperial College London, UK F. Eliassen University of Oslo, Norway S. Elnikety Microsoft Research, USA P. Felber Universit´e de Neuchˆatel, Switzerland K. Geihs University of Kassel, Germany N. Georgantas INRIA, France K. Go¨schka Vienna University of Technology, Austria R. Grønmo SINTEF, Norway D. Hagimont INP Toulouse, France S. Hallsteinsen SINTEF, Norway P. Herrmann NTNU Trondheim, Norway J. Indulska University of Queensland, Australia R. Kapitza University of Erlangen-Nu¨rnberg,Germany H. Ko¨nig BTU Cottbus, Germany R. Kroeger Wiesbaden University of Applied Sciences, Germany L. Kutvonen University of Helsinki, Finland W. Lamersdorf University of Hamburg, Germany M. Lawley QueenslandUniversityofTechnology,Australia P. Linington University of Kent, UK C. Linnhoff-Popien Munich University, Germany K. Lund Norwegian Defence Research Establishment (FFI), Norway R. Macˆedo Federal University of Bahia, Brazil R. Meier Trinity College Dublin, Ireland A. Montresor University of Trento, Italy E. Najm ENST, France N. Narasimhan Motorola Labs, USA R. Oliveira Universidade do Minho, Portugal G. Pierre VrijeUniversiteitAmsterdam,TheNetherlands P. Pietzuch Imperial College London, UK A. Puder State University San Francisco, USA R. Rouvoy University of Lille 1, France D. Schmidt Vanderbilt University, USA T. Senivongse ChulalongkornUniversity, Thailand Organization XI K. Sere ˚Abo Akademi University, Finland S. Terzis University of Strathclyde, UK H. Yokota Tokyo Institute of Technology, Japan Distributed Computing Techniques 2010 Organizing Committee Frank S. de Boer Centrum Wiskunde & Informatica (CWI), The Netherlands (General Chair) Susanne van Dam Centrum Wiskunde & Informatica (CWI), The Netherlands Immo Grabe Centrum Wiskunde & Informatica (CWI), The Netherlands Stephanie Kemper Centrum Wiskunde & Informatica (CWI), The Netherlands Alexandra Silva Centrum Wiskunde & Informatica (CWI), The Netherlands Gianluigi Zavattaro University of Bologna, Italy (Publicity Chair) Marcello M. Bonsangue University of Leiden, The Netherlands (Workshops Chair) Additional Referees L. Broto F.A. Kraemer L. Seinturier S. Chollet L. Laibinis G. Simon A. Diaconescu R. Lasowski A. Vilenica I. Dionysiou J. Pereira Y. Watanabe M. Du¨rr L. Petre K. Weckemann H. Gjermundrød W. Rudametkin T. Weise K. Hamann P. Sandvik M. Werner T. H¨onig S. Schober K. Jander M. Segarra