MAKING CHANGES IN FORMAL PROTOCOL SPECIFICATIONS

Authors
BISTA BB TAKAHASHI K KINOSHITA T SHIRATORI N
Citation
Bb. Bista et al., MAKING CHANGES IN FORMAL PROTOCOL SPECIFICATIONS, IEICE transactions on communications, E80B(6), 1997, pp. 974-978
Citations number
6
Categorie Soggetti
Engineering, Eletrical & Electronic",Telecommunications
Journal title
IEICE transactions on communications → ACNP
ISSN journal
09168516
Volume
E80B
Issue
6
Year of publication
1997
Pages
974 - 978
Database
ISI
SICI code
0916-8516(1997)E80B:6<974:MCIFPS>2.0.ZU;2-#
Abstract
Users of computer communication systems and their requirements are rap idly increasing and changing. It is desirable to have a development me thod which helps to make small changes in a design of a system to obta in another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement change s in formal protocol specifications designed in LOTOS.