DocumentCode
3380341
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
fYear
1995
fDate
7-10 Nov 1995
Firstpage
126
Lastpage
133
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Network Protocols, 1995. Proceedings., 1995 International Conference on
Conference_Location
Tokyo
Print_ISBN
0-8186-7216-1
Type
conf
DOI
10.1109/ICNP.1995.524827
Filename
524827
Link To Document