Abstract is missing.
- On the Expressive Power of Process Interruption and CompensationMario Bravetti, Gianluigi Zavattaro. 1-18 [doi]
- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNetsKamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur. 19-36 [doi]
- Contract Compliance and Choreography Conformance in the Presence of Message QueuesMario Bravetti, Gianluigi Zavattaro. 37-54 [doi]
- Verification of Choreographies During Execution Using the Reactive Event CalculusFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni. 55-72 [doi]
- RESTful Petri Net ExecutionGero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske. 73-87 [doi]
- Validation and Discovery of Non-deterministic Semantic e-ServicesLuigi Dragone. 88-106 [doi]
- Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative AnalysisChristian Eisentraut, David Spieler. 107-126 [doi]
- Refactoring Long Running TransactionsGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto. 127-142 [doi]
- On-The-Fly Model-Based Testing of Web Services with JambitionLars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet. 143-157 [doi]
- Towards a Formal Framework for Workflow InteroperabilitySarah D. Induruwa Fernando, Andrew C. Simpson. 158-174 [doi]
- Why Does My Service Have No Partners?Niels Lohmann. 191-206 [doi]
- Proof Techniques for Adapter GenerationArjan J. Mooij, Marc Voorhoeve. 207-223 [doi]
- Efficient Controllability Analysis of Open NetsDaniela Weinberg. 224-239 [doi]