Method and system of specification processing
First Claim
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.
1 Assignment
0 Petitions
Accused Products
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.
-
Citations
3 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. - View Dependent Claims (3)
-
Specification