Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075457
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:15:48 PM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 11:11:44 PM

Identifiers

  • HAL Id : inria-00075457, version 1

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⟩

Share

Metrics

Record views

148

Files downloads

81