eprintid: 408
rev_number: 12
eprint_status: archive
userid: 31
dir: disk0/00/00/04/08
datestamp: 2011-06-15 13:31:10
lastmod: 2014-10-08 09:31:57
status_changed: 2011-06-15 13:31:10
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_name: Yoshida, Nobuko
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
creators_id: 
title: A symbolic semantics for a clculus for service-oriented computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Service-oriented computing; service orchestration; process calculi; symbolic semantics
note: Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)

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.
date: 2009
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 241
publisher: Elsevier
pagerange: 135-164
id_number: 10.1016/j.entcs.2009.06.008
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S157106610900187X
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.
citation:   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)  
document_url: http://eprints.imtlucca.it/408/4/Pugliese_Tiezzi_Yoshida.pdf
document_url: http://eprints.imtlucca.it/408/1/cows_places_2009d.pdf