Tuosto / Ouyang | Web Services and Formal Methods | E-Book | sack.de
E-Book

E-Book, Englisch, Band 8379, 189 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Tuosto / Ouyang Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Erscheinungsjahr 2014
ISBN: 978-3-319-08260-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

E-Book, Englisch, Band 8379, 189 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-319-08260-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark



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.

Tuosto / Ouyang Web Services and Formal Methods jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.