Making changes in formal protocol specifications

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

Research output: Contribution to journalArticlepeer-review

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

Keywords

  • Communication
  • Protocol flexible synthesis
  • Requirement change

ASJC Scopus subject areas

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

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

Cite this