Abstract is missing.
- Towards a Theory of Web Service ChoreographiesJianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao. 1-16 [doi]
- Controlling Petri Net Process ModelsJörg Desel. 17-30 [doi]
- Extending Model Checking to Data-Aware Temporal Properties of Web ServicesSylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour. 31-45 [doi]
- Analyzing BPEL4Chor: Verification and Participant SynthesisNiels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig. 46-60 [doi]
- Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message BrokersQin Li, Huibiao Zhu, Jing Li, Jifeng He. 61-76 [doi]
- A Feature-Complete Petri Net Semantics for WS-BPEL 2.0Niels Lohmann. 77-91 [doi]
- From BPEL to SRML: A Formal Transformational ApproachLaura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro. 92-107 [doi]
- Modeling Web Service Interactions Using the Coordination Language ReoSamira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani. 108-123 [doi]
- Synthesis of Web Services Orchestrators in a Timed SettingFabio Martinelli, Ilaria Matteucci. 124-138 [doi]
- From Public Views to Private Views - Correctness-by-Design for ServicesWil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. 139-153 [doi]
- Event Structure Semantics of OrcSidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard. 154-168 [doi]