Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia A distributed object-oriented language with session types. (English) Zbl 1151.68347 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]. Cited in 7 Documents MSC: 68N15 Theory of programming languages 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 68M14 Distributed systems PDF BibTeX XML Cite \textit{M. Dezani-Ciancaglini} et al., Lect. Notes Comput. Sci. 3705, 299--318 (2005; Zbl 1151.68347) Full Text: DOI OpenURL