English
Web Services and Formal Methods
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Towards a Theory of Web Service Choreographies
-
Altmetric BadgeChapter 2 Controlling Petri Net Process Models
-
Altmetric BadgeChapter 3 Extending Model Checking to Data-Aware Temporal Properties of Web Services
-
Altmetric BadgeChapter 4 Analyzing BPEL4Chor: Verification and Participant Synthesis
-
Altmetric BadgeChapter 5 Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers
-
Altmetric BadgeChapter 6 A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
-
Altmetric BadgeChapter 7 From BPEL to SRML: A Formal Transformational Approach
-
Altmetric BadgeChapter 8 Modeling Web Service Interactions Using the Coordination Language Reo
-
Altmetric BadgeChapter 9 Synthesis of Web Services Orchestrators in a Timed Setting
-
Altmetric BadgeChapter 10 From Public Views to Private Views – Correctness-by-Design for Services
-
Altmetric BadgeChapter 11 Event Structure Semantics of Orc