Making Changes in Formal Protcol Specifications

Bhed Bahadur BISTA  Kaoru TAKAHASHI  Tetsuo KINOSHITA  Norio SHIRATORI  

Publication
IEICE TRANSACTIONS on Communications   Vol.E80-B   No.6   pp.974-978
Publication Date: 1997/06/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8516
Type of Manuscript: LETTER
Category: Communication Software
Keyword: 
communication,  protocol,  flexible synthesis,  requirement change,  

Full Text: PDF(400.9KB)>>
Buy this Article




Summary: 
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.