Importance

Loading Importance Indicators...

Abstract

To formalize, using process algebra, the process of automatic generation of software together with the semantics of Lyee generated software. The present invention includes: a first step of declaring (defining) a user requirement to be mounted as one program as statements declared by word and grouped by logical record, each of which has a word name, a definition expression, a condition for executing the definition expression, an input/output attribute, and an attribute of a value of the word; a second step of preparing, from the statements by word, signification vectors (L.sub.2, L.sub.3, L.sub.4) and action vectors (I.sub.2, O.sub.4, S.sub.4), each of which is a modules of a process cell having input/output channels based on the Lyee-calculus; a third step of assembling the signification vectors and the action vectors into a set having the set condition that interactions among it is caused by a command from the same screen; a fourth step of placing one control function module .PHI. to each of the sets; and a fifth step of placing one control function module .PSI. in the program.

Loading the Abstract Image...

First Claim