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

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

1 2 next

  1. Abbasi, Rosa; Ghassemi, Fatemeh; Khosravi, Ramtin: Verification of asynchronous systems with an unspecified component (2019)
  2. Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam: An evaluation of interaction paradigms for active objects (2019)
  3. Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun: A secrecy-preserving language for distributed and object-oriented systems (2018)
  4. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  5. Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H.: Dynamic rebinding for concurrent object groups: theory and practice (2017)
  6. Owe, Olaf; McDowell, Charlie: On detecting over-eager concurrency in asynchronously communicating concurrent object systems (2017)
  7. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh: A proof system for adaptable class hierarchies (2015)
  8. Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina: Verifying traits: an incremental proof system for fine-grained reuse (2014)
  9. Scholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang: Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (2014)
  10. Ahrendt, Wolfgang; Dylla, Maximilian: A system for compositional verification of asynchronous objects (2012)
  11. Chen, Tsong Yueh; Hu, Peifeng; Li, Hao; Tse, T. H.: An enhanced flow analysis technique for detecting unreachability faults in concurrent systems (2012) ioport
  12. de Boer, Frank S.; Grabe, Immo; Steffen, Martin: Termination detection for active objects (2012)
  13. Henrio, Ludovic; Kammüller, Florian; Lutz, Bianca: ASP(_\textfun) : a typed functional active object calculus (2012)
  14. Laud, Peeter: Secure implementation of asynchronous method calls and futures (2012)
  15. Pettai, Martin; Laud, Peeter: Securing the future -- an information flow analysis of a distributed OO language (2012)
  16. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Incremental reasoning with lazy behavioral subtyping for multiple inheritance (2011)
  17. Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf: Concurrent objects à la carte (2010)
  18. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin: Lazy behavioral subtyping (2010)
  19. Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin: Behavioral interface description of an object-oriented language with futures and promises (2009)
  20. Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul: Asynchronous sequential processes (2009)

1 2 next