Cantitate/Preț
Produs
Total produse
Vezi coșul
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings de Roberto Bruni

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings: Lecture Notes in Computer Science, cartea 5387

Editat de Roberto Bruni, Karsten Wolf
en Limba Engleză Paperback – 19 mai 2009
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31366 lei

Preț vechi: 39207 lei
-20% Nou

Puncte Express: 470
Preț estimativ în valută:
6004€ • 6541$ • 5037£

Carte tipărită la comandă

Livrare economică 18 decembrie 24 - 01 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642013638
ISBN-10: 3642013635
Pagini: 252
Ilustrații: X, 241 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.39 kg
Ediția:2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

On the Expressive Power of Process Interruption and Compensation.- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.- Contract Compliance and Choreography Conformance in the Presence of Message Queues.- Verification of Choreographies During Execution Using the Reactive Event Calculus.- RESTful Petri Net Execution.- Validation and Discovery of Non-deterministic Semantic e-Services.- Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis.- Refactoring Long Running Transactions.- On-The-Fly Model-Based Testing of Web Services with Jambition.- Towards a Formal Framework for Workflow Interoperability.- Security Types for Sessions and Pipelines.- Why Does My Service Have No Partners?.- Proof Techniques for Adapter Generation.- Efficient Controllability Analysis of Open Nets.

Textul de pe ultima copertă

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.
The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.