Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

192 Pages·2010·3.38 MB·English

by  Jens Chr. Godskesen (auth.)

Lecture Notes in Computer Science 6116
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
Dave Clarke Gul Agha (Eds.)
Coordination
Models
and Languages
12th International Conference, COORDINATION 2010
Amsterdam, The Netherlands, June 7-9, 2010
Proceedings
1 3
VolumeEditors
DaveClarke
K.U.Leuven,DepartmentofComputerScience
Celestijnenlaan200A,3001Heverlee,Belgium
E-mail:[email protected]
GulAgha
UniversityofIllinois,ComputerScienceDepartment
201N.GoodwinAvenue,MC258,Urbana,IL61801,USA
E-mail:[email protected]
LibraryofCongressControlNumber:2010927442
CRSubjectClassification(1998):D.2,C.2,C.2.4,F.1.2,I.2.8,I.2.11,C.3
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
ISSN 0302-9743
ISBN-10 3-642-13413-0SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-13413-5SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©IFIPInternationalFederationforInformationProcessing2010
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper 06/3180
Foreword
In2010theinternationalfederatedconferencesonDistributedComputingTech-
niques (DisCoTec) took place in Amsterdam, during June 7–9. It was hosted
and organized by the Centrum voor Wiskunde en 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
services that are related to the latest trends for bridging the physical/virtual
worlds based on flexible and versatile service architectures and platforms. The
12thFormalMethodsforOpenObject-BasedDistributed Systemsandthe 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. The first day Joe Armstrong (Ericsson
Telecom AB) gave a keynote speech on Erlang-style concurrency, the second
day Gerard Holzmann (Jet Propulsion Laboratory, USA) discussed the ques-
tion“FormalSoftwareVerification:HowCloseAreWe?”The thirdandlastday
JoostRoelands(DirectorofDevelopmentNetlog)presentedtheproblemareaof
distributedsocialdata.Inaddition,therewasajointtechnicalsessionconsisting
ofone paper fromeachof the conferences andanindustrialsessionwith presen-
tations by A. Stam (Almende B.V., Information Communication 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 FirstInternationalWorkshoponInteractionsBetweenComputerSci-
ence and Biology (CS2BIO) with keynote lectures by Luca Cardelli (Microsoft
Research, Cambridge, UK) and J´erˆome Feret (INRIA and E´cole Normale Su-
prieure, Paris, France), the First Workshop on Decentralized Coordination of
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(UniversityofLeiden,TheNetherlands)andthemembersoftheOr-
ganizing Committee—Susanne van Dam, Immo Grabe, Stephanie Kemper and
Alexandra Silva. To conclude I want to thank the sponsorship of the Interna-
tionalFederationforInformationprocessing(IFIP),theCentrumvoorWiskunde
&InformaticaandTheNetherlandsOrganizationforScientificresearch(NWO).
June 2010 Frank S. de Boer
Preface
The12thInternationalConferenceonCoordinationModelsandLanguages,part
of the IFIP federated event on Distributed Computing Techniques, took place
in Amsterdam,The Netherlands,June 7–10,2010.Inthis age ofmulticore plat-
forms, service-oriented computing and the Internet of Things, Coordination
remains a relevant forum for the discussion of new techniques and models for
programmingandreasoningaboutdistributedandconcurrentsoftwaresystems.
The Program Committee received 28 submissions covering a range of topics
including the applicationofcoordinationin wirelesssystems,multicoreschedul-
ing, sensor networks, event processing, data flow networks and railway inter-
locking. Each submission was reviewed by at least three Program Committee
members. Papers submitted by Program Committee members received addi-
tional scrutiny. The review process included a shepherding phase whereby half
ofthe papersreceiveddetailedattentioninorderto producehigher-qualityfinal
submissions.
Afteracarefulandthoroughreviewprocess,theProgramCommitteeselected
12 papers for publication, based on their significance, originality and technical
soundness. The program was topped off by a captivating invited talk by Joe
Armstrong of Ericsson Telecom AB on Erlang-style concurrency.
The success of Coordination 2010was due to the dedicationof many peo-
ple. We thank the authorsfor submitting high-quality papers,and the Program
Committee and external reviewers for their careful reviews and thorough and
balanced deliberations during the selection process. We thank the providers of
theEasyChairconferencemanagementsystem,whichwasusedtorunthereview
processandtofacilitatethepreparationsoftheseproceedings.Finally,wethank
the Distributed Computing Techniques Organizing Committee.
June 2010 Dave Clarke
Gul Agha
Organization
Conference Committee
Program Committee Chairs
Dave Clarke Katholieke Universiteit Leuven, Belgium
Gul Agha University of Illinois at Urbana-Champaign,
USA
Program Committee
Mirko Viroli Universita` di Bologna, Italy
Shangping Ren Illinois Institute of Technology, USA
Marjan Sirjani Reykjavik University, Iceland
Patrick Eugster Purdue University, USA
Carolyn Talcott SRI, USA
Jean-Marie Jacquet University of Namur, Belgium
Wolfgang de Meuter Vrije Universiteit Brussel, Belgium
Carlos Canal Universidad de Ma´laga, Spain
Vasco T. Vasconcelos University of Lisbon, Portugal
Rocco De Nicola University of Florence, Italy
Susan Eisenbach Imperial College London, UK
Roberto Bruni University of Pisa, Italy
Amy L. Murphy ITC-IRST, Italy and University of Lugano,
Switzerland
John Field IBM Research, USA
MohammadReza Mousavi Eindhoven University of Technology,
The Netherlands
Additional Reviewers
Salvador Abreu Elisa Gonzalez Boix Dimitris Mostrous
Lucia Acciai Helle Hvid Hansen Elena Nardini
Tristan Allwood Hossein Hojjat Jos´e Proenc¸a
Francesco Calzolai K. R. Jayaram Rosario Pugliese
Marco Carbone Niels Joncheere Usman Raza
Matteo Casadei Jeroen J. A. Keiren Christophe Scholliers
Vincenzo Ciancia Narges Khakpour Ilya Sergey
Ferruccio Damiani Ramtin Khosravi Francesco Tiezzi
Joeri De Koster Nicholas Kidd Yves Vandriessche
Erik de Vink Ivan Lanese
Fatemeh Ghassemi Michele Loreti
X Organization
Coordination Steering Committee
Rocco De Nicola (Chair) University of Florence, Italy
Farhad Arbab Centrum Wiskunde & Informatica (CWI),
The Netherlands
Jan Vitek Purdue University, USA
Carolyn Talcott SRI, USA
Herbert Wiklicky Imperial College London, UK
Chris Hankin Imperial College London, UK
Doug Lea State University of New York at Oswego, USA
Gruia-Catalin Roman Washington University in Saint Louis, USA
Gianluigi Zavattaro University of Bologna, Italy
Jean-Marie Jacquet University of Namur, Belgium
Vasco T. Vasconcelos University of Lisbon, Portugal
Amy L. Murphy ITC-IRST, Italy and University of Lugano,
Switzerland
John Field IBM Research, USA
Distributed Computing Techniques Federated Event
Committee
General Chair
Frank S. de Boer Centrum Wiskunde & Informatica (CWI),
The Netherlands
Publicity Chair
Gianluigi Zavattaro University of Bologna, Italy
Workshops Chair
Marcello M. Bonsangue University of Leiden, The Netherlands
Organizing Committee
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
Table of Contents
Observables for Mobile and Wireless Broadcasting Systems............ 1
Jens Chr. Godskesen
BehaviouralContracts with Request-Response Operations............. 16
Lucia Acciai, Michele Boreale, and Gianluigi Zavattaro
NOW: A Workflow Language for Orchestration in Nomadic Networks... 31
Eline Philips, Ragnhild Van Der Straeten, and Viviane Jonckers
A Calculus for Boxes and Traits in a Java-Like Setting ............... 46
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca,
Kathrin Geilmann, and Jan Sch¨afer
JErlang:Erlang with Joins ........................................ 61
Hubert Plociniczak and Susan Eisenbach
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad
Hoc Networks ................................................... 76
Andoni Lombide Carreton and Theo D’Hondt
Compositional Construction of Real-Time Dataflow Networks.......... 92
Stephanie Kemper
Coordinating Resource Usage throughAdaptive Service Provisioningin
Wireless Sensor Networks ......................................... 107
Chien-Liang Fok, Gruia-Catalin Roman, and Chenyang Lu
Simulation and Analysis of Distributed Systems in Klaim ............ 122
Francesco Calzolai and Michele Loreti
Modelling Railway Interlocking Tables Using Coloured Petri Nets ...... 137
Somsak Vanit-Anunchai
Efficient Session Type Guided Distributed Interaction ................ 152
K.C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, and
Patrick Eugster
Scalable Efficient Composite Event Detection........................ 168
K.R. Jayaram and Patrick Eugster
Author Index.................................................. 183
Observables for Mobile and Wireless
Broadcasting Systems
Jens Chr. Godskesen(cid:2)
IT Universityof Copenhagen
Abstract. We discuss the presence of localities in observables for pro-
cess calculi for mobile and wireless broadcasting systems in the context
of weak barbed congruences and demonstrate that observability of the
localityofabroadcastingnodemaybeunsuitablewhenabstractingfrom
nodemobility,anaturalabstractioncurrentcalculiagreeupon.Thedis-
cussion is carried out through a calculus bAπ, a conservative extension
of the Applied π-calculus and a contribution of its own. Through ex-
amples we demonstrate the applicability of bAπ and its weak reduction
congruence, wherethelocality ofa broadcasting nodeisnot observable,
and we prove our bisimulation equivalence to be a sound and complete
co-inductivecharacterization of theweak reduction congruence.
1 Introduction
Recently we have seen a large interest in the development of calculi for mobile
andwirelessbroadcastingsystems,e.g.CBS#[13],CMN[7],theω-calculus[16],
andCMAN[5].1 Thecalculiaredefinedwiththepurposeofbeingabletomodel
andreasonaboutavarietyoftypesofsystemsspanningfromambientintelligence
over mobile ad-hoc, sensor, and mesh networks, to cellular networks for mobile
telephony. Because broadcasted messages will only reach the nodes within the
communication range of the emitting node all the calculi have in common that
the broadcast communication primitive is local (synchronous) broadcast. Also
the calculi agree on letting nodes autonomously and arbitrarily change their
neighbor relationship and thereby change the network topology. The calculi on
the other hand differ on their neighborhood representations, in particular only
in CMN the neighborhood relation is taken care of by a metric function that
tellsiftwophysicallocationsarecloseenoughtocommunicate.Theothercalculi
operate with logical locations without knowing physical distances but just the
neighborhood relationships.
Related Work. Often, as put forward in the seminal work on barbed bisim-
ulation [12,10], process calculi are equipped with a reduction semantics and
a reduction congruence where the latter is based on some kind of observables
(cid:2) Supportedby theVKR Centre of Excellence MT-LAB.
1 CWS[9]andTWCS[8]alsoconsiderwirelessbroadcastingsystemsbuttheydonot
cater for nodemobility.
D.ClarkeandG.Agha(Eds.):COORDINATION2010,LNCS6116,pp.1–15,2010.
(cid:2)c IFIPInternationalFederationforInformationProcessing2010