Title :
Protocol synthesis using basic Lotos and global variables
Author :
Khoumsi, A. ; Bochmann, G.V.
Author_Institution :
Dept. d´´Inf. et de Recherche Oper., Montreal Univ., Que., Canada
Abstract :
In Kant et al. (1992), a method of protocol synthesis, using basic LOTOS (BL) as a specification language, is proposed. In the present paper, we generalize this method. We propose an extended basic LOTOS (EBL) to specify the service and the protocol. With EBL, events are associated with enabling conditions and transformation functions that depend on global variables. Next, we propose a method to synthesize protocols using EBL as a specification language. This method is inspired by the concept of transactions
Keywords :
protocols; specification languages; EBL; basic Lotos; disconnection phase; enabling condition; extended basic LOTOS; global variables; protocol synthesis; shared variable; specification language; transformation function; Computational Intelligence Society; Error correction; Protocols; Specification languages; System recovery;
Conference_Titel :
Network Protocols, 1995. Proceedings., 1995 International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7216-1
DOI :
10.1109/ICNP.1995.524827
