G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/44 (2006.01)
Patent
CA 2539794
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.
L'invention concerne un procédé automatique de génération de logiciel et une sémantique de logiciel générée par Lee pouvant être formatée à l'aide de l'algèbre de processus. Ledit procédé de génération de logiciel consiste: à déclarer (définir) un besoin d'utilisateur à monter sur un programme en fonction d'un nom de mot, d'une équation de définition, d'une condition d'exécution de l'équation de définition, d'un attribut E/S et d'un attribut de valeur de mot pour chaque corps logique et pour chaque mot dudit corps logique; à créer des éléments logiques (L¿1?, L¿2?, L¿3?) dans un module sous forme de cellule de processus comprenant un canal E/S à l'aide du calcul de Lee et des éléments de fonction (I¿2?, O¿4?, S¿4?) à partir de la déclaration de l'unité de mots; à rassembler les éléments logiques et les éléments de fonction dans un ensemble comprenant une condition d'ensemble entraînant une interaction à l'aide d'une commande provenant du même écran; à agencer un module de fonction de commande .phi. pour chacun des ensembles; et à agencer un module de fonction de commande .psi. pour le programme.
Fujita Hamido
Ktari Bechir
Mejri Mohamed
Catena Corporation
Marks & Clerk
LandOfFree
Software generation method does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Software generation method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Software generation method will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1968824