|
Abstract : |
Distributed system design, including implementation and software development, should be based on formal methods in order to achieve correct design. In this paper we study the possibility of automated protocol implementation by transformations from structured formal specifications, in LOTOS, to program code, in C. Particular specification structures are referred to as specification styles. The implementation approach presented here is based on the successful implementation of a medium-scale protocol, the sliding window protocol. Details of this design exercise are included. 1, |
