WS-FM 2008:
Milan,
Italy
Roberto Bruni, Karsten Wolf (Eds.):
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 5387 Springer 2009, ISBN 978-3-642-01363-8 
- Mario Bravetti, Gianluigi Zavattaro:
On the Expressive Power of Process Interruption and Compensation.
1-18
- Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur:
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.
19-36
- Mario Bravetti, Gianluigi Zavattaro:
Contract Compliance and Choreography Conformance in the Presence of Message Queues.
37-54
- Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verification of Choreographies During Execution Using the Reactive Event Calculus.
55-72
- Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske:
RESTful Petri Net Execution.
73-87
- Luigi Dragone:
Validation and Discovery of Non-deterministic Semantic e-Services.
88-106
- Christian Eisentraut, David Spieler:
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.
107-126
- Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions.
127-142
- Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet:
On-The-Fly Model-Based Testing of Web Services with Jambition.
143-157
- Sarah D. Induruwa Fernando, Andrew C. Simpson:
Towards a Formal Framework for Workflow Interoperability.
158-174
- Marija Kolundzija:
Security Types for Sessions and Pipelines.
175-190
- Niels Lohmann:
Why Does My Service Have No Partners?.
191-206
- Arjan J. Mooij, Marc Voorhoeve:
Proof Techniques for Adapter Generation.
207-223
- Daniela Weinberg:
Efficient Controllability Analysis of Open Nets.
224-239
Last update Wed Feb 15 05:22:25 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
