Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings / edited by Marlon Dumas, Reiko Heckel.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Web Services and Formal Methods, WS-FM 2007, held in Brisbane, Australia, in September 2007 in conjunction with the 5th International Conference on Business Process Management, BPM 2007. The...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dumas, Marlon (Editor), Heckel, Reiko (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Programming and Software Engineering ; 4937 Springer eBook Collection.
Subjects:	Computers. Computer science. Software engineering. Computer communication systems. Computer logic. Computer system failures. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Towards a Theory of Web Service Choreographies
Controlling Petri Net Process Models
Extending Model Checking to Data-Aware Temporal Properties of Web Services
Analyzing BPEL4Chor: Verification and Participant Synthesis
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
From BPEL to SRML: A Formal Transformational Approach
Modeling Web Service Interactions Using the Coordination Language Reo
Synthesis of Web Services Orchestrators in a Timed Setting
From Public Views to Private Views – Correctness-by-Design for Services
Event Structure Semantics of Orc.

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings / edited by Marlon Dumas, Reiko Heckel.

Similar Items