next up previous

Final Report of the COST-247 Action

Derivation of protocols for specific users of distributed systems

Marjeta Pucko and Monika Kapus-Kolar

Jozef Stefan Institute
Digital communications and networks department
POB 3000, SI-1001 Ljubljana, Slovenia
Tel: +386 61 1773 724
Fax: +386 61 1262 102
E-mail: ,


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.

This presentation has been given during the COST-247 6th Management Committee Meeting (Budapest, Hungary, October 26-27, 1995).

COST-247 Working Group(s): 3, 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page