Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Front Cover
Mario Bravetti, Manuel Nez, Gianluigi Zavattaro
Springer Science & Business Media, Sep 4, 2006 - Computers - 289 pages

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Towards a Truly Declarative Service Flow Language
1
Service QoS Composition at the Level of Part Names
24
A Service Centered Calculus
38
Exploiting the SOCSSI Tool
58
Semantic Querying of Mathematical Web Service Descriptions
73
Verified Reference Implementations of WSSecurity Protocols
88
From BPEL Processes to YAWL Workflows
107
Translating Orc Features into Petri Nets and the Join Calculus
123
Execution Semantics for Service Choreographies
163
Analysis and Verification of Time Requirements Applied to the Web Services Composition
178
A Formal Approach to Service Component Architecture
193
Evaluating the Scalability of a Web ServiceBased Distributed eLearning and Course Management System
214
Asynchronous Communications and Information Alignment
227
A Case Study
242
Towards a Unifying Theory for Web Services Composition
257
Towards the Formal Model and Verification of Web Service Choreography Description Language
273

Dynamic ConstraintBased Invocation of Web Services
138
A Formal Account of Contracts for Web Services
148

Other editions - View all

Common terms and phrases