The paper discusses ways for increasing the efficiency of protocol implementations which are automatically derived from formal descriptions. The subject of our discussion is the implementation model used in the implementation tool for the transformation process. The implementation model defines the architecture of the final implementation and has a crucial influence on its efficiency. Using an experimental Estelle-C compiler we discuss the impact of design decisions for the implementation model on the efficiency of the implementation. As a consequence, the use of a variable implementation model is proposed.

No abstract

No abstract

No abstract

No abstract