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)

Preview	PDF - Published Version Available under License Creative Commons Attribution No Derivatives. Download (576kB) | Preview
Preview	PDF - Accepted Version Download (275kB) | Preview

Abstract

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:	https://doi.org/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