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

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.

List of contents

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.

Summary

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.

Product details

• Assisted by: Mario Bravetti (Editor), Manuel Nunez (Editor), Manuel Núñez (Editor), Gianluigi Zavattaro (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 19.02.2009
• EAN: 9783540388623
• ISBN: 978-3-540-38862-3
• No. of pages: 289
• Dimensions: 161 mm x 17 mm x 237 mm
• Weight: 431 g
• Illustrations: X, 289 p.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science / Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Netzwerk-Hardware, Systemanalyse und -design, computer science, Theory of Computation, Logics and Meanings of Programs, Computer Communication Networks, Systems analysis & design, Computers, Mathematical theory of computation, Information technology: general issues, Computer programming / software engineering, Popular Computer Science, Computer architecture & logic design, Computer communication systems, Computer system failures, System Performance and Evaluation, Network hardware, Computer logic, Computer Science Logic and Foundations of Programming