| 13:45-14:00 | Welcome |
| Roberto Bruni and Karsten Wolf | |
| 14:00-15:30 | Session 1: Analysis, Test, and Verification |
| Validation and Discovery of Non-deterministic Semantic e-services Luigi Dragone |
|
| Proof techniques for adapter generation Arjan Mooij, Marc Voorhoeve |
|
| On-The-Fly Model-Based Testing of Web Services with Jambition Thomas Wallet, Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss |
|
| 15:30-16:00 | Coffee Break |
| 16:00-17:30 | Session 2: Choreographies and Process Calculi |
| Security Types for Sessions and Pipelines Marija Kolundzija |
|
| Contract Compliance and Choreography Conformance in the
Presence of Message Queues Mario Bravetti, Gianluigi Zavattaro |
|
| Verification of choreographies during execution using the
Reactive Event Calculus Marco Montali, Paola Mello, Federico Chesani, Paolo Torroni |
| 9:30-10:30 | Invited Talk |
| On the Expressive Power of Process Interruption and Compensation Mario Bravetti |
|
| 10:30-11:00 | Coffee Break |
| 11:00-12:30 | Session 3: Transactions and Interoperability |
| Refactoring Long Running Transactions Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
|
| Fault, Compensation and Termination in WS-BPEL
2.0 -- A comparative analysis Christian Eisentraut and David Spieler |
|
| Towards
a formal framework for workflow interoperability Sarah Induruwa Fernando, Andrew Simpson |
|
| 12:30-14:00 | Lunch |
| 14:00-16:00 | Session 4: Workflows and Petri Nets |
| Why does my service have no partners? Niels Lohmann |
|
| Efficient
Controllability Analysis of Open Nets Daniela Weinberg |
|
| RESTful Petri Net
Execution Gero Decker, Alexander Luders, Kai Schlichting, Hagen Overdick and Mathias Weske |
|
| Modeling and Analyzing Time-Constrained Flexible Workflows with
Time Recursive Petri Nets Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur |
Out of the 32 paper submissions (39 abstract submissions) being evaluated, we have converged on 13 accepted papers (list ordered by submission number):