Web Services and Formal Methods

The proceedings contain 18 papers. The topics discussed include: service QoS composition at the level of part names; SCC service centered calculus; semantic querying of mathematical Web service descriptions; verified reference implementations WS-security protocols; translating Orc features into Petri Nets and the join calculus; dynamic constraint-based invocation of Web services; a formal of contracts for Web services; execution semantics for service chreographies; 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; chereography conformance analysis: asynchronous communications and information alignment; and towards a unifying theory for Web services composition.