A Dynamic Class Construct for Asynchronous Concurrent Objects

Einar Broch 1 Olaf Owe 1 Isabelle Simplot-Ryl 2
1 Department of Informatics [Oslo]
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille
Abstract : Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object sys- tems are well suited for runtime upgrade, as encapsulation clearly separates in- ternal structure and external services. This paper considers a mechanism for dy- namic class upgrade, allowing class hierarchies to be upgraded in such a way that the existing objects of the upgraded class and of its subclasses gradually evolve at runtime. The mechanism is integrated in Creol, a high-level language which targets distributed applications by means of concurrent objects communicating by asynchronous method calls. The dynamic class construct is given a formal semantics in rewriting logic, extending the semantics of the Creol language.
Type de document :
Communication dans un congrès
M. Steffen and G. Zavattaro. Proc. 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), 2005, Athens, Greece. Springer-Verlag, 3535, pp.15--30, 2005, Lecture Notes in Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00544965
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : jeudi 9 décembre 2010 - 12:08:53
Dernière modification le : mardi 24 avril 2018 - 13:34:49

Identifiants

  • HAL Id : inria-00544965, version 1

Collections

LIFL | INRIA | UNIV-LILLE3

Citation

Einar Broch, Olaf Owe, Isabelle Simplot-Ryl. A Dynamic Class Construct for Asynchronous Concurrent Objects. M. Steffen and G. Zavattaro. Proc. 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), 2005, Athens, Greece. Springer-Verlag, 3535, pp.15--30, 2005, Lecture Notes in Computer Science. 〈inria-00544965〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

67

Contact


archive-ouverte@inria.fr