Lecture Notes in Computer Science 2949Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

3BerlinHeidelbergNew YorkHong KongLondonMilanParisTokyo

Rocco De Nicola Gianluigi FerrariGreg Meredith (Eds.)

CoordinationModelsand Languages

6th International Conference, COORDINATION 2004Pisa Italy, February 24-27, 2004Proceedings

1 3

Series Editors

Gerhard Goos, Karlsruhe University, GermanyJuris Hartmanis, Cornell University, NY, USAJan van Leeuwen, Utrecht University, The Netherlands

Volume Editors

Rocco De NicolaUniversita. di Firenze, Dipartimento di Sistemi e InformaticaVia Lombroso 6/17, 50134 Firenze, ItalyE-mail: denicola@dsi.unifi.it

Gianluigi FerrariUniversita di Pisa, Dipartimento di InformaticaVia F. Buonarroti, 2, 56127 Pisa, ItalyE-mail: giangi@di.unipi.it

Greg MeredithMicrosoft CorporationRedmont, WA 98052-6399, USAE-mail: gregmer@microsoft.com

Cataloging-in-Publication Data applied for

A catalog record for this book is available from the Library of Congress.

Bibliographic information published by Die Deutsche BibliothekDie Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie;detailed bibliographic data is available in the Internet at <http://dnb.ddb.de>.

CR Subject Classification (1998): D.1.3, C.2.4, F.1.2, D.2.4, I.2.11

ISSN 0302-9743ISBN 3-540-21044-X Springer-Verlag Berlin Heidelberg New York

This work is subject to copyright. All rights are reserved, whether the whole or part of the material isconcerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publicationor parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,in its current version, and permission for use must always be obtained from Springer-Verlag. Violations areliable for prosecution under the German Copyright Law.

Springer-Verlag is a part of Springer Science+Business Media

springeronline.com

c© Springer-Verlag Berlin Heidelberg 2004Printed in Germany

Typesetting: Camera-ready by author, data conversion by DA-TeX Gerd BlumensteinPrinted on acid-free paper SPIN: 10986257 06/3142 5 4 3 2 1 0

Preface

The 6th International Conference on Coordination Models and Languages (Co- ordination 2004) was held at the Computer Science Department of Pisa Univer- sity, Italy, on February 24-27 2004. The previous conferences in this series took place in Cesena (Italy), Berlin (Germany), Amsterdam (Netherlands), Liiasol (Cyprus), and York (UK). Building on the success of these events, the latest conference provided a forum for the growing community of researchers inter- ested in models, languages, and implementation techniques for coordination and component-based software, as well as applications that exploit them.

The need for increasing programming productivity and rapid development of complex systems provides the pragmatic motivation for the development of coordination/orchestration languages and models. The intellectual excitement associated with such endeavors is rooted in the decadeold desire to leverage off increasingly higher levels of abstractions. Coordination-based methods provide a clean separation between individual software components and their interactions within their overall software or~dzat ion. Coordination is relevant in design, - development, debugging, maintenance, and reuse of all complex concurrent and distributed svstems. S~ecificallv, coordination becomes paramount in the context of open sys<kns, systkns with mobile entities, and dynamically recodgurable evolving systems. Moreover, coordination models and languages focus on such key issues in component-based software engineering as specification, interaction, and dynamic compositions. More recently, market trends brought on by the commercialization of the World-Wide Web, have fuelled a new level of interest in coordination-based approaches in industry. Applications like B i z W , standards l i e the Web services' WS-* family, and contending coordination standards like BEPL4WS and WSCI, are all examples of this phenomenon. This interest is opening up new opportunities both to apply coordination-based techniques to a broad class of applications as well as to grapple with potentially new kinds of requirements coming from Internet-scale scenaria.

The main topics of the conference included: theoretical models and founda- tions for coordination, coordination middleware, specification, refinement, and analysis of software architectures, architectural and interface definition languages, agent-oriented languages and models, dynamic software architectures, compo- nent programming, Web services, coordination in peer-to-peer and grid comput- ing, tools and environments for the development of coordinated applications, industrial relevance of coordination and software architectures, domain-specific software coordination models, and case studies.

The Program Committee, consisting of 23 members, considered 72 papers and selected 20 for presentation. These papers were selected on the basis of originality, quality and relevance to the topic of the conference. These proceeding include the revised version of the 20 accepted papers, and the abstracts of the invited talks by Gerard Boudol (Inria Sophia Antipolis, hnce ) , Fabio Casati (HP Labs) USA) and Paola Inverardi (Universitd dell'Aquila) Italy).

Paper selection was a difficult and challenging task, and many good submie- sions had to be rejected. Each submission was refereed by at least four reviewers,

and some had five reports or more. We are very grateful to all the program com- mittee members, who devoted much effort and valuable time to read and select the papers. In addition, we gratefully &owledge the help of a large number of colleagues who reviewed submissions in their area of expertise. They are all listed below. We apologize for any inadvertent omissions.

Following the example of previous editions, we encouraged authors to submit their contributions in electronic format. We handled the submissions with Conf- Man (http://confman.unik.no/-confman) a free Web-baaed paper submission and reviewing system. With reference t o this, we would like to thank Antonio Cisternino who managed a lot at crucial steps of the whole process. His computer skill and the time and effort he invested were crucial ingredients in our running of the program committee. Moreover, we would like to thank Roberto Bruni and Emilio lhmto who managed the activity of editing the proceedings.

Finally, we would like to thank all the authors who submitted their papers for making this conference possible, the Program Committee members, as well as all the conference participants.

February 2003 Rocco De Nicola G i i u i g i Ferrari

Greg Meredith

Program Co-chair Rocco De Nicola Greg Meredith

Program Committee Roberto Amadio Farhad Arbab Marcelo Bonaangue Paolo Ciancarini Gianluigi Ferrari Jd Fiadeiro Chris Hankin Jean-Marie Jacquet Antonia Lopes Jeff Magee George Papadopoulos Gian Pietro Picco h a r i o Pugliese Gruia-Catalin Roman Ant Rowstrom Viay Saraswat Carolin Talcott . Robert Tolksdorf Herbert Wiklicky Alan Wood Franco Zambonelli

Universith di Firenze, Italy Microsoft, USA

Univ. Marseilles, France CWI, The Netherlanda Leiden University, The Netherlands Univ. Bologna, Italy Univ. Pisa, Italy Univ. Leicester, UK Imperial College, UK Univ. Namur, Belgium Univ. Lisbon, Portugual Imperial College, UK Univ. Cyprus, Cyprus Politecnico di Milano, Italy Univ. Firenze, Italy Washington University in St. Louis, USA Microsaft Cambridge, UK IBM Research, USA SRI, USA Free University of Berlin, Germany Imperial College, UK Univ. York, UK Univ. Modena, Italy

Sponsoring Organizations

,343

Unfwr.lll dl Diputlmmto dl 1nIorm.tIc. Unlvarml(& dl P l u P d a Dldattloo F i b m ~ ~ 1

Pima U ~ l v a d I l dl PI..

Organizing Chair

Gianluigi Ferrari

Organizing Committee

Mlcr~.& Rue.toh M l o d brpar-rlm USA

Universith di Piia, Italy

Andrea Bracciali, Roberto Bruni, Antonio Cisternino, Dan Hirsch, Laura Semini, Emilio Thosto

Referees

Marco Aldinucci A n d m And- Pedro Antunea Lorenu) Bettini Michele Boreale Pietro Braione Antonio Bmgi Roberto Bruni Marzia Buseemi Nathan Caswell Giorgos Chrysanthou Silvano Dal Zio Vincent Dmos Oiorgio GheIli Daniele Gorla

, Juan Guillen-Scho1tern Dan H i d Coaimo Laneve

Aleamdro Lapad& Michele Loreti Marco Mamei Luis Monir Pavlos Moraitia Amy L. Murphy Anna Philippou Darrelt Rsimer Laura Semini Sirnone Semprini &on van der Torre Emilio Thwta

Vanackere V m o Vaacondm M.J. Wiering . Gianluigi Zavattaro Sarah Zennou Peter Zaeteweij

Table of Contents

Invited Talks

A Reactive Programming Model for Global Computing ............................................................ G h r d Boudol.. 1

Open Issues and Opportunities in Web Services Modeling, Development, and Management

.............................................................. Fabio Casati.. 2

Compositionality, Coordination and Software Architecture ............................................................. Paola Invemrdi 3

Contributed Papers

Problem Frames: A Case for Coordination L. Bamca, J.L. Fiadeiro, M. Jackson, R. hney, and B. Nuseibeh.. ........ 5

O'KLAIM: A Coordination Language with Mobile Mixins Lorenzo Bettini, Vimana Bono, and Betti Venneri ......................... Ul On Calculi for Context-Aware Coordination

.................................... Pietro Braione and Gian Pietro Piceo.. 38

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model Mario Bmvetti, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavottaro ................................................... 55

Measuring Component Adaptation Antonio Brogi, Carloa Canal, and Erneato Pimentel ....................... 71

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Pansactions - Michael Butler and Carla Ferreim ......................................... 87

From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming

.................. Sirio Capizzi, Riccardo Solma, and Gianluigi Zavattm.. 105

Probabilistic KLAIM Alemandm Di Pieno, Chris Hankin, and Herbert Wiklicky.. .............. 119

X Thble of Contents

A Lightweight Coordination Middleware for Mobile Computing Chien-Liang Fok, Gruia-Catalin Roman, and Gregory Hackmann ......... 135

Enforcement of Communal Policies for P2P Systems Mihail Ioneseu, Naftdg Minska,, and Thu D. Nguyen ..................... 152

An Infrastructure to Build Secure Shared Grid Space Javier J a h and Elena Nawarro.. ......................................... 170

Optimistic Concurrency Semantics for lkansaetions in Coordination Languages Suresh Jagannathan and Jan Vitek ....................................... 183

Active Coordination in Ad Hoc Networks Chdstine Julien and Gnria-Catalin Roman.. ............................. 199

CoorSet: A Development Environment for Associatively Coordinated Components Kevin Kane and James C. Browne ....................................... 216

On the Expressiveness of Absolute-Time Coordination Languages I. Linden and J.-M. Jaquet .............................................. 232

Logic Based Coordination for Event-Driven Self-healing Distributed Systems Carlo Montangem, Laum Semini, and Simone Semprini .................. 248

Using Coordination Middleware For Location-Aware Computing: A LIME Case Study Amg L. Murphy and Gian Pietw Picco ................................... 263

VIPER: A VIsual Protocol EditoR C. F. B. Rooney, R. W. Collier, and G. M. P. O'Hare ................... 279

Social Control Mechanisms to Coordiite an Unreliable Agent Society Hamid Haidarian Shahri and M. Reza Meybodi ........................... 294

A Component-Based Parallel Constraint Solver Peter Zoeteweij and Farhad Arbab ........................................ 307

Author Index .......................................................... 323