In: IEEE Compsac'87, Proceedings of the Eleventh Annual International Computer Software and Applications Conference, pages 701-706. 1987.
Abstract: An expert system EXPRESS is being developed. EXPRESS designs automatically the specification for a communication system from users' requirements. Each requirement which means one of the service features is converted into PSG (Partial Service Graph). TSG is the final specification and the most fundamental document in programming communication software. PSG and TSG are described in Petri Net.