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