loading...
Protocol synthesis using basic Lotos and global variables
Tokyo, Japan November 07-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524827Third International Conference on Net ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
A. Khoumsi, G. von Bochmann, "Protocol synthesis using basic Lotos and global variables," Network Protocols, IEEE International Conference on, pp. 126, Third International Conference on Network Protocols (ICNP'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICNP.1995.524827,
author = {A. Khoumsi and G. von Bochmann},
title = {Protocol synthesis using basic Lotos and global variables},
journal ={Network Protocols, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7216-1},
pages = {126},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524827},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Protocols, IEEE International Conference on
TI - Protocol synthesis using basic Lotos and global variables
SN - 0-8186-7216-1
SP
EP
A1 - A. Khoumsi,
A1 - G. von Bochmann,
PY - 1995
KW - specification languages; protocols; basic Lotos; global variables; extended basic LOTOS; EBL; protocol synthesis; shared variable; enabling condition; transformation function; disconnection phase; specification language
VL - 0
JA - Network Protocols, IEEE International Conference on
ER -
 
A. Khoumsi, Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
G. von Bochmann, Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
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
Index Terms:
specification languages; protocols; basic Lotos; global variables; extended basic LOTOS; EBL; protocol synthesis; shared variable; enabling condition; transformation function; disconnection phase; specification language
Citation:
A. Khoumsi, G. von Bochmann, "Protocol synthesis using basic Lotos and global variables," icnp, pp.126, Third International Conference on Network Protocols (ICNP'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.