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
Last update Wed Feb 15 05:31:36 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
