The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1989

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

Benoit Caillaud

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1102.pdf (1.26 Mo) Télécharger le fichier

Dates and versions

inria-00075457 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075457 , version 1

Cite

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⟩
49 View
39 Download

Share

Gmail Facebook Twitter LinkedIn More