INSEP - a model-based interactive software environment for protocol specification

Yaoxue Zhang,Yue Zhang
1994-01-01
Abstract:This paper proposes a new method and environment for protocol specification, named INSEP (INteractive Software Environment for Protocol specification). The objective of INSEP is to provide a user - friendly environment which supports the generation process from an informal description of the object system to FDT such as Estelle and SDL. INSEP includes the following tools: (1) model based user interface, (2) mechanism for generation of FSM's (Finite State Machines) ,(3) translators to FDT's. By using INSEP, a non-expert user who only has the basic knowledge on the design concepts, the outline of each FDT can interactively develop the specifications based on FDT. Consequently, it is expected that INSEP enhances the productivity and reliability of protocol and communication software development.
What problem does this paper attempt to address?