In: Proc. of COMPSAC 87, pages 701-706. Washington: IEEE Computer Society Press, 1987.
Abstract: An outline is presented of an expert system that automatically designs the specification for a communication system from users' requirements. Each requirement in converted into a PSG (partial service graph), and all PSGs are integrated into a TSG (total service graph). PSG and TSG are described by Petri nets. They may have some errors or inconsistencies, which must be detected and resolved.