This book constitutes the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in Vienna, Austria in September 2006 in conjunction with the Fourth International Conference on Business Process Management, BPM 2006.
The 15 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 40 submissions. The main topics of include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies.
Author(s): W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)
Series: Lecture Notes in Computer Science 4184 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 289
Tags: Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; System Performance and Evaluation; Computers and Society
Front Matter....Pages -
DecSerFlow: Towards a Truly Declarative Service Flow Language....Pages 1-23
Service QoS Composition at the Level of Part Names....Pages 24-37
SCC : A Service Centered Calculus....Pages 38-57
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool....Pages 58-72
Semantic Querying of Mathematical Web Service Descriptions....Pages 73-87
Verified Reference Implementations of WS-Security Protocols....Pages 88-106
From BPEL Processes to YAWL Workflows....Pages 107-122
Translating Orc Features into Petri Nets and the Join Calculus....Pages 123-137
Dynamic Constraint-Based Invocation of Web Services....Pages 138-147
A Formal Account of Contracts for Web Services....Pages 148-162
Execution Semantics for Service Choreographies....Pages 163-177
Analysis and Verification of Time Requirements Applied to the Web Services Composition....Pages 178-192
A Formal Approach to Service Component Architecture....Pages 193-213
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System....Pages 214-226
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment....Pages 227-241
Application of Model Checking to AXML System’s Security: A Case Study....Pages 242-256
Towards a Unifying Theory for Web Services Composition....Pages 257-272
Towards the Formal Model and Verification of Web Service Choreography Description Language....Pages 273-287
Back Matter....Pages -
