Abstract: An apparatus includes an execution module, a determination module, and a generation module. In one embodiment, the execution module parses a business rule as input into a meta rule on a rule engine. The meta rule includes a first expression defining one or more style conditions for business rules. The business rule includes a second expression defining logic for an entity. The determination module, in one embodiment, determines that a business rule violates a style condition defined by the meta rule. The business rule and the meta rule conform to a common business rule syntax. The generation module, in one embodiment, generates a notification in response to determining that the business rule violates the style condition of the meta rule.

Abstract: A method for automatically generating test scenarios for a plurality of business rules created to form a ruleset for a business domain. A plurality of decision variables is extracted from a business object model associated with the business domain using a computer system. The plurality of business rules is parsed using a syntactic parser operating on the computer system to extract at least one condition expression and an assignment action. A collection of mutually exclusive constraint satisfaction problems is built from the decision variables, condition expressions, and assignment actions using a constraint problem generator operating on the computer system. A plurality of test scenarios is generated automatically from each identified constraint satisfaction problem in the collection using a constraint solver engine operating on the computer system.

Abstract: A method for automatically generating test scenarios for a plurality of business rules created to form a ruleset for a business domain. A plurality of decision variables is extracted from a business object model associated with the business domain using a computer system. The plurality of business rules is parsed using a syntactic parser operating on the computer system to extract at least one condition expression and an assignment action. A collection of mutually exclusive constraint satisfaction problems is built from the decision variables, condition expressions, and assignment actions using a constraint problem generator operating on the computer system. A plurality of test scenarios is generated automatically from each identified constraint satisfaction problem in the collection using a constraint solver engine operating on the computer system.

Abstract: The method for implementing meta rules on an executable rule engine includes parsing a business rule as input into a meta rule on a rule engine. The meta rule includes a first expression defining one or more style conditions for business rules. The business rule includes a second expression defining logic for an entity. The method includes determining that a business rule violates a style condition defined by the meta rule. The business rule and the meta rule conform to a common business rule syntax. The method includes generating a notification in response to determining that the business rule violates the style condition of the meta rule.

Abstract: The method for implementing meta rules on an executable rule engine includes parsing a business rule as input into a meta rule on a rule engine. The meta rule includes a first expression defining one or more style conditions for business rules. The business rule includes a second expression defining logic for an entity. The method includes determining that a business rule violates a style condition defined by the meta rule. The business rule and the meta rule conform to a common business rule syntax. The method includes generating a notification in response to determining that the business rule violates the style condition of the meta rule.

Abstract: An apparatus includes an execution module, a determination module, and a generation module. In one embodiment, the execution module parses a business rule as input into a meta rule on a rule engine. The meta rule includes a first expression defining one or more style conditions for business rules. The business rule includes a second expression defining logic for an entity. The determination module, in one embodiment, determines that a business rule violates a style condition defined by the meta rule. The business rule and the meta rule conform to a common business rule syntax. The generation module, in one embodiment, generates a notification in response to determining that the business rule violates the style condition of the meta rule.