Call for Papers

Important Dates






Contact us

WS-FM 2006

3rd International Workshop on
Web Services and Formal Methods

8-9 September 2006, Vienna, Austria




September, 8th

 8.45  Start of registrations
 9.15  Opening by the chairs
 9.30-10.30 Invited talk:
DecSerFlow: Towards a Truly Declarative Service Flow Language
W.M.P. van der Aalst

10.30-11.00 Coffee break

11.00-12.30 Session: Service Choreography

Towards the Formal Model and Verification of Web Service Choreography
Description Language  
Zhao Xiangpeng, Yang Hongli, Qiu Zongyan

Execution Semantics for Service Choreographies
Gero Decker, Johannes Maria Zaha, Marlon Dumas

Choreography Conformance Analysis: Asynchronous Communications and
Information Alignment
Raman Kazhamiakin, Marco Pistore

12.30-14.30 Lunch

14.30-16.00 Session: Security and performance analysis

Verified Reference Implementations of WS-Security Protocols 
Karthikeyan Bhargavan, Cedric Fournet, Andrew D. Gordon

Application of Model Checking to AXML System's Security : A Case Study
Il-Gon Kim, Debmalya Biswas

Evaluating the Scalability of a Web Service-based Distributed E-Learning
and Course Management System 
Stephen Gilmore, Mirco Tribastone

16.00-16.30 Coffee break

16.30-18.00 Session: Service composition

A formal account of contracts for Web services
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani

A Formal Approach to Service Component Architecture
Jose Luiz Fiadeiro, Antonia Lopes, Laura Bocchi

Analysis and Verification of Time Requirements applied to the Web Services
Gregorio Diaz, Maria-Emilia Cambronero, M Llanos Tobarra Valentin Valero, 
Fernando Cuartero
20.00  Social dinner at restaurant Esterhazykeller 

September, 9th

 9.30-10.30 Invited talk:
SCC: a Service Centered Calculus
Roberto Bruni

10.30-11.00 Coffee break

11.00-12.30 Session: Service orchestration

Towards a Unifying Theory for Web Services Composition
Manuel Mazzara, Ivan Lanese

Translating Orc Features into Petri nets and the Join Calculus
Roberto Bruni, Hernan Melgratti, Emilio Tuosto

From BPEL Processes to YAWL Workflows
Antonio Brogi, Razvan Popescu

12.30-14.30 Lunch

14.30-15.30 Invited talk:
Service QoS composition at the level of part names
Schahram Dustdar

15.30-16.00 Coffee break

16.00-17.30 Session: Service discovery and invocation

Semantic Querying of Mathematical Web Service Descriptions 
Rebhi Baraka, Wolfgang Schreiner

Computational Logic for Run-Time Verification of Web Services Choreographies:
exploiting the SOCS-SI tool
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni

Dynamic Constraint-based Invocation of Web Services 
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito