Journal article icon

Journal article

A taxonomy of web services using CSP

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.

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2005.07.037

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Publisher:
Elsevier Publisher's website
Journal:
Electronic Notes in Theoretical Computer Science Journal website
Volume:
151
Issue:
2
Pages:
71–87
Publication date:
2006-05-05
DOI:
ISSN:
1571-0661
URN:
uuid:4638af06-afd1-4b58-a535-d8e04bd44eee
Local pid:
ora:10479

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP