Logo eprints

A symbolic semantics for a clculus for service-oriented computing

Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko A symbolic semantics for a clculus for service-oriented computing. Electronic Notes in Theoretical Computer Science, 241. pp. 135-164. ISSN 1571-0661 (2009)

PDF - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (576kB) | Preview
PDF - Accepted Version
Download (275kB) | Preview


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.

Item Type: Article
Identification Number: 10.1016/j.entcs.2009.06.008
Additional Information: Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)
Funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004, the EPSRC projects, GR/T03208, GR/T03215, EP/F003757 and the EU project MOBIUS, IST 2005-15905.
Uncontrolled Keywords: Service-oriented computing; service orchestration; process calculi; symbolic semantics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 15 Jun 2011 13:31
Last Modified: 08 Oct 2014 09:31
URI: http://eprints.imtlucca.it/id/eprint/408

Actions (login required)

Edit Item Edit Item