Laneve / Su | Web Services and Formal Methods | Buch | 978-3-642-14457-8 | sack.de

Buch, Englisch, 197 Seiten, Gewicht: 323 g

Reihe: Programming and Software Engineering

Laneve / Su

Web Services and Formal Methods

6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
1. Auflage 2010
ISBN: 978-3-642-14457-8
Verlag: Springer

6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Buch, Englisch, 197 Seiten, Gewicht: 323 g

Reihe: Programming and Software Engineering

ISBN: 978-3-642-14457-8
Verlag: Springer


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.

Laneve / Su Web Services and Formal Methods jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


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.



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.