Flexible protocol synthesis method for adopting requirement changes

Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

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

    2 Citations (Scopus)

    Abstract

    Communicating entities in a protocol specification communicate with each other and provide services to their users. Once the behaviours of the entities (specification of the protocol) are specified they are not changed. The entities provide a fixed set of services to their users. However, different users have different requirements and their requirements change often. The requirement changes in general are small in terms of the size of the behaviour expressions of the entities. Traditional protocol synthesis techniques have given considerable attention in construction of new protocols for fixed set of services but less attention to the attractive maintenance issue of protocol to adopt new protocol requirement changes. What is desirable is a protocol synthesis method which adopts new protocol requirement changes into the behaviours of entities or protocol specifications. In this paper, we propose a protocol synthesis method which adopts the new protocol requirement changes into the protocol specification. In this way, we can use existing protocol specifications and maintain them to adopt requirement changes. We use the formal specification language LOTOS to specify requirement changes and the behaviours of entities.

    Original languageEnglish
    Title of host publicationProceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
    Place of PublicationLos Alamitos, CA, United States
    PublisherIEEE
    Pages319-326
    Number of pages8
    Publication statusPublished - 1996
    EventProceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) - Tokyo, Jpn
    Duration: 1996 Jun 31996 Jun 6

    Other

    OtherProceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96)
    CityTokyo, Jpn
    Period96/6/396/6/6

    Fingerprint

    Network protocols
    Specifications
    Specification languages

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    Bista, B. B., Takahashi, K., Kaminaga, H., & Shiratori, N. (1996). Flexible protocol synthesis method for adopting requirement changes. In Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS (pp. 319-326). Los Alamitos, CA, United States: IEEE.

    Flexible protocol synthesis method for adopting requirement changes. / Bista, Bhed Bahadur; Takahashi, Kaoru; Kaminaga, Hiroaki; Shiratori, Norio.

    Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States : IEEE, 1996. p. 319-326.

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

    Bista, BB, Takahashi, K, Kaminaga, H & Shiratori, N 1996, Flexible protocol synthesis method for adopting requirement changes. in Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. IEEE, Los Alamitos, CA, United States, pp. 319-326, Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96), Tokyo, Jpn, 96/6/3.
    Bista BB, Takahashi K, Kaminaga H, Shiratori N. Flexible protocol synthesis method for adopting requirement changes. In Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States: IEEE. 1996. p. 319-326
    Bista, Bhed Bahadur ; Takahashi, Kaoru ; Kaminaga, Hiroaki ; Shiratori, Norio. / Flexible protocol synthesis method for adopting requirement changes. Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States : IEEE, 1996. pp. 319-326
    @inproceedings{78903a84011841ff8bba86a6e9cdea68,
    title = "Flexible protocol synthesis method for adopting requirement changes",
    abstract = "Communicating entities in a protocol specification communicate with each other and provide services to their users. Once the behaviours of the entities (specification of the protocol) are specified they are not changed. The entities provide a fixed set of services to their users. However, different users have different requirements and their requirements change often. The requirement changes in general are small in terms of the size of the behaviour expressions of the entities. Traditional protocol synthesis techniques have given considerable attention in construction of new protocols for fixed set of services but less attention to the attractive maintenance issue of protocol to adopt new protocol requirement changes. What is desirable is a protocol synthesis method which adopts new protocol requirement changes into the behaviours of entities or protocol specifications. In this paper, we propose a protocol synthesis method which adopts the new protocol requirement changes into the protocol specification. In this way, we can use existing protocol specifications and maintain them to adopt requirement changes. We use the formal specification language LOTOS to specify requirement changes and the behaviours of entities.",
    author = "Bista, {Bhed Bahadur} and Kaoru Takahashi and Hiroaki Kaminaga and Norio Shiratori",
    year = "1996",
    language = "English",
    pages = "319--326",
    booktitle = "Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS",
    publisher = "IEEE",

    }

    TY - GEN

    T1 - Flexible protocol synthesis method for adopting requirement changes

    AU - Bista, Bhed Bahadur

    AU - Takahashi, Kaoru

    AU - Kaminaga, Hiroaki

    AU - Shiratori, Norio

    PY - 1996

    Y1 - 1996

    N2 - Communicating entities in a protocol specification communicate with each other and provide services to their users. Once the behaviours of the entities (specification of the protocol) are specified they are not changed. The entities provide a fixed set of services to their users. However, different users have different requirements and their requirements change often. The requirement changes in general are small in terms of the size of the behaviour expressions of the entities. Traditional protocol synthesis techniques have given considerable attention in construction of new protocols for fixed set of services but less attention to the attractive maintenance issue of protocol to adopt new protocol requirement changes. What is desirable is a protocol synthesis method which adopts new protocol requirement changes into the behaviours of entities or protocol specifications. In this paper, we propose a protocol synthesis method which adopts the new protocol requirement changes into the protocol specification. In this way, we can use existing protocol specifications and maintain them to adopt requirement changes. We use the formal specification language LOTOS to specify requirement changes and the behaviours of entities.

    AB - Communicating entities in a protocol specification communicate with each other and provide services to their users. Once the behaviours of the entities (specification of the protocol) are specified they are not changed. The entities provide a fixed set of services to their users. However, different users have different requirements and their requirements change often. The requirement changes in general are small in terms of the size of the behaviour expressions of the entities. Traditional protocol synthesis techniques have given considerable attention in construction of new protocols for fixed set of services but less attention to the attractive maintenance issue of protocol to adopt new protocol requirement changes. What is desirable is a protocol synthesis method which adopts new protocol requirement changes into the behaviours of entities or protocol specifications. In this paper, we propose a protocol synthesis method which adopts the new protocol requirement changes into the protocol specification. In this way, we can use existing protocol specifications and maintain them to adopt requirement changes. We use the formal specification language LOTOS to specify requirement changes and the behaviours of entities.

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

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

    M3 - Conference contribution

    AN - SCOPUS:0029697184

    SP - 319

    EP - 326

    BT - Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS

    PB - IEEE

    CY - Los Alamitos, CA, United States

    ER -