Creol: A type-safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing is becoming increasingly important for critical infrastructure in society. In standard object-oriented models, objects synchronize on method calls. These models may be criticized in the distributed setting for their tight coupling of communication and synchronization; network delays and instabilities may locally result in much waiting and even deadlock. The Creol model targets distributed objects by a looser coupling of method calls and synchronization. Asynchronous method calls and high-level local control structures allow local computation to adapt to network instability. Object variables are typed by interfaces, so communication with remote objects is independent from their implementation. The inheritance and subtyping relations are distinct in Creol. Interfaces form a subtype hierarchy, whereas multiple inheritance is used for code reuse at the class level. This paper presents the Creol syntax, operational semantics, and type system. It is shown that runtime type errors do not occur for well-typed programs.
Keywords for this software
References in zbMATH (referenced in 25 articles )
Showing results 21 to 25 of 25.
- Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Incremental reasoning for multiple inheritance (2009)
- Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel: An object-oriented component model for heterogeneous nets (2008)
- Johnsen, Einar Broch; Yu, Ingrid Chieh: Backwards type analysis of asynchronous method calls (2008)
- Johnsen, Einar Broch; Owe, Olaf: An asynchronous communication model for distributed concurrent objects (2007) ioport
- Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: Creol: A type-safe object-oriented model for distributed concurrent systems (2006)