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)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.