Creol

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.


References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y.H.: Dynamic rebinding for concurrent object groups: theory and practice (2017)
  2. Owe, Olaf; McDowell, Charlie: On detecting over-eager concurrency in asynchronously communicating concurrent object systems (2017)
  3. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: A proof system for adaptable class hierarchies (2015)
  4. Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina: Verifying traits: an incremental proof system for fine-grained reuse (2014)
  5. Ahrendt, Wolfgang; Dylla, Maximilian: A system for compositional verification of asynchronous objects (2012)
  6. Chen, Tsong Yueh; Hu, Peifeng; Li, Hao; Tse, T.H.: An enhanced flow analysis technique for detecting unreachability faults in concurrent systems (2012) ioport
  7. de Boer, Frank S.; Grabe, Immo; Steffen, Martin: Termination detection for active objects (2012)
  8. Henrio, Ludovic; Kammüller, Florian; Lutz, Bianca: ASP$_\text fun$ : a typed functional active object calculus (2012)
  9. Laud, Peeter: Secure implementation of asynchronous method calls and futures (2012)
  10. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Incremental reasoning with lazy behavioral subtyping for multiple inheritance (2011)
  11. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Lazy behavioral subtyping (2010)
  12. Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin: Behavioral interface description of an object-oriented language with futures and promises (2009)
  13. Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul: Asynchronous sequential processes (2009)
  14. Johnsen, Einar Broch; Yu, Ingrid Chieh: Backwards type analysis of asynchronous method calls (2008)
  15. Johnsen, Einar Broch; Owe, Olaf: An asynchronous communication model for distributed concurrent objects (2007) ioport
  16. Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: Creol: A type-safe object-oriented model for distributed concurrent systems (2006)