A Symbolic Semantics for a Calculus for Service-Oriented Computing

Rosario Pugliese, Francesco Tiezzi, and Nobuko Yoshida

Dipartimento di Sistemi e Informatica, Universita' di Firenze
Department of Computing, Imperial College London

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