[发明专利]复合断言和动态系统的系统定义和GUI

权利要求书

1.一种计算机系统，该计算机系统包括有程序指令，所述程序指令用来控制至少一个处理器去运算至少一个复合断言，来检验所述复合断言是否满足至少一个复杂条件，并且将所述复合断言分别运算成一个正值或者一个非正值，其中，各所述复合断言均包括：至少一个间接结束点、一个结果和至少一个序列，其中：

a)各所述间接结束点均包括一个结束值和一个结束条件；其中，

所述结束值的值是一个正值和一个非正值之一；

所述结束条件定义了一种终止情况，在该情况下，所述复合断言的运算会结束；

b)所述结果是一个属性，该属性用于当所述复合断言在所述间接结束点处结束时存储所述结束值；并且

c)当运算所述复合断言时，各所述序列都被运算，并且各所述序列均包括至少一个子断言，其中，各所述子断言均包括一个下层的复合断言和一个简单断言之一，其中所述简单断言定义了要检验的一个简单条件，如果满足所述简单条件，所述简单断言就会运算成一个正值，而如果不满足所述简单条件，所述简单断言就会运算成一个非正值。

2.根据权利要求1所述的计算机系统，其中，所述间接结束点中的至少一个进一步包括一个结束名称，该结束名称用来定义一个名称以标识所述间接结束点。

3.根据权利要求1所述的计算机系统，其中，所述序列中的至少一个进一步包括至少一个迁移，

其中，各所述迁移均包括一个源头、一个目标和一个迁移条件，其中：

a)所述源头定义了第一个所述子断言；

b)所述目标定义了第二个所述子断言；并且

c)所述迁移条件定义了这样一种情况，即，如果满足所述情况，则在运算了所述源头之后运算所述目标。

4.根据权利要求3所述的计算机系统，其中，所述序列中的至少一个进一步包括至少一个直接结束点作为所述迁移之一的“目标”，其中，各所述直接结束点均包括所述“结束值”之一，当运算到所述直接结束点时，所述复合断言终止，并且运算出与所述直接结束点相关联的所述结束值。

5.根据权利要求3所述的计算机系统，其中，所述序列中的至少一个进一步包括一个被至少一个所述迁移所指向的用户定义的终点，其中，当运算到所述用户定义的终点时，所述序列中的所述至少一个在所述用户定义的终点处终止并运算成一个正值。

6.根据权利要求3所述的计算机系统，其中，所述序列中的至少一个进一步包括一个隐含终点，其中，当运算完所述源头之一，并且该源头的所述迁移条件都不满足时，所述序列中的所述至少一个在所述隐含终点处终止，并且运算成一个非正值。

7.根据权利要求1所述的计算机系统，其中，所述复合断言中的至少一个进一步包括一个隐含结束点，其中，当各所述序列结束，并且没有到达所述间接结束点和所述直接结束点中的任意一个时，所述复合断言中的所述至少一个在所述隐含结束点处结束，并且运算成一个非正值。

8.根据权利要求1所述的计算机系统，其中，所述间接结束点中的至少一个中的所述结束条件定义了：当多少个所述序列算成正值时，所述复合断言将结束，并且运算成所述间接结束点中的所述至少一个的结束值。

9.根据权利要求8所述的计算机系统，其中，至少一个所述间接结束点中的所述结束条件定义了一个逻辑或的条件，该条件声明当所述序列中的至少一个已经运算成一个正值时，所述复合断言结束并且运算成所述间接结束点中的所述至少一个的结束值。

10.根据权利要求8所述的计算机系统，其中，所述间接结束点中的至少一个的所述结束条件定义了一个逻辑和的条件，该条件声明当所述序列中的每一个都已经运算成一个正值时，所述复合断言结束，并且运算成所述间接结束点中的所述至少一个的结束值。