%T A symbolic semantics for a clculus for service-oriented computing
%P 135-164
%O Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)

%I Elsevier
%V 241
%K Service-oriented computing; service orchestration; process calculi; symbolic semantics
%A Rosario Pugliese
%A Francesco Tiezzi
%A Nobuko Yoshida
%L eprints408
%D 2009
%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.
%R 10.1016/j.entcs.2009.06.008
%J Electronic Notes in Theoretical Computer Science