A Symbolic Semantics for a Calculus for Service-Oriented Computing | Zendy

Rosario Pugliese | Zendy; Francesco Tiezzi | Zendy; Nobuko Yoshida | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Symbolic Semantics for a Calculus for Service-Oriented Computing

Author(s) -

Rosario Pugliese,

Francesco Tiezzi,

Nobuko Yoshida

Publication year - 2009

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

Subject(s) - operational semantics , equivalence (formal languages) , computer science , semantics (computer science) , formal semantics (linguistics) , programming language , computational semantics , theoretical computer science , pi calculus , process calculus , mathematics , discrete mathematics

We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, such as e.g. equivalence and model checkers. We illustrate our approach through a ‘translation service’ scenario

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