|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.
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.
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.
|Univ. of Kaiserslautern||Dept. of Comp. Sce.||Computer Networks Group||People and Addresses||Dr. Jan Bredereke||Style & Efficiency in Estelle|