The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 31, 1989
Filed:
Nov. 12, 1986
Kokusai Denshin Denwa Kabushiki Kaisha, Tokyo, JP;
Abstract
An automatic protocol synthesizing system in which, incomplete state transition diagrams of at least two functionally incomplete processes forming a protocol are received and completed state transition diagrams of the processes are outputted. In accordance with the present invention, there is provided a checking circuit for making a check for a logical error of the incomplete state transition diagram an embedding circuit embeds the state transition diagram of a process corresponding to the incomplete state transition diagram of an ith (where 1.ltoreq.i.ltoreq.N) one of the processes in the ith incomplete state transition diagram. A state transition diagram generating circuit is provided for automatically generating a state transition diagram including all of the remaining (i+1)th and subsequent processes, on the basis of the embedded state transition diagram; and a dividing circuit divides the thus automatically synthesized state transition diagram into the state transition diagram of the (i+1)th one of all the automatically generated processes and the state transition diagram for the other processes. The operations of the checking circuit, the embedding circuit, the state transition diagram generating circuit and the dividing circuit are repeated by (N-1) times to complete the state transition diagram for each process, thereby making the protocol functionally complete.