A Taxonomy of Web Services Using CSP | Zendy

Lee Momtahan | Zendy; Andrew Martin | Zendy; A. W. Roscoe | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Taxonomy of Web Services Using CSP

Author(s) -

Lee Momtahan,

Andrew Martin,

A. W. Roscoe

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.07.037

Subject(s) - stateless protocol , computer science , web service , taxonomy (biology) , service oriented architecture , scalability , process calculus , formalism (music) , world wide web , formal description , theoretical computer science , programming language , database , state (computer science) , musical , botany , visual arts , biology , art

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research