Method and system of specification processing

• US 5,161,211 A
• Filed: 10/16/1989
• Issued: 11/03/1992
• Est. Priority Date: 10/19/1988
• Status: Expired due to Fees

• Current Assignee: Hitachi, Ltd.
• Original Assignee: Hitachi, Ltd.
• Inventors: Taguchi, Kouichi, Yamada, Shinichi
• Primary Examiner(s): Fleming, Michael R.
• Assistant Examiner(s): DAVIS, GEORGE B
• Application Number:
  US07/422,039
• Time in Patent Office: 1,114 Days
• Field of Search: 395/10, 364/138, 364/200
• US Class Current: 706/62
• CPC Class Codes: G06F 30/3323 using formal methods, e.g. equivalence checking or property checking
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques

Abstract

Disclosed herein are a method and a system of specification processing whereby are input the design specifications of a system under development, the expert knowledge of the system addressing these specifications, and the expert knowledge of a particular field to which the system belongs. The design specifications are transformed into information in list image having feasibility and containing state transitions and transition conditions. The information in list image is then edited as model specifications formed by the basic commands for outputting graphical image information. Document information is output in accordance with the model specifications (instruction words) and the expert knowledge. When output, the document information has high levels of both formality and understandability. The transformed information in list image can be verified in text image or graphical image in accordance with the transition conditions.

Claims

1. A specification processing method for outputting documents in an information processing system, comprising the steps of:

inputting design specification information containing a process specification, and a state transition specification;

storing said process specification and said state transition specification as verifying information to be simulated;

verifying said verifying information;

editing said process specification and said state transition specification into model specifications;

storing said model specifications as instruction words for use for document information output; and

,

outputting said document information according to instruction of said stored instruction words in connection with said design specification.

2. A specification processing method for outputting documents in an information processing system, comprising the steps of:

inputting design specification information as a process specification and a state transition specification;

storing said design specification as first information defining relations among processes in said process specification, and as second information defining relations among states in said state transition specification;

verifying said process and state specification in a text image;

verifying said process and state specification in a graphic image;

generating a command set for outputting a diagrammatical document in accordance with said process and state transition specifications; and

,

editing said diagrammatical document as an edited document and outputting said edited document by executing said command set in connection with said design specification information.

3. The specification processing method according to claim 2, further comprising the steps of:

determining a position to effect graphic output for said diagrammatical document;

generating diagramming commands for accomplishing graphic diagramming in accordance with the information on said position and with said command set;

storing said diagramming commands generated in the generating step; and

,

executing said diagramming commands stored in said storing step.