XPi: a typed process calculus for XML messaging. We present XPi, a core calculus for XML messaging. XPi features asynchronous communication, pattern matching, name and code mobility, integration of static and dynamic typing. In XPi, a type system disciplines XML message handling at the level of channels, patterns, and processes. A run-time safety theorem ensures that in well-typed systems no service will ever receive documents it cannot understand, and that the offered services will be consistent with the declared channel capacities. An inference system is introduced, which is proved to be in full agreement with type checking. A notion of barbed equivalence is defined that takes into account information about service interfaces. Flexibility and expressiveness of this calculus are illustrated by a number of examples, some concerning description and discovery of web services.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
- Pugliese, Rosario; Tiezzi, Francesco: Replacement freeness: a criterion for separating process calculi (2020)
- Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca: PiDuce- A project for experimenting web services technologies (2009)
- Acciai, Lucia; Boreale, Michele: XPi: a typed process calculus for XML messaging (2008)
- Castagna, Giuseppe; de Nicola, Rocco; Varacca, Daniele: Semantic subtyping for the pi-calculus (2008)
- Gorla, Daniele: Comparing communication primitives via their relative expressive power (2008)
- Maffeis, Sergio; Gardner, Philippa: Behavioural equivalences for dynamic web data (2008)
- Maffeis, Sergio: Process calculi and peer-to-peer web data integration (2006) ioport