Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alex Ahern, and
Sophia Drossopoulou
A Distributed Object-Oriented
language with Session types
In TGC 2005, LNCS Springer-Verlag, 2005
to appear
In the age of the world-wide web and mobile computing,
programming communication-centric software becomes increasingly
popular. Thus, programmers and program designers get exposed to
new levels of complexity, including composition of communication
behaviors and guarantee of deadlock freedom of their specified
protocols.
This paper proposes the language Ldoos, a simple distributed
object-oriented language augmented by session communication
primitives and types. Ldoos provides a flexible object-oriented
programming style for structural interaction protocols by
prescribing channel usages within signatures of distributed classes.
We develop a typing system for Ldoos and prove its soundness with
respect to the operational semantics. We also show that in Ldoos
there will never be a connection error, a communication error,
nor an incorrect completion between server-client
interactions. These results demonstrate that a consistent
integration of object-oriented language features and session types
offers a compositional method to statically check safety of
communication protocols.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43