Mobile Calculi based on Domains


XPi: a typed process calculus for XML messaging

L. Acciai and M.Boreale

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: Wed Nov 22 08:33:18 CET 2017