Title :
A method for the support of specifying the requirements of telecommunication systems
Author_Institution :
Res. Inst. of the Deutsche Bundespost, Darmstadt, West Germany
Abstract :
The analysis of the functional behavior of telecommunication systems and its representation in a form that is largely independent of the implementation are described. A specification method for distributed systems has been devised that takes into account the special requirements of the first phases of the system lifecycle and the complexity of real systems. The method is based on the principles of essential systems analysis and uses a description based on a class of higher Petri nets specially defined for this purpose. The application of the proposed method allows a formal description of the functional behavior that can be structured at different abstraction levels. Computer tools are used to investigate the dynamic system behavior at each abstraction level by symbolic execution of the specification
Keywords :
directed graphs; distributed processing; systems analysis; telecommunication systems; abstraction level; computer tools; distributed systems; dynamic system behavior; essential systems analysis; functional behaviour; higher Petri nets; specification method; symbolic execution; system lifecycle; telecommunication systems; Application software; Communication industry; Couplings; Delay effects; Electronic switching systems; Formal specifications; Petri nets; Production systems; Refining; Telecommunication computing;
Conference_Titel :
Digital Communications, 1988. Mapping New Applications onto New Technologies, 1988 International Zurich Seminar on
Conference_Location :
Zurich
Print_ISBN :
3-908265-01-0
DOI :
10.1109/DIGCOM.1988.4695
