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
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;
Conference_Titel :
Database and Expert Systems Applications, 2001. Proceedings. 12th International Workshop on
Conference_Location :
Munich
Print_ISBN :
0-7695-1230-5
DOI :
10.1109/DEXA.2001.953057
