Making changes in formal protocol specifications

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

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review


    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
    Issue number6
    Publication statusPublished - 1997


    • Communication
    • Protocol flexible synthesis
    • Requirement change

    ASJC Scopus subject areas

    • Electrical and Electronic Engineering
    • Computer Networks and Communications


    Dive into the research topics of 'Making changes in formal protocol specifications'. Together they form a unique fingerprint.

    Cite this