%0 Journal Article
%@ 1571-0661
%A Pugliese, Rosario
%A Tiezzi, Francesco
%A Yoshida, Nobuko
%D 2009
%F eprints:408
%I Elsevier
%J Electronic Notes in Theoretical Computer Science
%K Service-oriented computing; service orchestration; process calculi; symbolic semantics
%P 135-164
%T A symbolic semantics for a clculus for service-oriented computing
%U http://eprints.imtlucca.it/408/
%V 241
%X 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.
%Z Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)