Loading patent…
AssigneePegasystems Inc.
InventorsAlan Trefler, Andreas G. Hofmann
Estimating the term…
The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules. Upon execution of a procedural instruction that changes a variable participating in a declarative rule, other variables associated with the rule are updated so as to maintain a relationship imposed by the rule among the variables. The updating of the other variables is performed prior to execution of other procedural instructions. Further, for each of the updated values, changes associated with to updated variable are propagated to other rules, if any, in which the updated variable participates. The propagation of the change can be accomplished by modifying values of variables other than the updated variable so as to maintain relationships defined by these other rules. The integrated computational systems of the invention can find applications, for example, in workflow processing.
A method of unifying one or more declarative rules and a plurality of procedural instructions in a procedural computational system the method comprising the steps of:
A method of unifying one or more declarative rules and a procedural computational system supporting object-oriented representation of data, the method comprising the steps of:
A method of unifying one or more declarative rules and a procedural computational system, the method comprising the steps of:
An integrated computational system, comprising
A method of unifying one or more declarative rules and a procedural computational system so as to render a plurality of instructions provided by said procedural system and a plurality of declarative rules mutually consistent, the method comprising the steps of:
Dependencies are inferred from the claim text.