WS-FM 2008: Milan, Italy

• 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