A method for the support of specifying the requirements of telecommunication systems

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