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

    Fingerprint

    Communication Protocol
    Concurrent
    Specification
    Specifications
    Network protocols
    Alternatives
    Parallel Composition
    Specification languages
    Bisimulation
    Correctness
    Equivalence
    Chemical analysis

    Keywords

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

    ASJC Scopus subject areas

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

    Cite this

    On constructing n-entities communication protocol and service with alternative and concurrent functions. / Bista, Bhed Bahadur; Takahashi, Kaoru; Shiratori, Norio.

    In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E85-A, No. 11, 11.2002, p. 2426-2435.

    Research output: Contribution to journalArticle

    @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 = "11",
    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

    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

    SN - 0916-8508

    IS - 11

    ER -