Web Services and Formal Methods

Web Services and Formal Methods
Author :
Publisher : Springer Science & Business Media
Total Pages : 178
Release :
ISBN-10 : 9783540792291
ISBN-13 : 3540792295
Rating : 4/5 (91 Downloads)

Book Synopsis Web Services and Formal Methods by : Marlon Dumas

Download or read book Web Services and Formal Methods written by Marlon Dumas and published by Springer Science & Business Media. This book was released on 2008-04-11 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc. Formal methods have a fundamental role to play in shaping innovations in Web service technology. For instance, formal methods help to de?ne and to understand the semantics of languages and protocols that underpin existing infrastructures for Web services, and to formulate features that are found to be lacking. They also provide a basis for reasoning about Web service behaviour, for example to discover individual services that can ful?l a given goal, or even to compose multiple services that can collectively ful?l a goal. Finally, formal analysis of security properties and performance are relevant in many application areas of Web services such as e-commerce and e-business.


Web Services and Formal Methods Related Books

Web Services and Formal Methods
Language: en
Pages: 178
Authors: Marlon Dumas
Categories: Computers
Type: BOOK - Published: 2008-04-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in
Formal Methods for Web Services
Language: en
Pages: 347
Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2009-05-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communi
Web Services and Formal Methods
Language: en
Pages: 250
Authors: Roberto Bruni
Categories: Computers
Type: BOOK - Published: 2009-05-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held i
Web Services and Formal Methods
Language: en
Pages: 297
Authors: Mario Bravetti
Categories: Computers
Type: BOOK - Published: 2006-09-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 Intern
Web Services and Formal Methods
Language: en
Pages: 203
Authors: Cosimo Laneve
Categories: Computers
Type: BOOK - Published: 2010-09-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held i