Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings - Programming and Software Engineering 4937 (Paperback)
  • Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings - Programming and Software Engineering 4937 (Paperback)
zoom

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings - Programming and Software Engineering 4937 (Paperback)

(editor), (editor)
£58.99
Paperback 172 Pages / Published: 11/04/2008
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540792291
Number of pages: 172
Weight: 290 g
Dimensions: 235 x 155 x 10 mm
Edition: 2008 ed.

You may also be interested in...

Blockchain
Added to basket
£27.99
Paperback
The Elements of Statistical Learning
Added to basket
US For Beginners
Added to basket
£27.99
Paperback
The Lego Architect
Added to basket
£20.99
Hardback
Introducing Artificial Intelligence
Added to basket
Emotion: A Very Short Introduction
Added to basket
Data Science from Scratch
Added to basket
Networks: A Very Short Introduction
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
How to Pass Higher Computing Science
Added to basket
AQA A level Computer Science
Added to basket
Business Analysis Techniques
Added to basket
Developing Information Systems
Added to basket
Portfolio, programme and project offices
Added to basket

Please sign in to write a review

Your review has been submitted successfully.