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

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: DOI