A compositional approach for constructing communication services and protocols

Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori

    Research output: Contribution to journalArticle

    7 Citations (Scopus)

    Abstract

    The complexity of designing communication protocols has lead researchers to develop various techniques for designing and verifying protocols. One of the most important techniques is a compositional technique. Using a compositional technique a large and complex protocol is designed and verified by composing small and simple protocols which are easy to handle design and verify. Unlike the other compositional approaches we propose compositional techniques for simultaneously composing service specifications and protocol specifications based on Formal Description Techniques (FDTs) called LOTOS. The proposed techniques consider alternative sequential interrupt and parallel composition of service specifications and protocol specifications. The composite service specification and the composite protocol specification preserve the original behaviour and the correctness properties of individual service specifications and protocol specifications. We use the weak bisimulation equivalence () to represent the correctness properties between the service specification and the protocol specification. When a protocol specification is weak bisimulation equivalent to a service specification the protocol satisfies all the logical properties of a communication protocol as well as provides the services that are specified in the service specification.

    Original languageEnglish
    Pages (from-to)2546-2557
    Number of pages12
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    VolumeE82-A
    Issue number11
    Publication statusPublished - 1999

    Fingerprint

    Specification
    Specifications
    Network protocols
    Communication
    Bisimulation
    Communication Protocol
    Correctness
    Composite
    Logical property
    Parallel Composition
    Specification languages
    Composite materials
    Equivalence
    Verify
    Alternatives
    Chemical analysis

    Keywords

    • Alternative
    • Composition
    • FDT
    • Interrupt
    • Parallel
    • Protocol
    • Sequential
    • Service

    ASJC Scopus subject areas

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

    Cite this

    A compositional approach for constructing communication services and protocols. / Bista, Bhed Bahadur; Takahashi, Kaoru; Shiratori, Norio.

    In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E82-A, No. 11, 1999, p. 2546-2557.

    Research output: Contribution to journalArticle

    Bista, Bhed Bahadur ; Takahashi, Kaoru ; Shiratori, Norio. / A compositional approach for constructing communication services and protocols. In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 1999 ; Vol. E82-A, No. 11. pp. 2546-2557.
    @article{14605551a7e44a3fac451fbed336e21d,
    title = "A compositional approach for constructing communication services and protocols",
    abstract = "The complexity of designing communication protocols has lead researchers to develop various techniques for designing and verifying protocols. One of the most important techniques is a compositional technique. Using a compositional technique a large and complex protocol is designed and verified by composing small and simple protocols which are easy to handle design and verify. Unlike the other compositional approaches we propose compositional techniques for simultaneously composing service specifications and protocol specifications based on Formal Description Techniques (FDTs) called LOTOS. The proposed techniques consider alternative sequential interrupt and parallel composition of service specifications and protocol specifications. The composite service specification and the composite protocol specification preserve the original behaviour and the correctness properties of individual service specifications and protocol specifications. We use the weak bisimulation equivalence () to represent the correctness properties between the service specification and the protocol specification. When a protocol specification is weak bisimulation equivalent to a service specification the protocol satisfies all the logical properties of a communication protocol as well as provides the services that are specified in the service specification.",
    keywords = "Alternative, Composition, FDT, Interrupt, Parallel, Protocol, Sequential, Service",
    author = "Bista, {Bhed Bahadur} and Kaoru Takahashi and Norio Shiratori",
    year = "1999",
    language = "English",
    volume = "E82-A",
    pages = "2546--2557",
    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 - A compositional approach for constructing communication services and protocols

    AU - Bista, Bhed Bahadur

    AU - Takahashi, Kaoru

    AU - Shiratori, Norio

    PY - 1999

    Y1 - 1999

    N2 - The complexity of designing communication protocols has lead researchers to develop various techniques for designing and verifying protocols. One of the most important techniques is a compositional technique. Using a compositional technique a large and complex protocol is designed and verified by composing small and simple protocols which are easy to handle design and verify. Unlike the other compositional approaches we propose compositional techniques for simultaneously composing service specifications and protocol specifications based on Formal Description Techniques (FDTs) called LOTOS. The proposed techniques consider alternative sequential interrupt and parallel composition of service specifications and protocol specifications. The composite service specification and the composite protocol specification preserve the original behaviour and the correctness properties of individual service specifications and protocol specifications. We use the weak bisimulation equivalence () to represent the correctness properties between the service specification and the protocol specification. When a protocol specification is weak bisimulation equivalent to a service specification the protocol satisfies all the logical properties of a communication protocol as well as provides the services that are specified in the service specification.

    AB - The complexity of designing communication protocols has lead researchers to develop various techniques for designing and verifying protocols. One of the most important techniques is a compositional technique. Using a compositional technique a large and complex protocol is designed and verified by composing small and simple protocols which are easy to handle design and verify. Unlike the other compositional approaches we propose compositional techniques for simultaneously composing service specifications and protocol specifications based on Formal Description Techniques (FDTs) called LOTOS. The proposed techniques consider alternative sequential interrupt and parallel composition of service specifications and protocol specifications. The composite service specification and the composite protocol specification preserve the original behaviour and the correctness properties of individual service specifications and protocol specifications. We use the weak bisimulation equivalence () to represent the correctness properties between the service specification and the protocol specification. When a protocol specification is weak bisimulation equivalent to a service specification the protocol satisfies all the logical properties of a communication protocol as well as provides the services that are specified in the service specification.

    KW - Alternative

    KW - Composition

    KW - FDT

    KW - Interrupt

    KW - Parallel

    KW - Protocol

    KW - Sequential

    KW - Service

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

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

    M3 - Article

    AN - SCOPUS:0038546216

    VL - E82-A

    SP - 2546

    EP - 2557

    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 -