MobilityReadingGroup

A Symbolic Semantics for a Calculus for Service-Oriented Computing

Rosario PUGLIESE, Francesco TIEZZI, Nobuko YOSHIDA

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.

@article{PTY2009,
  author = {Rosario Pugliese and Francesco Tiezzi and Nobuko Yoshida},
  title = {{A Symbolic Semantics for a Calculus for Service-Oriented Computing}},
  journal = {ENTCS},
  series = {ENTCS},
  volume = {241},
  pages = {135--164},
  year = 2009
}

@article{PTY2009,
  author = {Rosario Pugliese and Francesco Tiezzi and Nobuko Yoshida},
  title = {{A Symbolic Semantics for a Calculus for Service-Oriented Computing}},
  journal = {Electronic Notes in Theoretical Computer Science},
  series = {ENTCS},
  volume = {241},
  pages = {135--164},
  doi = "10.1016/j.entcs.2009.06.008",
  year = 2009
}