The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms

Benoit Caillaud 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The superimposition is a distributed program composition. It is a concenient concept for the design and implementation of control and observation algorithms in distributed systems, such as snapshots, detection of termination, global time, verification of properties, mutual exclusion, garbage collection. The present report describes the implementation of superimposition on static Estelle. It consists of a compiler that transforms a program in static Estelle extended to the superimposition into a pure static Estelle program. The problem of the correctness and complexity of the generated code is also raised.
Type de document :
Rapport
[Research Report] RR-1102, INRIA. 1989
Liste complète des métadonnées

https://hal.inria.fr/inria-00075457
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:15:48
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mardi 12 avril 2011 - 23:11:44

Fichiers

Identifiants

  • HAL Id : inria-00075457, version 1

Collections

Citation

Benoit Caillaud. The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms. [Research Report] RR-1102, INRIA. 1989. 〈inria-00075457〉

Partager

Métriques

Consultations de la notice

97

Téléchargements de fichiers

39