|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: email@example.com , firstname.lastname@example.org|
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.