Unlock instant, AI-driven research and patent intelligence for your innovation.

Software generation method

A technology for software generation and execution conditions, applied in software engineering design, instrumentation, electrical digital data processing, etc., can solve problems such as difficulties and confusion, and achieve the effect of reducing the amount of documents and maintenance time

Inactive Publication Date: 2006-11-01
CATENA SA
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] However, the semantics of software generated with the help of Lyee and the automatic software generation process starting from the elements are described in an informal language, so it may be difficult to understand and study this methodology, resulting in confusion

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Software generation method
  • Software generation method
  • Software generation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0323] 5. Case Study 1

[0324] In this part, specific examples are given to explain step by step how the Lyee program is executed in order to use the Lyee calculation method to calculate words.

[0325] The example shown here has only 1 screen (another example with 2 screens is described in the appendix). As shown in the requirements of Table 12, the user enters word a, waits for the value of word b, and then presses button B 0 End screen. Figure 11 Indicates such a screen.

[0326] [Table 12]

[0327] word

Definition

Execution conditions

IO

Types of

a

i

real

b

2*a

a＞0

O

real

B 0

S 0

click

i

B

[0328] The screen s 1 Consists of 3 declarations.

[0329] [Equation 33]

[0330] s 1 = { ( a , , ...

Embodiment 2

[0395]

example

[0396] Case Study 2 - Case where there are 2 screens

[0397] In order to show the interaction between a plurality of screens, the case of a program composed of two screens will be described. Figure 14 It is a figure which shows the screen of this program. After the program starts, the screen S is displayed 1 . on screen S 1 , the user enters word a and waits for the value of word b to be output. press button B 2 After that, the screen S is displayed 2 , waiting to output the value of word b. on screen S 2 press button B 0 After that, the program ends.

[0398] Summarize Figure 14 Requirements statement of the program, available in screen S 1 Requirements (Table 17) and Screen S 2 elements (Table 18).

[0399] word

Definition

Execution conditions

IO

...

a

I

...

b

2*a

a＞0

O

...

B 2

S 2

click

I

...

[0400] word

Definition ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

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.

Description

technical field [0001] The present invention relates to a software generation method, in particular to a formalized software generation method using process algebra in Lyee methodology. Background technique [0002] In recent years, in order to improve one or more aspects related to the software development life cycle, various methodologies and technical solutions have been designed and proposed. However, despite enthusiastic efforts in this area of ​​research, the fabrication of well-understood and modifiable systems is currently a distant dream. One of the reasons is that the software itself is complex and elusive; another reason is that the current methodology also has its limitations. Recently, a new and very promising methodology called Lyee(TM) was proposed. The purpose of Lyee is to efficiently deal with a wide range of software problems associated with different fields, whereby software can be developed as long as its elements are defined. ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44
CPCG06F8/00G06F8/311
Inventor M·梅杰里B·克塔里H·藤田
Owner CATENA SA