# zbMATH — the first resource for mathematics

web$$\pi$$ at work. (English) Zbl 1151.68539
De Nicola, Rocco (ed.) et al., Trustworthy global computing. International symposium, TGC 2005, Edinburgh, UK, April 7–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-30007-4/pbk). Lecture Notes in Computer Science 3705, 182-194 (2005).
Summary: web$$\pi$$ is a recent process calculus that has been inspired by the emerging Web Services technologies. In this paper we explore the expressivity of web$$\pi$$ by discussing two case studies. The first case study is about the formal semantics of the transactional construct of BPEL – the scope construct. The second case study is about a standard pattern of Web Services composition – the speculative parallelism – that allows several alternative activities to be started; only the first one that completes is taken into account while the other ones are aborted.
For the entire collection see [Zbl 1089.68006].

##### MSC:
 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68M10 Network design and communication in computer systems 68M14 Distributed systems
Full Text: