COMPOSITION OF PROTOCOL FUNCTIONS

Authors
BISTA BB TAKAHASHI K SHIRATORI N
Citation
Bb. Bista et al., COMPOSITION OF PROTOCOL FUNCTIONS, IEICE transactions on fundamentals of electronics, communications and computer science, E81A(4), 1998, pp. 586-595
Citations number
14
Categorie Soggetti
Engineering, Eletrical & Electronic","Computer Science Hardware & Architecture","Computer Science Information Systems
Journal title
IEICE transactions on fundamentals of electronics, communications and computer science → ACNP
ISSN journal
09168508
Volume
E81A
Issue
4
Year of publication
1998
Pages
586 - 595
Database
ISI
SICI code
0916-8508(1998)E81A:4<586:COPF>2.0.ZU;2-Z
Abstract
Users of computer communication systems and their requirements are rap idly increasing and changing. In order to deal such a situation a rapi d development method of communication systems is necessary. One of the such development methods is to change an existing, specification of t he system to obtain the desired specification of the system. However, a very little work has been done to support making changes in formal s pecifications. In this paper, we propose a mechanism for making change s in formal protocol specifications by adding protocol Functions in an existing protocol specification.