The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms
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.