Blick ins Buch

Web Services and Formal Methods

5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

Roberto Bruni, Karsten Wolf (Herausgeber)

Buch | Softcover

X, 241 Seiten

2009
Springer Berlin (Verlag)
9783642013638 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Artikel merken

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.

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.

Erscheint lt. Verlag	19.5.2009
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	X, 241 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	386 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Informatik ► Web / Internet
	Informatik ► Weitere Themen ► Hardware
Schlagworte	contract complience • event calculus • Formal Method • Hardcover, Softcover / Informatik, EDV/Internet • message queues • Model-Based Testing • Model Checking • open nets • Petri net • Proof Techniques • security types • semantic e-services • time-constrained workflows • verification • Web Services • workflow interoperability • WS-BPEL
ISBN-13	9783642013638 / 9783642013638
Zustand	Neuware