TY  - JOUR
KW  - Service-oriented computing; service orchestration; process calculi; symbolic semantics
VL  - 241
Y1  - 2009///
UR  - http://www.sciencedirect.com/science/article/pii/S157106610900187X
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
A1  - Yoshida, Nobuko
SP  - 135
TI  - A symbolic semantics for a clculus for service-oriented computing
N1  - Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)

AV  - public
PB  - Elsevier
JF  - Electronic Notes in Theoretical Computer Science
N2  - 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.
EP  - 164
ID  - eprints408
SN  - 1571-0661
ER  -