A distributed object-oriented language with session types. (English) Zbl 1151.68347

Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia

De Nicola, Rocco (ed.) et al., Trustworthy global computing. International symposium, TGC 2005, Edinburgh, UK, April 7–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-30007-4/pbk). Lecture Notes in Computer Science 3705, 299-318 (2005).

Summary: In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new levels of complexity, such as ensuring the correct composition of communication behaviours and guaranteeing deadlock-freedom of their protocols.
This paper proposes the language \(\mathcal L_{doos}\), a simple distributed object-oriented language augmented with session communication primitives and types. \(\mathcal L_{doos}\) 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 \(\mathcal L_{doos}\) and prove its soundness with respect to the operational semantics. We also show that in a well-typed \(\mathcal L_{doos}\) program, 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 can statically check the consistent composition of communication protocols.
For the entire collection see [Zbl 1089.68006].

MSC:

68N15	Theory of programming languages
68N19	Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68M14	Distributed systems