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. 1st Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES2008)

A Symbolic Semantics for a Calculus for Service-Oriented Computing / R. Pugliese; F. Tiezzi; N. Yoshida. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 241:(2009), pp. 135-164. [10.1016/j.entcs.2009.06.008]

A Symbolic Semantics for a Calculus for Service-Oriented Computing

PUGLIESE, ROSARIO;F. Tiezzi;
2009

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. 1st Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES2008)
2009
241
135
164
R. Pugliese; F. Tiezzi; N. Yoshida
File in questo prodotto:
File Dimensione Formato  
09PLACES-A Symbolic Semantics for a Calculus for Service-Oriented Computing.pdf

Accesso chiuso

Tipologia: Altro
Licenza: Tutti i diritti riservati
Dimensione 591.23 kB
Formato Adobe PDF
591.23 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/332450
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact