WWV 2007

3rd Int'l Workshop on Automated Specification and Verification of Web Systems
San Servolo island, Venice, Italy
December 14, 2007

Preliminary Program

14 December 2007

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

Demis Ballis
Last modified: December 10, 2007