Output details
11 - Computer Science and Informatics
Birmingham City University
Algebraic approach to linking the semantics of web services
<10> The paper presents collaborative research with researchers in Shanghai, with funding from China and Denmark. It builds on work in an earlier 2010 paper, relating algebraic, denotational, and operational semantics for web services in the Business Process Execution Language (BPEL) framework. This paper considers the derivation of the denotational and operational semantics from the algebraic semantics, demonstrating their compatibility in the Unified Theories of Programming (UTP) style. This helps in understanding BPEL’s semantics in particular and other parallel languages in general. The approach could be broadened to include probabilistic aspects and transaction models for web services.