Willkommen, schön sind Sie da!
Logo Ex Libris

Web Services and Formal Methods

  • Kartonierter Einband
  • 197 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
Alle Bewertungen ansehen
This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held du... Weiterlesen
71.40 CHF 57.10
Sie sparen CHF 14.30
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich


This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4 5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani s talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop.

Unique visibility, state-of-the-art survey,

fast-track conference proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and selected from 18 submissions. The papers feature topics such as approaches to analyzing and designing systems based on Web Service technology, formal approaches to enterprise systems modeling in general, and business process modeling in particular.

Sessions and Session Types: An Overview.- Choreography Rehearsal.- A Graph Syntax for Processes and Services.- A Formalisation of Adaptable Pervasive Flows.- Compliance Preorders for Web Services.- A Formal Semantics for the WS-BPEL Recovery Framework.- Realizability Is Controllability.- Specification and Verification of Multi-user Data-Driven Web Applications.- Automated Composition of Nondeterministic Stateful Services.- Towards Compensation Correctness in Interactive Systems.- Small Specifications for Tree Update.


Titel: Web Services and Formal Methods
Untertitel: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
EAN: 9783642144578
ISBN: 978-3-642-14457-8
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 197
Gewicht: 325g
Größe: H238mm x B155mm x T15mm
Jahr: 2010
Untertitel: Englisch
Auflage: 2010

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"