发明名称 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
代理机构 代理人
主权项
地址