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.
- Publication status:
- Peer review status:
- Peer reviewed
- Publisher's version
- Copyright holder:
- Elsevier B.V.
- Copyright date:
- © 2006 Elsevier B.V. Open access under CC BY-NC-ND license.
A taxonomy of web services using CSP
If you are the owner of this record, you can report an update to it here: Report update to this record