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

摘要

本发明提供了复合断言和复合动态系统的系统定义和其操作程序。复合断言用于当在计算机系统中制定决策时检查复杂条件；复合动态系统则是用于定义整个计算机系统的行为。另外，为了显示复合断言和动态系统，在图形图表中提供了图形语言的示例。并将类似的性能扩展到一些已有的图形语言里，比如BPMN和UML活动图。

主权项

1.一种计算机系统，该计算机系统包括有程序指令，所述程序指令用来控制至少一个处理器去运算至少一个复合断言，来检验所述复合断言是否满足至少一个复杂条件，并且将所述复合断言分别运算成一个正值或者一个非正值，其中，各所述复合断言均包括：至少一个间接结束点、一个结果和至少一个序列，其中：a)各所述间接结束点均包括一个结束值和一个结束条件；其中，所述结束值的值是一个正值和一个非正值之一；所述结束条件定义了一种终止情况，在该情况下，所述复合断言的运算会结束；b)所述结果是一个属性，该属性用于当所述复合断言在所述间接结束点处结束时存储所述结束值；并且c)当运算所述复合断言时，各所述序列都被运算，并且各所述序列均包括至少一个子断言，其中，各所述子断言均包括一个下层的复合断言和一个简单断言之一，其中所述简单断言定义了要检验的一个简单条件，如果满足所述简单条件，所述简单断言就会运算成一个正值，而如果不满足所述简单条件，所述简单断言就会运算成一个非正值。