You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Birmingham City University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Birmingham City University

Return to search Previous output Next output

Output 4 of 30 in the submission

Article title

Algebraic approach to linking the semantics of web services

Type

D - Journal article

DOI

10.1007/s11334-011-0172-1

Title of journal

Innovations in Systems and Software Engineering

Article number

Volume number

Issue number

First page of article

209

ISSN of journal

1614-5054

Year of publication

2011

URL

http://link.springer.com/article/10.1007%2Fs11334-011-0172-1

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

3 - Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract