On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions

Bhed Bahadur BISTA  Kaoru TAKAHASHI  Norio SHIRATORI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E85-A   No.11   pp.2426-2435
Publication Date: 2002/11/01
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
service,  protocol,  FDT,  alternative composition,  parallel composition,  

Full Text: PDF>>
Buy this Article




Summary: 
In this paper, we consider a flexible method for designing n-entities communication protocols and services. The proposed technique considers alternative and parallel composition of n service specifications and n protocol specifications, where n 2. The specifications are specified in Basic LOTOS which is a Formal Description Technique (FDT). We use the weak bisimulation equivalence () to represent the correctness properties between the service specification and the protocol specification.