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

    Fingerprint

    Network protocols
    Specification languages
    Finite automata
    Communication systems
    Communication

    ASJC Scopus subject areas

    • Software

    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). Los Alamitos, CA, United States: IEEE.

    Extension of protocol synthesis to structured entities. / Bahadur Bista, Bhed; Togashi, Atsushi; Shiratori, Norio.

    International Conference on Network Protocols. Los Alamitos, CA, United States : IEEE, 1995. p. 66-73.

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

    Bahadur Bista, B, Togashi, A & Shiratori, N 1995, Extension of protocol synthesis to structured entities. in International Conference on Network Protocols. IEEE, Los Alamitos, CA, United States, pp. 66-73, Proceedings of the 1995 International Conference on Network Protocols, Tokyo, Jpn, 95/11/7.
    Bahadur Bista B, Togashi A, Shiratori N. Extension of protocol synthesis to structured entities. In International Conference on Network Protocols. Los Alamitos, CA, United States: IEEE. 1995. p. 66-73
    Bahadur Bista, Bhed ; Togashi, Atsushi ; Shiratori, Norio. / Extension of protocol synthesis to structured entities. International Conference on Network Protocols. Los Alamitos, CA, United States : IEEE, 1995. pp. 66-73
    @inproceedings{a7635833a5604de2adb604e1b38899b4,
    title = "Extension of protocol synthesis to structured entities",
    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.",
    author = "{Bahadur Bista}, Bhed and Atsushi Togashi and Norio Shiratori",
    year = "1995",
    language = "English",
    pages = "66--73",
    booktitle = "International Conference on Network Protocols",
    publisher = "IEEE",

    }

    TY - GEN

    T1 - Extension of protocol synthesis to structured entities

    AU - Bahadur Bista, Bhed

    AU - Togashi, Atsushi

    AU - Shiratori, Norio

    PY - 1995

    Y1 - 1995

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

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

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

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

    M3 - Conference contribution

    SP - 66

    EP - 73

    BT - International Conference on Network Protocols

    PB - IEEE

    CY - Los Alamitos, CA, United States

    ER -