MobilityReadingGroup

π-calculus, Session Types research at Imperial College

A Symbolic Semantics for a Calculus for Service-Oriented Computing
Rosario PUGLIESE , Francesco TIEZZI , Nobuko YOSHIDA
Electronic Notes in Theoretical Computer Science p. 135 - 164

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
}