Making changes in formal protocol specifications

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

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

  • Software
  • Computer Networks and Communications
  • Electrical and Electronic Engineering


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

Cite this