In: IECE Global Telecommunications Conference, Vol. 1: GLOBECOM Tokyo'87 IEEE, pages 646-650. 1987.
Abstract: The authors have developed a software support system, EXPRESS, that designs the specification for a communications system. It designs the specification according to users' requirements using natural language and verifies the specification. Each requirement is converted into a PSG (partial service graph) and all PSGs are integrated into a TSG (total service graph). The TSG is the final design specification. Both PSGs and TSGs are described using Petri nets.