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. The 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.