Abstract:

A family of algorithms for automated protocol derivation using service-driven protocol synthesis has been developed in the last four years at the Jozef Stefan Institute, Ljubljana, Slovenia. Much work has recently been done on protocol synthesis for specific users. We propose some improvements of earlier protocol synthesis methods that give to a specific user of a distributed system service the possibility to generate a more efficient and correct protocol. Optimization of the derived protocol is achieved by considering eventual redundancies in the service specification and the actual testing capabilities of the particular service user.