Programme
Thursday, September 1st
| 14.00-14.05 | Workshop Welcome |
| 14.05-15.30 | Session 1 - Session Chair: Marco Carbone |
| 14.05-15.00 |
Invited Talk Understanding Distributed Services through the pi-Calculus Kohei Honda, Queen Mary University of London, UK |
| 15.00-15.30 |
Reliable Contracts for Unreliable Half-Duplex Communications E. Lozes and J. Villard |
| 15.30-16.00 | |
| 16.00-18.00 | Session 2 - Session Chair: TBA |
| 16.00-16.30 |
Behavior Based Service Composition F. Chang, P. Prabhakar and R. Viswanathan |
| 16.30-17.00 |
Compatibility of Data-Centric Web Services L. Helouet, A. Benveniste and B. Masson |
| 17.00-17.30 |
Integrating Time and Exceptional Behavior in Multiparty Structured Interactions H.A. Lopez and J.A. Perez |
| 17.30-18.00 |
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective M. Mazzara, F. Abouzaid, N. Dragoni and A. Bhattacharyya |
Friday, September 2nd
| 09.00-10.30 | Session 3 - Session Chair: Jean-Marc Petit |
| 09.00-10.00 |
Invited Talk A Sorted-Graph Unification Approach to the Semantic Web Hassan Ait-Kaci, IBM Canada |
| 10.00-10.30 | An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework J. Mateo, V. Valero and G. Diaz |
| 10.30-11.00 | |
| 11.00-12.30 | Session 4 - Session Chair: TBA |
| 11.00-11.30 |
Design of a BPEL Verification Tool E. Fares, JP Bodeveix and M. Filali-Amine |
| 11.30-12.00 | Applying Process Analysis to the Italian eGovernment Enterprise Architecture R. Bruni, A. Corradini, G. Ferrari, T. Flagella, R. Guanciale and G. Spagnolo |
| 12.00-12.30 |
Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures J. Gallino, M. De Miguel, J. Briones and A. Alonso |
