Extension of protocol synthesis to structured entities

Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    Entities in communication systems behave under sets of communication rules (protocols) and their behaviours are related to each other. Using this relationship, we present a synthesis algorithm to derive a structured protocol model by generating a peer entity from a given entity automatically. The given entity is in the form of a communicating process, which is natural in the context of communication protocols. We prove that the synthesized protocol model consisting of the generated entity and the peer entity is safe, i.e. logical errors free, collectively represented as deadlock free and is bisimulated by both entities. Unlike many previous works, where FSMs (Finite State Machines) are used to synthesize protocol model, we present our synthesis algorithm for the process-algebraic language LOTOS, which is one of the FDTs developed by ISO.

    Original languageEnglish
    Title of host publicationInternational Conference on Network Protocols
    Place of PublicationLos Alamitos, CA, United States
    PublisherIEEE
    Pages66-73
    Number of pages8
    Publication statusPublished - 1995
    EventProceedings of the 1995 International Conference on Network Protocols - Tokyo, Jpn
    Duration: 1995 Nov 71995 Nov 10

    Other

    OtherProceedings of the 1995 International Conference on Network Protocols
    CityTokyo, Jpn
    Period95/11/795/11/10

    ASJC Scopus subject areas

    • Software

    Fingerprint Dive into the research topics of 'Extension of protocol synthesis to structured entities'. Together they form a unique fingerprint.

  • Cite this

    Bahadur Bista, B., Togashi, A., & Shiratori, N. (1995). Extension of protocol synthesis to structured entities. In International Conference on Network Protocols (pp. 66-73). IEEE.