Making changes in formal protocol specifications

Bhed Bahadur Bista, Kaoru Takahashi, Tetsuo Kinoshita, Norio Shiratori

    Research output: Contribution to journalArticle

    Abstract

    Users of computer communication systems and their requirements are rapidly increasing and changing. It is desirable to have a development method which helps to make small changes in a design of a system to obtain another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement changes in formal protocol specifications designed in LOTOS.

    Original languageEnglish
    Pages (from-to)974-978
    Number of pages5
    JournalIEICE Transactions on Communications
    VolumeE80-B
    Issue number6
    Publication statusPublished - 1997

    Fingerprint

    Specification languages
    Communication systems
    Specifications
    Network protocols

    Keywords

    • Communication
    • Protocol flexible synthesis
    • Requirement change

    ASJC Scopus subject areas

    • Electrical and Electronic Engineering
    • Computer Networks and Communications

    Cite this

    Bista, B. B., Takahashi, K., Kinoshita, T., & Shiratori, N. (1997). Making changes in formal protocol specifications. IEICE Transactions on Communications, E80-B(6), 974-978.

    Making changes in formal protocol specifications. / Bista, Bhed Bahadur; Takahashi, Kaoru; Kinoshita, Tetsuo; Shiratori, Norio.

    In: IEICE Transactions on Communications, Vol. E80-B, No. 6, 1997, p. 974-978.

    Research output: Contribution to journalArticle

    Bista, BB, Takahashi, K, Kinoshita, T & Shiratori, N 1997, 'Making changes in formal protocol specifications', IEICE Transactions on Communications, vol. E80-B, no. 6, pp. 974-978.
    Bista BB, Takahashi K, Kinoshita T, Shiratori N. Making changes in formal protocol specifications. IEICE Transactions on Communications. 1997;E80-B(6):974-978.
    Bista, Bhed Bahadur ; Takahashi, Kaoru ; Kinoshita, Tetsuo ; Shiratori, Norio. / Making changes in formal protocol specifications. In: IEICE Transactions on Communications. 1997 ; Vol. E80-B, No. 6. pp. 974-978.
    @article{2af3bf3f5fb546a8891f6cbe52c12ab6,
    title = "Making changes in formal protocol specifications",
    abstract = "Users of computer communication systems and their requirements are rapidly increasing and changing. It is desirable to have a development method which helps to make small changes in a design of a system to obtain another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement changes in formal protocol specifications designed in LOTOS.",
    keywords = "Communication, Protocol flexible synthesis, Requirement change",
    author = "Bista, {Bhed Bahadur} and Kaoru Takahashi and Tetsuo Kinoshita and Norio Shiratori",
    year = "1997",
    language = "English",
    volume = "E80-B",
    pages = "974--978",
    journal = "IEICE Transactions on Communications",
    issn = "0916-8516",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "6",

    }

    TY - JOUR

    T1 - Making changes in formal protocol specifications

    AU - Bista, Bhed Bahadur

    AU - Takahashi, Kaoru

    AU - Kinoshita, Tetsuo

    AU - Shiratori, Norio

    PY - 1997

    Y1 - 1997

    N2 - Users of computer communication systems and their requirements are rapidly increasing and changing. It is desirable to have a development method which helps to make small changes in a design of a system to obtain another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement changes in formal protocol specifications designed in LOTOS.

    AB - Users of computer communication systems and their requirements are rapidly increasing and changing. It is desirable to have a development method which helps to make small changes in a design of a system to obtain another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement changes in formal protocol specifications designed in LOTOS.

    KW - Communication

    KW - Protocol flexible synthesis

    KW - Requirement change

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

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

    M3 - Article

    AN - SCOPUS:0031166733

    VL - E80-B

    SP - 974

    EP - 978

    JO - IEICE Transactions on Communications

    JF - IEICE Transactions on Communications

    SN - 0916-8516

    IS - 6

    ER -