ENGLISH

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

By Manuel Nunez , Gianluigi Zavattaro (eds.) , Mario Bravetti , W. M. P. van der Aalst , M. Pesic (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
3540388621, 9783540388623
DOI
10.1007/11841197
Open Library ID
OL9056847M
Language
english
Format
PDF
Filesize
6 MB (6260770 bytes)
Series
Lecture Notes in Computer Science 4184 : Programming and Software Engineering
Edition
1
Pages
289\296
Library
Kolxo3
Time added
2011-02-14 12:09:19
Software Engineering; Computer Communication Netwo

Description

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.

Similar books