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 18 articles )

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

  1. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: A proof system for adaptable class hierarchies (2015)
  2. Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina: Verifying traits: an incremental proof system for fine-grained reuse (2014)
  3. Ahrendt, Wolfgang; Dylla, Maximilian: A system for compositional verification of asynchronous objects (2012)
  4. Chen, Tsong Yueh; Hu, Peifeng; Li, Hao; Tse, T.H.: An enhanced flow analysis technique for detecting unreachability faults in concurrent systems (2012)
  5. de Boer, Frank S.; Grabe, Immo; Steffen, Martin: Termination detection for active objects (2012)
  6. Henrio, Ludovic; Kammüller, Florian; Lutz, Bianca: ASP$_\text fun$ : a typed functional active object calculus (2012)
  7. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Incremental reasoning with lazy behavioral subtyping for multiple inheritance (2011)
  8. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Lazy behavioral subtyping (2010)
  9. Owe, Olaf; Steffen, Martin; Torjusen, Arild B.: Model testing asynchronously communicating objects using modulo AC rewriting (2010)
  10. Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin: Behavioral interface description of an object-oriented language with futures and promises (2009)
  11. Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul: Asynchronous sequential processes (2009)
  12. Henrio, Ludovic; Kammüller, Florian: Functional active objects: typing and formalisation (2009)
  13. Johnsen, Einar Broch; Blanchette, Jasmin Christian; Kyas, Marcel; Owe, Olaf: Intra-object versus inter-object: concurrency and reasoning in creol (2009)
  14. Kyas, Marcel: Tool support for holistic modelling of distributed embedded systems in creol (2009)
  15. Owe, Olaf; Schneider, Gerardo: Wrap your objects safely (2009)
  16. Johnsen, Einar Broch; Yu, Ingrid Chieh: Backwards type analysis of asynchronous method calls (2008)
  17. Johnsen, Einar Broch; Owe, Olaf: An asynchronous communication model for distributed concurrent objects (2007)
  18. Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: Creol: A type-safe object-oriented model for distributed concurrent systems (2006)