Computing at Glasgow University
Paper ID: 6962
DCS Tech Report Number: TR-2003-133

Types and Subtypes for Correct Communication in Client-Server Systems
Gay,S.J. Hole,M.J.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 2003

We review an extension of the pi-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocols. We then present a subtype relation that allows protocol specifications to be extended in order to describe richer behaviour; an implemented server can then be replaced by a refined implementation, without invalidating type-correctness of the overall system. We show how this subtyping relation can be integrated into the type system, and use the POP3 protocol as a concrete example of this technique. This report is a revised and extended version of our paper "Types and Subtypes for Client-Server Interaction", presented at the ESOP'99 conference.

PDF Bibtex entry Endnote XML