Sciweavers

FMOODS
2006

Type-Safe Runtime Class Upgrades in Creol

13 years 11 months ago
Type-Safe Runtime Class Upgrades in Creol
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime update, as encapsulation clearly separates internal structure and external services. This paper considers a type-safe asynchronous mechanism for dynamic class upgrade, allowing class hierarchies to be updated in such a way that the existing objects of the upgraded class and of its subclasses gradually evolve at runtime. New external services may be introduced in classes and old services may be reprogrammed while static type checking ensures that asynchronous class updates maintain type safety. A formalization is shown in the Creol language which, addressing distributed and object-oriented systems, provides a natural framework for dynamic upgrades.
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where FMOODS
Authors Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
Comments (0)