Back

WS-FM 2005

2nd International Workshop on
Web Services and Formal Methods

Versailles, 1-3 September 2005
France

Accepted Papers

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

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. 

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

Executable Semantics for Compensating CSP 

Michael Butler, University of Southampton
Shamim Ripon, University of Southampton

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

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

Timing Issues in Web Services Composition 

Manuel Mazzara, Department of Computer Science, University of Bologna

A Compositional Operational Semantics for OWL-S 

Barry Norton, University of Sheffield
Simon Foster, University of Sheffield
Andrew Hughes, University of Sheffield

A Parametric Communication Model for the Verification of BPEL4WS Compositions 

Raman Kazhamiakin, DIT, University of Trento
Marco Pistore, DIT, University of Trento 

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