9:00am - 10:30am
Welcome and Invited Talk
Jianwen Su: (title to be determined)
10:30am - 11:00am
11:00am - 12:30pm
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
1:30pm - 3:00pm
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
3:30pm - 4:30pm
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
Controller synthesis theory applied to web services
10:00am - 10:30am
10:30am - 11:30pm
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar and Claude Jard.
Event Structure Semantics of Orc
11:30am - 12:00pm