A flexible approach for extension of communication protocols

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Users of computer communication systems and their requirements are rapidly increasing and changing. In order to deal such a situation a rapid development method of communication systems is necessary. One of the such development methods is to change an existing specification of the system to obtain the desired specification of the system. However, a very little work has been done to support making changes in formal specifications. In this paper, we propose a mechanism for making changes in formal protocol specifications by adding protocol functions in an existing protocol specification.

Original languageEnglish
Title of host publicationProceedings - 12th International Conference on Information Networking, ICOIN 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages64-69
Number of pages6
ISBN (Electronic)0818672250, 9780818672255
DOIs
Publication statusPublished - 1998 Jan 1
Event12th International Conference on Information Networking, ICOIN 1998 - Koganei, Tokyo, Japan
Duration: 1998 Jan 211998 Jan 23

Publication series

NameProceedings - 12th International Conference on Information Networking, ICOIN 1998

Other

Other12th International Conference on Information Networking, ICOIN 1998
CountryJapan
CityKoganei, Tokyo
Period98/1/2198/1/23

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Information Systems

Fingerprint Dive into the research topics of 'A flexible approach for extension of communication protocols'. Together they form a unique fingerprint.

Cite this