Synthesizing protocol specifications from service specifications in FSM model

The authors address the problem of deriving a protocol specification from a given service specification, which are both in the finite-state-machine (FSM) model. They provide an algorithm that yields protocol FSMs from a given service FSM in which the service model allows only sequential execution of service primitives at various service access points (SAPs). They then extend the service model to allow concurrent execution of service primitives at different SAPs, and the algorithm is also expanded to take care of the extended model. Finally, they present a procedure to construct an error-recoverable protocol from its error-free version generated from the proposed algorithm, thus enabling the algorithm to provide the generated protocol with error-recovery capability. Limitations of the model and the direction being taken in further work to relieve the limitations are stated.<>