XPi: a typed process calculus for XML messaging
Abstract
We present XPi, a core calculus for XML messaging. XPi features asynchronous communications, pattern matching, name and code mobility, integration of static and dynamic typing. Flexibility and expressiveness of this calculus are illustrated by a few examples, some concerning description and discovery of web services. 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, even if re-defined, will comply with the declared channel capacities.
@InProceedings\{acciai.boreale:xpi-process-calculus-xml,
author = \{L. Acciai and M.Boreale},
title = \{XPi: a typed process calculus for XML messaging},
booktitle = \{Proceedings of FMOODS05},
year = \{2005},
series = \{LNCS},
publisher = \{Springer},
url = \{http://mikado.di.fc.ul.pt/repository/acciai.boreale_xpi-process-calculus-xml.pdf}
}
About this site. Last modified: Thu Apr 25 09:23:40 CEST 2024