US 5,668,978 AGranted

Apparatus and method for synthesizing program specification from independent sets of tables

AssigneeMatsushita Electric Industrial Co., Ltd.

InventorsKouichi Yasutake, Norio Sanada

Life of this patent

Estimating the term…

Abstract

Disclosed is an apparatus and method for synthesizing a plurality of program component specifications into a single program component specification. Each program component transforms its state in operation, responding to an input of an event and in turn outputs another event in accordance with the transformation to the other program components. The program component specifications each includes a table showing events to be inputted therein, a table showing states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom according to the state transformations.

Claims7

Dependent claims

An apparatus for synthesizing a plurality of program component specifications into a single program component specification, each program component transforming its state in operation responding to an input of an event and, in turn, outputting another event in accordance with the transformation to the other program components, said apparatus comprising:

program component specification storing means for storing a plurality of program component specifications, each including a table showing events to be inputted therein, a table showing states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom to the other program components according to the state transformations;
input event table synthesizing means for synthesizing input event tables for the plurality of program component specifications into a single input event table for said single program component specification;
state table synthesizing means for synthesizing state tables for the plurality of program component specifications into a single state table for said single program component specification;
state transformation table synthesizing means for finding how each of the states in the single state table is transformed in response to each of the input events in the single input event table, by tracing paths of state transformation by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications;
output event table synthesizing means for finding which one of the output events in the single output event table is outputted while each of the states is being transformed, and by responding to each of the input events in the single input event table, by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications;
and
retrieving means for retrieving the input event tables, the state tables, the state transformation tables, and the output event tables stored in said program component specification storing means, and for outputting the retrieved input event tables to said input event table synthesizing means, the retrieved state tables to said state table synthesizing means, the retrieved state transformation tables to said state transformation table synthesizing means, and the retrieved output event tables to said output event table synthesizing means.

4 more elements

A method for synthesizing a plurality of program component specifications into a single program component specification, each of the plurality of program component specifications including a table showing events to be inputted therein, a table showing possible states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom to the other program components according to the state transformations, comprising the steps of:

synthesizing input event tables for the plurality of program component specifications into a single input event table for said single program component specification;
synthesizing state tables for the plurality of program component specifications into a single state table for said single program component specification;
finding how each of the states in the single state table is transformed in response to each of the input events in the single input event table, by tracing paths of state transformation by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications;
and
finding which one of the output events in the single output event table is outputted while each of the states is being transformed, responding to each of the input events in the single input event table, by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications.

2 more elements

program component specification storing means for storing a plurality of program component specifications, each including a table showing events to be inputted therein, a table showing states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom to the other program components according to the state transformations;
input event table synthesizing means for synthesizing input event tables for the plurality of program component specifications into a single input event table for said single program component specification;
state table synthesizing means for synthesizing state tables for the plurality of program component specifications into a single state table for said single program component specification;
state transformation table synthesizing means for finding how each of the states in the single state table is transformed in response to each of the input events in the single input event table, the state transformation table synthesizing means comprising:
selecting means for selecting the events one by one from the synthesized input event table;
tracing means for tracing a path of state transformations caused by the events selected by the selections means based on the retrieving by the retrieving means;
and
state determination means for outputting the last state of the traced path to the synthesized state transformation table;
output event table synthesizing means for finding which one of the output events in the single output event table is outputted while each of the states is being transformed, and by responding to each of the input events in the single input event table, by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications, the output event table synthesizing means comprising:
output event detection means for detecting events that are outputted on the path traced by the tracing means;
and
output event determination means for outputting that last output event on the path to the synthesized output event table,
wherein the tracing means traces based on the output events detected by the output event detection means;
retrieving means for retrieving the input event tables, the state tables, the state transformation tables, and the output event tables stored in said program component specification storing means, and for outputting the retrieved input event tables to said input event table synthesizing means, the retrieved state tables to said state table synthesizing means, the retrieved state transformation tables to said state transformation table synthesizing means, and the retrieved output event tables to said output event table synthesizing means.

11 more elements

Dependencies are inferred from the claim text.

patentgrep

Loading patent…

Abstract

program component specification storing means for storing a plurality of program component specifications, each including a table showing events to be inputted therein, a table showing states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom to the other program components according to the state transformations;
input event table synthesizing means for synthesizing input event tables for the plurality of program component specifications into a single input event table for said single program component specification;
state table synthesizing means for synthesizing state tables for the plurality of program component specifications into a single state table for said single program component specification;
state transformation table synthesizing means for finding how each of the states in the single state table is transformed in response to each of the input events in the single input event table, by tracing paths of state transformation by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications;
output event table synthesizing means for finding which one of the output events in the single output event table is outputted while each of the states is being transformed, and by responding to each of the input events in the single input event table, by referring to the state transformation tables and the output event tables, both for the plurality of program component specifications;
and
retrieving means for retrieving the input event tables, the state tables, the state transformation tables, and the output event tables stored in said program component specification storing means, and for outputting the retrieved input event tables to said input event table synthesizing means, the retrieved state tables to said state table synthesizing means, the retrieved state transformation tables to said state transformation table synthesizing means, and the retrieved output event tables to said output event table synthesizing means.

4 more elements