Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).
"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 pa...
Saved in:
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2006.
|
| Series: | Lecture notes in computer science ;
4184. LNCS sublibrary. Programming and software engineering |
| Subjects: | |
| Online Access: | Springer eBooks Table of contents |
| Summary: | "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."--Publisher description. |
|---|---|
| Physical Description: | 1 online resource (x, 287 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISSN: | 0302-9743 ; |