发明名称 |
SOFTWARE GENERATION METHOD |
摘要 |
<p>A software automatic generation process and semantics of software generated by Lyee can be formatted by using the process algebra. A software generation method includes: a first step of declaring (defining) a user requirement to be mounted as one program according to a word name, a definition equation, an execution condition of the definition equation, an I/O attribute, and a word value attribute for each logic body and for each word on the logic body; a second step of creating logic elements (L2, L3, L4) made into a module as a process cell having an I/O channel by the Lyee calculation method and function elements (I2, O4, S4) from the declaration of the word unit; a third step of collectivizing the logic elements and the function elements into a set having a set condition to cause an interaction by a command from the same screen; a fourth step of arranging one control function module Phi for each of the sets; and a fifth step of arranging one control function module Psi for the program.</p> |
申请公布号 |
WO2005029323(A1) |
申请公布日期 |
2005.03.31 |
申请号 |
WO2004JP13855 |
申请日期 |
2004.09.22 |
申请人 |
CATENA CORPORATION;MEJRI, MOHAMED;KTARI, BECHIR;FUJITA, HAMIDO |
发明人 |
MEJRI, MOHAMED;KTARI, BECHIR;FUJITA, HAMIDO |
分类号 |
G06F9/44;(IPC1-7):G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|