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

Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori

    Research output: Contribution to journalArticle

    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 languageEnglish
    Pages (from-to)2426-2435
    Number of pages10
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    VolumeE85-A
    Issue number11
    Publication statusPublished - 2002 Nov

    Keywords

    • Alternative composition
    • FDT
    • Parallel composition
    • Protocol
    • Service

    ASJC Scopus subject areas

    • Hardware and Architecture
    • Information Systems
    • Electrical and Electronic Engineering

    Fingerprint Dive into the research topics of 'On constructing n-entities communication protocol and service with alternative and concurrent functions'. Together they form a unique fingerprint.

  • Cite this