Abstract: Methods and apparatus, including computer program products, for inference processing in a fact-based business automation system, including receiving a rule set as a single package, generating a dependency graph for the rule set, and generating a sequence of processing logic for optimal processing of inputted facts.

Abstract: Methods, systems, and products that execute modeled business controls on a modeled input work item to generate a corresponding modeled output work item. Input data values included in the modeled input work item either match or approximate corresponding values included in a corresponding actual input work item. Each modeled business control is defined by business rules that represent a business policy, and the business rules and the input data values of the modeled input work item are used to generate the modeled output work item. An actual output work item from a business process is compared to the modeled output work item. The actual output work item includes actual output data values. The business process changes the actual input work item into the actual output work item. The modeled output work item includes modeled output data values. Differences between the actual and modeled output work items are reported.

Abstract: Methods and apparatus, including computer program products, for interacting with a user to define business rules in a declarative manner. The invention operates to display a rule set as an editable list of conditions and an editable list of actions, the conditions and actions being linked to each other by the combination of an editable list of if-values and an editable list of then-values, wherein if-values and then-values are explicitly linked to each other, conditions and if-values are explicitly linked to each other, and then-values and actions are explicitly linked to each other in the displayed lists.