relation: http://eprints.imtlucca.it/408/
title: A symbolic semantics for a clculus for service-oriented computing
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
creator: Yoshida, Nobuko
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Elsevier
date: 2009
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nd
identifier: http://eprints.imtlucca.it/408/4/Pugliese_Tiezzi_Yoshida.pdf
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/408/1/cows_places_2009d.pdf
identifier:   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)  
relation: http://www.sciencedirect.com/science/article/pii/S157106610900187X
relation: 10.1016/j.entcs.2009.06.008