Specification Style and Run-Time Efficiency in Estelle


The run-time efficiency of implementations which are generated automatically from specifications is often insufficient. A suitable specification style can improve the run-time efficiency.

Reducing "Expensive" Structure

We can reduce the structure of the specification (modules, transitions) in order to reduce the overhead. This may be done either from beginning or by a transformation of the specification.

Exploiting the full concurrency

It is important to express the full problem-inherent concurrency in the specification and not to, e.g., prescribe unnecessary synchronization. In order to enhance the expressive power of Estelle with this respect, we developed a small, compatible language extension for Estelle. We investigated the consequences for the semantics of Estelle and proposed the according changes the the definition of the semantics. The extension has also further, important application areas.

Further Reading

Univ. of Kaiserslautern Dept. of Comp. Sce. Computer Networks Group People and Addresses Dr. Jan Bredereke Style & Efficiency in Estelle