Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers by Emilio TuostoWeb Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers by Emilio Tuosto

Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August…

byEmilio TuostoEditorChun Ouyang

Paperback | July 25, 2014

Pricing and Purchase Info

$68.95

Earn 345 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 book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Title:Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August…Format:PaperbackDimensions:189 pagesPublished:July 25, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319082590

ISBN - 13:9783319082592

Look for similar items by category:

Reviews

Table of Contents

Introducing cloud activities around pacific rim.- Choreography revisited.- On the behaviour of general-purpose applications on cloud storages.- Formalizing RESTful services and web-OS middleware.- Visualization of successor relations in business process models.- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach.- Safe orchestration of Web services with unordered lossy communication.- Dynamic ontologies and semantic Web rules as biographical reactive systems.- On the expressiveness of parameterization in process-passing.- An operational semantics for model checking long running transactions.