Volume 105, December 2004

Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)

• 
  Mario Bravetti, Gianluigi Zavattaro: Preface. 1-4
• 
  Ugo Montanari: Web Services and Models of Computation. 5-9
• 
  Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi: Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. 11-20
• 
  Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning About Interaction Protocols for Web Service Composition. 21-36
• 
  Reiko Heckel, Alexey Cherchago, Marc Lohmann: A Formal Approach to Service Specification and Matching based on Graph Transformation. 37-49
• 
  Mirko Viroli: Towards a Formal Foundation to Orchestration Languages. 51-71
• 
  Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. 73-94
• 
  Marco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. 95-108
• 
  Marcus Venzke: Specifications using XQuery Expressions on Traces. 109-118
• 
  Laura Bocchi, Lucian Wischik: A Process Calculus of Atomic Commit. 119-132
• 
  Manuel Mazzara, Roberto Lucchi: A Framework for Generic Error Handling in Business Processes. 133-145
• 
  James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt: Formal Specification of a Web Services Protocol. 147-158