A flexible approach for extension of communication protocols

Abstract

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