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 
- Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao:
Towards a Theory of Web Service Choreographies.
1-16
- Jörg Desel:
Controlling Petri Net Process Models.
17-30
- 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
- Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig:
Analyzing BPEL4Chor: Verification and Participant Synthesis.
46-60
- Qin Li, Huibiao Zhu, Jing Li, Jifeng He:
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
61-76
- Niels Lohmann:
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.
77-91
- Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro:
From BPEL to SRML: A Formal Transformational Approach.
92-107
- Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani:
Modeling Web Service Interactions Using the Coordination Language Reo.
108-123
- Fabio Martinelli, Ilaria Matteucci:
Synthesis of Web Services Orchestrators in a Timed Setting.
124-138
- 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
- Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
Event Structure Semantics of Orc.
154-168
Last update Fri May 25 08:50:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
