Automated Protocol Implementations Based on Activity Threads

In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reordering of statements at compile time. This simplifies the mapping process and considerably improves the efficiency of the generated code. The approach is implemented in the SDL compiler COCOS. We describe the approach as well as its implementation and prove how semantic conflicts are resolved. Finally we present measurements which show the achieved performance gain. 1 Motivation The development of communication software is known to be an expensive and tedious process. Formal description techniques (FDTs) can help to considerably increase the quality of the protocols and telecommunication systems, and to shorten the time for their development. However, the benefits of FDTs are mainly used in the design, specification, performance prediction, verification, and testing phase. Automated implementation still represent...

• Type: Conference
• Year: 1999
• Where: ICNP
• Authors: Peter Langendörfer, Hartmut König
• Keywords: Achieved Performance, Computer Networks, Formal Description, ICNP 1999, Semantic Conflicts