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.
Ask a Question About this Product More... |