DocumentCode
3522098
Title
Construction of a multiple entities communication protocol by compositional approach
Author
Bista, Bhed Bahadur ; Shiratori, Norio
Author_Institution
Fac. of Soft & Info. Sci., Iwate Prefectural Univ., Japan
fYear
2001
fDate
2001
Firstpage
162
Lastpage
166
Abstract
We consider a compositional approach for designing service and protocol specifications for communicating entities. The proposed techniques consider alternative, sequential, and parallel composition of service specifications and protocol specifications. The specifications are specified in Basic LOTOS which is a formal description technique. We use the weak bisimulation equivalence, to represent the correctness properties between the service specification and the protocol specification
Keywords
bisimulation equivalence; formal specification; protocols; specification languages; Basic LOTOS; communicating entities; compositional approach; correctness properties; formal description techniques; multiple entities communication protocol; parallel composition; protocol specifications; sequential composition; service specifications; weak bisimulation equivalence; Access protocols; Algebra; Broadcasting; Specification languages; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Database and Expert Systems Applications, 2001. Proceedings. 12th International Workshop on
Conference_Location
Munich
Print_ISBN
0-7695-1230-5
Type
conf
DOI
10.1109/DEXA.2001.953057
Filename
953057
Link To Document