For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Making Changes in Formal Protcol Specifications
Bhed Bahadur BISTA Kaoru TAKAHASHI Tetsuo KINOSHITA Norio SHIRATORI
IEICE TRANSACTIONS on Communications
Publication Date: 1997/06/25
Print ISSN: 0916-8516
Type of Manuscript: LETTER
Category: Communication Software
communication, protocol, flexible synthesis, requirement change,
Full Text: PDF(400.9KB)>>
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.