program / txt
FOCLASA 2005 — Workshop Programme
4th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2005
San Francisco, California (USA) — Saturday 27 August 2005
Organisers: Carlos Canal (Universidad de Málaga, Spain)
Mirko Viroli (Università di Bologna, Italy)
========================================================================
09:00 - 10:00 INVITED TALK
Processes as Types: A Generic Framework of Behavioral Type
Systems for Concurrent Processes
Atsushi Igarashi
Kyoto University, Japan
10:00 - 10:30 Coffee break
10:30 - 12:30 SESSION: PRACTICE
Capability-Passing Processes
Tom Chothia, Dominic Duggan
École Polytechnique, CNRS, France &
Stevens Institute of Technology, USA
Coordination as an Architectural Aspect
Carlos Cuesta, M. Pilar Romay, Pablo de la Fuente,
Manuel Barrio-Solórzano
Universidad de Valladolid, Spain &
Universidad Europea de Madrid, Spain
A Framework for Engineering Interactions in Open
Component-Based Systems
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Università di Bologna, Italy
Mobile Agents in Interaction Space
Frédéric Peschanski
University Pierre et Marie Curie - Paris 6, France
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION: THEORY
Formal Semantics and Analysis of Component Connectors in Reo
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
TU Eindhoven, The Netherlands; CWI, The Netherlands &
Tehran University and IPM, Iran
Connector Colouring I: Synchronisation and Context Dependency
Dave Clarke, David Costa, Farhad Arbab
CWI, The Netherlands
Modeling the Exogenous Coordination of Mobile Channel based
Systems with Petri Nets
Juan Guillen-Scholten, Farhad Arbab, Frank de Boer,
Marcello Bonsangue
CWI, The Netherlands & Leiden University, The Netherlands
15:30 - 16:00 Coffee break
16:00 - 17:00 SESSION: ORCHESTRATION
Designing a BPEL Orchestration Engine based on ReSpecT
tuple centres
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Università di Bologna, Italy
Formalizing WSBPEL Business Processes using Process Algebra
Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo
University of Málaga, Spain
16:00 - 17:00 CLOSING SESSION
Final discussion and workshop wrap-up
========================================================================
Transcribed from the workshop site, which survives only in the Wayback Machine:
http://web.archive.org/web/20091227213403/http://foclasa05.lcc.uma.es/welcome.html
Titles, names and affiliations are as published there — including the two
sessions both printed as 16:00 - 17:00.
