| 9:00 |
Registration |
| 9:20 |
Welcome |
| 9:30 |
Invited Talk - Design-time and Run-time Analysis of Web Service Compositions |
|
Paolo Traverso |
| 10:30 |
Session 1 - Web Services Orchestration I |
|
| 10:30 |
Reduction Semantics and Formal Analysis of Orc
Programs
Musab AlTurki, Jose Meseguer |
| 11:00 |
A Calculus for Generation, Verification and Refinement of
BPEL Specifications
Faisal Abouzaid and John Mullins |
| 11:30 |
Coffee break |
| 12:00 |
Session 2 - Logic-based Verification |
| 12:00 |
A RDF Query Language Based on Logic Programming
Jesus M. Almendros-Jimenez |
| 12:30 |
Constructing formally verified reasoners for the ALC description logic
Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus
Martin-Mateos and Jose-Luis Ruiz-Reina |
| 13:00 |
Lunch |
| 15:00 |
Invited Talk - Coupled transformation of schemas, documents, queries, and constraints |
|
Joost Visser |
|
| 16:00 |
Session 3 - Formal Description of Web Sites |
| 16:00 |
Controlling control flow in web applications
Robin Message and Alan Mycroft |
| 16:30 |
Formal Verification of Websites
Sonia Flores, Salvador Lucas and Alicia Villanueva |
| 17:00 |
Coffee break |
| 17:30 |
Session 4 - Web Services Orchestration II |
| 17:30 |
Service discovery and negotiation with COWS
Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi |
| 18:00 |
Timed Specification For Web Services Compatibility
Analysis
Nawal Guermouche, Olivier Perrin and Christophe Ringeissen |
| 18:30 |
Algebraic Structure of Web Services
Peter Hofner, Florian Lautenbacher |
| 19:00 |
Concluding remarks |