Rules definition language
First Claim
1. A computer program product including a computer readable medium having computer readable program code embodied thereon for the authoring of rules, the computer program product comprising statements for composing a rule such that the rule can be decomposed into a subset of instructions that are processed concurrently to facilitate at least one of testing assertions, enforcing constraints using runtime information, making inferences, performing correlation, and communicating results of dynamic tests to other components.
6 Assignments
0 Petitions
Accused Products
Abstract
A rules definition language the authoring rules for concurrent processing. The RDL includes statements that facilitate efficient use of computer resources by allowing a rule to be broken down into one or more instructions, and processing these instructions asynchronously to provide more efficient use of the computer resources. Once processed into the instructions, results thereof can be passed among the instructions to facilitate process completion of the rule.
-
Citations
27 Claims
- 1. A computer program product including a computer readable medium having computer readable program code embodied thereon for the authoring of rules, the computer program product comprising statements for composing a rule such that the rule can be decomposed into a subset of instructions that are processed concurrently to facilitate at least one of testing assertions, enforcing constraints using runtime information, making inferences, performing correlation, and communicating results of dynamic tests to other components.
- 20. A computer program product including a computer readable medium having computer readable program code embodied thereon for providing a method of authoring rules for asynchronous processing, the method comprising, composing a rule of one or more statements that facilitate decomposing the rule into a subset of instructions that are processed concurrently, the rules processed to perform at least one of testing assertions, enforcing constraints using runtime information, making inferences, performing correlation, and communicating results of dynamic tests to other components.
-
27. A computer program product including a computer readable medium having computer readable program code embodied thereon for providing a method of authoring rules for asynchronous processing, the method comprising, composing a rule of one or more statements that facilitate decomposing the rule into a subset of instructions that are independently scheduled for execution representative of an infinite loop, the rules processed to perform at least one of testing assertions, enforcing constraints using runtime information, making inferences, performing correlation, and communicating results of dynamic tests to other components.
Specification