System and GUI for specifying composite predicates and dynamic systems
First Claim
1. A computer system comprising instructions to direct at least one processor to evaluate at least one composite-predicate for checking whether at least one complex condition is met or not and evaluating to either a positive value or a non-positive value respectively, wherein each said composite-predicate comprising:
- at least one indirect-exit-point, a result, and at least one sequence, wherein;
a) each said indirect-exit-point comprises an exit-value and an exit-condition, wherein;
said exit-value whose value is one of a positive value and a non-positive value; and
said exit-condition specifies a termination situation under which evaluation of said composite-predicate exits;
b) said result is an attribute to store said exit-value when said composite-predicate exits at said indirect-exit-point; and
c) each said sequence is evaluated when said composite-predicate is evaluated, and each said sequence comprising at least one subordinate predicate, wherein each said subordinate predicate comprises one of a lower level composite-predicate and a simple-predicate, wherein said simple-predicate specifies a simple condition to check, and if said simple condition is met, said simple-predicate evaluates to a positive value and if said simple condition is not met, said simple-predicate evaluates to a non-positive value.
0 Assignments
0 Petitions
Accused Products
Abstract
System for specifying the behavior of a composite predicate and a composite dynamic system, and procedures about their operations are provided in the present invention. While a composite predicate is provided to check for a complex condition when a decision is made in a computing system, a composite dynamic system is provided for specifying the behavior of the entire computing system. In addition, a graphical language is provided for showing composite predicates and dynamic systems in graphical diagrams. Some existing graphical languages, such as BPMN and UML Activity Diagrams, are extended with similar capabilities.
-
Citations
27 Claims
-
1. A computer system comprising instructions to direct at least one processor to evaluate at least one composite-predicate for checking whether at least one complex condition is met or not and evaluating to either a positive value or a non-positive value respectively, wherein each said composite-predicate comprising:
-
at least one indirect-exit-point, a result, and at least one sequence, wherein; a) each said indirect-exit-point comprises an exit-value and an exit-condition, wherein; said exit-value whose value is one of a positive value and a non-positive value; and said exit-condition specifies a termination situation under which evaluation of said composite-predicate exits; b) said result is an attribute to store said exit-value when said composite-predicate exits at said indirect-exit-point; and c) each said sequence is evaluated when said composite-predicate is evaluated, and each said sequence comprising at least one subordinate predicate, wherein each said subordinate predicate comprises one of a lower level composite-predicate and a simple-predicate, wherein said simple-predicate specifies a simple condition to check, and if said simple condition is met, said simple-predicate evaluates to a positive value and if said simple condition is not met, said simple-predicate evaluates to a non-positive value. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A computer system comprising instructions to direct at least one processor to evaluate at least one composite-predicate for checking whether at least one complex condition is met or not and evaluating to either a positive value or a non-positive value respectively, wherein each said composite-predicate comprising:
- at least one sequence and a result, wherein;
each said sequence is evaluated when said composite-predicate is evaluated, and each said sequence comprises at least one subordinate predicate, at least one transition and at least one direct-exit-point, wherein; a) each said subordinate predicate comprises one of a low level composite-predicate and a simple-predicate, wherein said simple-predicate specifies a simple condition to check, and if said simple condition is met, said simple-predicate evaluates to a first positive value and if said simple condition is not met, said simple-predicate evaluates to a first non-positive value; b) each said transition comprises a source, a target, and a transition-condition, wherein; said source specifies a first subordinate predicate; said target specifies either a second subordinate predicate or one of said direct-exit-point; and said transition-condition specifies a situation, wherein if said situation is met, said target is evaluated after said source is evaluated; and c) each said direct-exit-point comprises an exit-value whose value is either a second positive value or a second non-positive value, and when said each said direct-exit-point is evaluated, evaluation of said composite-predicate exits and evaluates to the exit-value associated with the direct-exit-point; and said result is an attribute to store said exit-value associated with the direct-exit-point at which said composite-predicate exits. - View Dependent Claims (12, 13)
- at least one sequence and a result, wherein;
-
14. A computer system comprising a Graphical User Interface (GUI) for displaying on a display device at least one composite-predicate-item that visually represents a composite-predicate for checking whether at least one complex condition is met or not and evaluating to either a first positive value or a first non-positive value respectively,
wherein each said composite-predicate-item comprising: -
at least one indirect-exit-point-item and at least one sequence-item, wherein; a) each said indirect-exit-point-item comprises an exit-point-item, an exit-condition-item and an exit-value, wherein; said exit-point-item visually represents a point where said composite-predicate is capable of exiting, and said exit-condition-item visually represents a termination situation under which evaluation of said composite-predicate-item exits and evaluates to said exit-value associated with said indirect-exit-point-item; and b) each said sequence-item is evaluated when said composite-predicate-item is evaluated, and each said sequence-item comprises at least one subordinate predicate-item, wherein each said subordinate predicate-item visually represents one of a lower level composite-predicate and a simple-predicate, wherein said simple-predicate specifies a simple condition to check, and if said simple condition is met, said simple-predicate evaluates to a second positive value and if said simple condition is not met, said simple-predicate-item evaluates to a second non-positive value. - View Dependent Claims (15, 16, 17, 18, 19, 20, 21, 22)
-
-
23. A computer system comprising a Graphical User Interface (GUI) for displaying on a display device at least one composite-predicate-item that visually represents a composite-predicate for checking whether at least one complex condition is met or not and evaluating to either a first positive value or a first non-positive value respectively,
wherein each said composite-predicate-item comprising at least one sequence-item, wherein each said sequence-item is evaluated when said composite-predicate-item is evaluated, and each said sequence-item comprises at least one subordinate predicate-item, at least one transition-item, and at least one direct-exit-point-item, wherein: -
a) each said subordinate predicate-item comprises one of a lower level composite-predicate-item and a simple-predicate-item, wherein said simple-predicate-item visually represents a simple condition to check, and if said simple condition is met, said simple-predicate-item evaluates to a second positive value and if said simple condition is not met, said simple-predicate-item evaluates to a second non-positive value; b) each said transition-item visually connects a source to a target and comprises a transition-condition-item, wherein; said source specifies a first subordinate predicate-item; said target specifies either one of said subordinate predicate-item or one of said direct-exit-point-item; and said transition-condition-item visually represents a situation, wherein if said situation is met, said target is evaluated after said source is evaluated; and c) each said direct-exit-point-item is connected by one of said transition-item as the target, wherein when said direct-exit-point-item is evaluated, said composite-predicate-item exits and evaluates to one of said first positive value and said first non-positive value. - View Dependent Claims (24, 25, 26, 27)
-
Specification