COORDINATION 2002


Conference Programme

Monday 8th April

0800

Registration and coffee

 

0845

Opening Session

 


Session Chair

0900

Invited Talk

Jim Waldo

Farhad Arbab

Coordination and System Design in a Network-Centric Age

Sun Microsystems, Inc.

1000

Coffee

1030

Using Logical Operators as an Extended Coordination Mechanism in Linda

Jim Snyder and Ronaldo Menezes

1110

Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility

Gian Pietro Picco and Marco Buschini

1150

Service Provision in Ad Hoc Networks

Radu Handorean and Gruia-Catalin Roman

1230

Lunch

 

1400

Extending the Matching Facilities of Linda

George Wells, Alan Chalmers and Peter Clayton

Rocco De Nicola

1420

State- and Event-based Reactive Programming in Shared Dataspaces

Nadia Busi, Antony Rowstron, and Gianluigi Zavattaro

1500

Coordination for Orchestration

Luis Andrade, Jose Fiadeiro, Joao Gouveia, Georgios Koustoukos, and Michel Wermelinger

1520

Exogenous and Endogenous Extensions of Architectural Types

Marco Bernardo and Francesco Franze'

1600

Tea

1630

Coordinating Mobile Object-Oriented Code

Lorenzo Bettini, Viviana Bono, and Betti Venneri

1710

Coordination Through Channel Composition

Farhad Arbab and Farhad Mavaddat

1750

End

 

1900

Conference Reception

St William's College

 


Tuesday 9th April

0900

Invited Talk

Michael Wooldridge

Session Chair

Time, Knowledge, and Cooperation: Alternating-time Temporal Epistemic Logic and its Applications

University of Liverpool

Alan Wood

1000

Coffee

1030

A Recovery Technique Using Multi-Agent in Distributed Computing Systems

Hwa-Min Lee, Kwang-Sik Chung, Sang-Chul Shin, Dae-Won Lee, Won-Gyu Lee, and Heon-Chang Yu

1110

Objective vs. Subjective Coordination in Agent-based Systems: A Case Study

Alessandro Ricci, Andrea Omicini, and Enrico Denti

1130

An interaction model for cooperative virtual teams

Samir Tata

1150

Criteria for the Analysis of Coordination in Multi-Agent Applications

Rejane Frozza and Luis Otávio Alvares

1210

CoLaS* a Coordination Framework for CoLaS like Dialects

Juan Carlos Cruz

1230

Lunch

 

1400

Coordination in a Reflective Architecture Description Language

Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, and M. Encarnación Beato

Jean-Marie Jacquet

1420

Integrating Two Organisational Systems Through Communication Genres

Carlos Costa

1440

A Framework for Coordinating Parallel Branch and Bound Algorithms

Andries Stam

1500

Coordinating Software Evolution Via Two-Tier Programming

Amnon Eden and Jens Jahnke

1520

Dynamically adapting the behaviour of software components

Andrea Bracciali, Antonio Brogi, and Carlos Canal

1540

An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions

José Antonio Pérez Castellanos, Rafael Corchuelo Gil, David Ruiz Cortés, and Miguel Toro Bonilla

1600

Tea

1630

Scheduling Under Uncertainty: Planning for the Ubiquitous Grid

Pedram Keyani, Neal Sample, and Gio Wiederhold

1710

The cost of communication protocols and interaction languages in embedded systems

Kees Goossens and Om Prakash Gangwal

1750

End

 

 

 

 

 


Wednesday 10th April

0900

Invited Talk

Perdita Stevens

Session Chair

Playing Games with Software Design

University of Edinburgh

Antonio Porto

1000

Coffee

1030

The Spacetub Models and Framework

Robert Tolksdorf and Gregor Rojec-Goldmann

1110

PN^2: An Elementary Model for Design and Analysis of Multi-agent Systems

Kunihiko Hiraishi

1150

Formalizing Properties of Mobile Agent Systems

Lorenzo Bettini, Rocco De Nicola, and Michele Loreti

1230

Lunch

 

1400

Free afternoon

 

1900

Conference Dinner

National Railway Museum

 


Thursday 11th April

 

 

 

Session Chair

0900

Towards a colimit-based semantics for visual programming

Jeremy Gibbons

Robert Tolksdorf

0920

An Associative Broadcast Based Coordination Model for Distributed Processes

James C. Browne, Kevin Kane, and Hongxia Tian

1000

Coffee

1030

Semantics of Protocol Modules Composition and Interaction

Pawel Wojciechowski, Sergio Mena, and Andre Schiper

1110

Operational Semantics for Coordination in Paradigm

Luuk Groenewegen and Erik de Vink

1150

Tuple-based Models in the Observation Framework

Mirko Viroli and Andrea Omicini

1230

Lunch

 

1400

Formal Specification of JavaSpaces Architecture using mCRL

Jaco van de Pol and Miguel Valero Espada

Carolyn Talcott

1440

Concurrent Semantics for the Web Services Specification Language DAML-S

Anupriya Ankolekar, Frank Huch, and Katia Sycara

1500

Tea

 

1530

Plenary Session

 

1700

Closing

 

1715

Finish