Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bruni, Roberto (Επιμελητής έκδοσης), Wolf, Karsten (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5387
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computers.; Computer logic.; Computer engineering.; Computer Science.; Computer Engineering.; Computer Communication Networks.; Theory of Computation.; Information Systems Applications (incl. Internet).; Software Engineering.; Logics and Meanings of Programs.

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 revi...

Πίνακας περιεχομένων:

• 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.