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

    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.