Home
Images
Programme
|
WS-FM 2006
3rd International Workshop on
Web Services and Formal Methods
8-9 September 2006, Vienna, Austria
PROVISIONAL PROGRAMME (New:
Social Dinner)
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
Composition
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
|