Limit this search to....

Web Services and Formal Methods: Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings 2006 Edition
Contributor(s): Bravetti, Mario (Editor), Núñez, Manuel (Editor), Zavattaro, Gianluigi (Editor)
ISBN: 3540388621     ISBN-13: 9783540388623
Publisher: Springer
OUR PRICE:   $52.24  
Product Type: Paperback - Other Formats
Published: September 2006
Qty:
Annotation: 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.
Additional Information
BISAC Categories:
- Computers | Networking - Hardware
- Computers | Software Development & Engineering - Systems Analysis & Design
- Computers | Logic Design
Dewey: 004.2
Series: Lecture Notes in Computer Science
Physical Information: 0.69" H x 6.25" W x 9.22" (0.99 lbs) 289 pages
 
Descriptions, Reviews, Etc.
Publisher Description:

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.