Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings by Marlon DumasWeb Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings by Marlon Dumas

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia…

byMarlon Dumas

Hardcover | April 11, 2008

Pricing and Purchase Info

$104.20 online 
$124.50 list price save 16%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia…Format:HardcoverDimensions:172 pages, 23.5 × 15.5 × 0.1 inPublished:April 11, 2008Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540792295

ISBN - 13:9783540792291

Look for similar items by category:

Reviews

Table of Contents

Towards a Theory of Web Service Choreographies.- Controlling Petri Net Process Models.- Extending Model Checking to Data-Aware Temporal Properties of Web Services.- Analyzing BPEL4Chor: Verification and Participant Synthesis.- Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.- A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.- From BPEL to SRML: A Formal Transformational Approach.- Modeling Web Service Interactions Using the Coordination Language Reo.- Synthesis of Web Services Orchestrators in a Timed Setting.- From Public Views to Private Views - Correctness-by-Design for Services.- Event Structure Semantics of Orc.