Paper Info
Title
Type-Safe runtime class upgrades in creol
Abstract
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.
Year
DOI
Venue
2006
10.1007/11768869_16
FMOODS
Keywords
Field
DocType
type-safe asynchronous mechanism,runtime update,type safety,new external service,dynamic class upgrade,asynchronous class updates,type-safe runtime class upgrade,dynamic upgrade,external service,class hierarchy,static type checking
Asynchronous communication,Object-oriented programming,Computer science,Typing environment,Distributed algorithm,Formal methods,Type safety,The Internet,Distributed computing,Runtime system
Conference
Volume
ISSN
ISBN
4037
0302-9743
3-540-34893-X
Citations 
PageRank 
References 
10
0.61
16
Authors
3
Name
Order
Citations
PageRank
Ingrid Chieh Yu116418.53
Einar Broch Johnsen2107169.56
Olaf Owe360448.17