Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

InvitedPapers.
DecSerFlow: Towards a Truly Declarative Service Flow Language.
Service QoS Composition at the Level of Part Names.
SCC: A Service Centered Calculus.
Contributed Papers.
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.
Semantic Querying of Mathematical Web Service Descriptions.
Verified Reference Implementations of WS-Security Protocols.
From BPEL Processes to YAWL Workflows.
Translating Orc Features into Petri Nets and the Join Calculus.
Dynamic Constraint-Based Invocation of Web Services.
A Formal Account of Contracts for Web Services.
Execution Semantics for Service Choreographies.
Analysis and Verification of Time Requirements Applied to the Web Services Composition.
A Formal Approach to Service Component Architecture.
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
Application of Model Checking to AXML System’s Security: A Case Study.
Towards a Unifying Theory for Web Services Composition.
Towards the Formal Model and Verification of Web Service Choreography Description Language.