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 --