Program

[Print-friendly version]

Friday 28th September 2007

9:00am - 10:30am
Welcome and Invited Talk
Jianwen Su: (title to be determined)

10:30am - 11:00am
Coffee Break

11:00am - 12:30pm
Verification

Sylvain Hallé, Roger Villemaire, Cherkaoui Omar, Jérôme Tremblay and Boubker Ghandour.
Extending Model Checking to Data-Aware Temporal Properties of Web Services

Niels Lohmann, Oliver Kopp, Frank Leymann and Wolfgang Reisig.
Analyzing BPEL4Chor: Verification and Participant Synthesis

Qin Li, Huibiao Zhu, Jing Li and Jifeng He.
Scalable Formalization of Publish/Subscribe Messaging Scheme Based On Message Brokers

12:30pm - 1:30pm
Lunch

1:30pm - 3:00pm
BPEL

Niels Lohmann.
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

Laura Bocchi, Yi Hong, Antónia Lopes and José Fiadeiro.
From BPEL to SRML: a Formal Transformational Approach

Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Samira Tasharofi and Marjan Sirjani.
Modeling Web Service Interactions using the Coordination

3:00pm - 3:30pm
Coffee Break

3:30pm - 4:30pm
Transformation

Fabio Martinelli and Ilaria Matteucci.
Synthesis of web services orchestrators in a timed setting

Wil van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl and Karsten Wolf.
From Public Views to Private Views - Correctness-by-Design for Services

Saturday 29th September 2007

9:00am -10:00am
Invited Talk
Joerg Desel
Controller synthesis theory applied to web services

10:00am - 10:30am
Coffee Break

10:30am - 11:30pm
Semantics

Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar and Claude Jard.
Event Structure Semantics of Orc

11:30am - 12:00pm
Closing Discussion