On constructing n-entities communication protocol and service with alternative and concurrent functions

Bhed Bahadur Bista; Kaoru Takahashi; Norio Shiratori

On constructing n-entities communication protocol and service with alternative and concurrent functions

Bhed Bahadur Bista^*, Kaoru Takahashi, Norio Shiratori

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	2426-2435
Number of pages	10
Journal	IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Volume	E85-A
Issue number	11
Publication status	Published - 2002 Nov

Keywords

Alternative composition
FDT
Parallel composition
Protocol
Service

ASJC Scopus subject areas

Hardware and Architecture
Information Systems
Electrical and Electronic Engineering

Cite this

@article{390809e06f304556b0f4ae45dd377bf6,

title = "On constructing n-entities communication protocol and service with alternative and concurrent functions",

abstract = "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.",

keywords = "Alternative composition, FDT, Parallel composition, Protocol, Service",

author = "Bista, {Bhed Bahadur} and Kaoru Takahashi and Norio Shiratori",

year = "2002",

month = nov,

language = "English",

volume = "E85-A",

pages = "2426--2435",

journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",

issn = "0916-8508",

publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",

number = "11",

}

TY - JOUR

T1 - On constructing n-entities communication protocol and service with alternative and concurrent functions

AU - Bista, Bhed Bahadur

AU - Takahashi, Kaoru

AU - Shiratori, Norio

PY - 2002/11

Y1 - 2002/11

N2 - 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.

AB - 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.

KW - Alternative composition

KW - FDT

KW - Parallel composition

KW - Protocol

KW - Service

UR - http://www.scopus.com/inward/record.url?scp=0036881765&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036881765&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0036881765

SN - 0916-8508

VL - E85-A

SP - 2426

EP - 2435

JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

IS - 11

ER -

On constructing n-entities communication protocol and service with alternative and concurrent functions

Abstract

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this