Back
|
WS-FM 2005 Program
Thursday, september 1st
| 12:30 - 17:30 |
Registration |
| 13:45 |
Opening Session |
| 14:00 |
Keynote Speaker: Peter Harrison, Imperial College
London
Performance Engineering and Stochastic Modelling |
| 15:00 |
--Coffee Break-- |
|
Session I: Transaction and compensation |
| 15:30 |
Executable Semantics for Compensating CSP
Michael Butler, University of Southampton
Shamim Ripon, University of Southampton |
| 16:05 |
From Theory to Practice in Transactional Composition of Web Services
Roberto Bruni, Dipartimento di Informatica - Universita' di Pisa
Gianluigi Ferrari, Dipartimento di Informatica - Universita' di Pisa
Hernan Melgratti, Dipartimento di Informatica - Universita' di Pisa
Ugo Montanari, Dipartimento di Informatica - Universita' di Pisa
Daniele Strollo, Istituto Alti Studi IMT Lucca, Italy
Emilio Tuosto, Dipartimento di Informatica - Universita' di Pisa |
| 16:40 |
Timing Issues in Web Services Composition
Manuel Mazzara, Department of Computer Science, University of Bologna |
| 17:15 |
End of the afternoon session |
| 18:00 |
-- Cocktail -- |
Friday, september 2nd
| 9:00 |
Keynote Speaker: Gianfranco Ciardo, University of
California
Implicit representations and algorithms for the logic and
stochastic analysis of discrete--state systems |
| 10:00 |
--Coffee Break-- |
|
Session II: Semantics and verification |
| 10:30 |
A Compositional Operational Semantics for OWL-S
Barry Norton, University of Sheffield
Simon Foster, University of Sheffield
Andrew Hughes, University of Sheffield
|
| 11:05 |
A Parametric Communication Model for the Verification of BPEL4WS
Compositions
Raman Kazhamiakin, DIT, University of Trento
Marco Pistore, DIT, University of Trento |
| 11:40 |
Verifying the conformance of web services to global interaction
protocols: a first step
Matteo Baldoni, Dipartimento di Informatica, Universita' degli Studi di Torino
Cristina Baroglio, Dipartimento di Informatica, Universita' degli Studi di
Torino
Alberto Martelli, Dipartimento di Informatica, Universita' degli Studi di
Torino
Viviana Patti, Dipartimento di Informatica, Universita' degli Studi di Torino
Claudio Schifanella, Dipartimento di Informatica, Universita' degli Studi
di Torino |
| 12:15 |
Application of Formal Methods to the Analysis of Web Services Security
Llanos Tobarra, Universidad de Castilla-La Mancha.
Diego Cazorla, Universidad de Castilla-La Mancha.
Fernando Cuartero, Universidad de Castilla-La Mancha.
Gregorio Diaz, Universidad de Castilla-La Mancha. |
| 12:50 |
-- Lunch Break -- |
| 14:30 |
Keynote Speaker: Cosimo Laneve, University of
Bologna
PiDuce: A Process Calculus with Native XML Datatypes |
| 15:30 |
--Coffee Break-- |
|
Tools Session |
| 16:00 |
WofBPEL/BPEL2PNML
Marlon Dumas, Queensland University, Australia |
| 16:25 |
ASTRO
Raman Kazhamiakin and Marco Pistore, University of Trento, Italy |
| 16:50 |
JSAGA
Daniele Strollo, IMT Lucca, Italy
Nicola Zappone, University of Pisa, Italy |
| 17:15 |
An Analyzer and an Advisor for Web Services Security Policies
Karthik Bhargavan, Microsoft Research LTD, Cambridge, UK |
| 17:40 |
PiDuce
Samuele Carpineti and Luca Padovani, University of Bologna, Italy |
| 18:05 |
TLA+ Eclipse Plugin
Boris Gruschko, Hamburg University of Technology, Germany |
| 18:30 |
End of the afternoon session |
| 19:30 |
-- Workshop Diner --
La Flotille, Château de Versailles Gardens |
Saturday, september 3rd
| 9:00 |
Keynote Speaker: Wil van der Aalst, Eindhoven
University of Technology
Life After BPEL ? |
| 10:00 |
--Coffee Break-- |
|
Session III: Service choreography |
| 10:30 |
Reasoning about interaction patterns in Choreography
Roberto Gorrieri, Dep. of computer Science, University of Bologna
Claudio Guidi, Dep. of computer Science, University of Bologna
Roberto Lucchi, Dep. of computer Science, University of Bologna |
| 11:05 |
Automatic Translation of WS-CDL Choreographies to Timed Automata
Diaz Gregorio, University of Castilla - La Mancha
Pardo Juan José, University of Castilla - La Mancha
Cambronero Maria Emilia, University of Castilla - La Mancha
Valero Valentin, University of Castilla - La Mancha
Cuartero Fernando, University of Castilla - La Mancha |
| 11:40 |
Choreographing security and performance analysis for Web services
Stephen Gilmore, The University of Edinburgh
Valentin Haenel, The University of Edinburgh
Leila Kloul, Universite de Versailles
Monika Maidl, Siemens AG |
| 12:15 |
-- Lunch -- |
|