TY  - JOUR
EP  - 164
N1  - Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)

ID  - eprints408
UR  - http://www.sciencedirect.com/science/article/pii/S157106610900187X
AV  - public
TI  - A symbolic semantics for a clculus for service-oriented computing
KW  - Service-oriented computing; service orchestration; process calculi; symbolic semantics
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.
SN  - 1571-0661
VL  - 241
JF  - Electronic Notes in Theoretical Computer Science
Y1  - 2009///
SP  - 135
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
A1  - Yoshida, Nobuko
PB  - Elsevier
ER  -