A formal model for BPEL4WS description of Web service composition

Abstract

Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service compositiob with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services (BPELAWS) to CSP notations is defined… (More)
DOI: 10.1007/BF02829258

Topics

11 Figures and Tables

Slides referencing similar topics