초록 ▼

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 t

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.

대표청구항 ▼

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 t

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.