A Taxonomy of Web Services Using CSP

Authors:
Lee Momtahan;Andrew Martin;A. W. Roscoe
Affiliations:
Oxford University Computing Laboratory, Oxford OX1 3QD, England;Oxford University Computing Laboratory, Oxford OX1 3QD, England;Oxford University Computing Laboratory, Oxford OX1 3QD, England
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 3
Cited 0

Communicating sequential processes

Communicating sequential processes
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Web Services Are Not Distributed Objects

IEEE Internet Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Terms such as conversational and stateless are widely used in the taxonomy of web services. We give formal definitions of these terms using the CSP process algebra. Within this framework we also define the notion of Service-Oriented Architecture. These definitions are then used to prove important scalability properties of stateless services. The use of formalism should allow recent debates, concerning how and whether web services provide standardized access to state, to progress more rigorously.