Articoli correlati a Web Services and Formal Methods: 6th International...
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers: 6194 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 64,08
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Web Services and Formal Methods: 6th International...
Immagini fornite dal venditore
Web Services and Formal Methods
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Unique visibility, state-of-the-art survey, fast-track conference proceedingsSessions and Session Types: An Overview.- Choreography Rehearsal.- A Graph Syntax for Processes and Services.- A Formalisation of Adaptable Pervasive Flows.- Compliance Preorde. Codice articolo 5050516
Quantità: 3 disponibili
Foto dell'editore
Web Services and Formal Methods
Editore:
Springer-Verlag New York Inc, 2010
ISBN 10: 3642144578
ISBN 13: 9783642144578
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 204 pages. 9.20x6.10x0.50 inches. In Stock. Codice articolo x-3642144578
Quantità: 2 disponibili
Immagini fornite dal venditore
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 3642144578
ISBN 13: 9783642144578
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - 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. Codice articolo 9783642144578
Quantità: 2 disponibili
Foto dell'editore
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers (Lecture Notes in Computer Science, 6194)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020219330
Quantità: 1 disponibili
Foto dell'editore
Web Services and Formal Methods (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642144578
ISBN 13: 9783642144578
Nuovo
Paperback
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. This title features topics such as approaches to analyzing and designing systems based on Web Service technology. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783642144578
Quantità: 1 disponibili