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

Bravetti, Mario (EDT); Nunez, Manuel (EDT); Zavattaro, Gianluigi (EDT)

ISBN 10: 3540388621 / ISBN 13: 9783540388623

Published by Springer, 2006

About this Item

Seller Inventory # 5105140-n

Bibliographic Details

• Title: Web Services and Formal Methods : Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings
• Publisher: Springer
• Publication Date: 2006
• Language: English
• ISBN 10: 3540388621
• ISBN 13: 9783540388623
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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.