WS-FM 2007: Brisbane, Australia

Marlon Dumas, Reiko Heckel (Eds.): Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Lecture Notes in Computer Science 4937 Springer 2008, ISBN 978-3-540-79229-1 BibTeX

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