Design support for the communication service specification by utilizing petri nets

Abstract

This paper describes a support system which designs a complete and error-free service specification from ambiguous user requirements in a communication system. Each of the user requirements, defined as a combination of terminal operation and a reaction of a switching system to it, is converted into an individual service graph (ISG); and all ISGs are integrated into a total service graph (TSG) which is the final service specification. TSG is verified by three methods: a semantical one, a logical one, and a prototyping one. Then TSG is converted into SDL representation so that it can be used to design communication softwam.

Design support for the communication service specification by utilizing petri nets

“…Section 6 presents the conclusions. Figure 1 shows a configuration of the support environment we have constructed for communication software development [9]. The part used by the designer is the development environment (SDL environment) based on SDL used widely in communication software development and easily understood by the designer.…”