Methods for identifying a case with a missing decision from a set of decision rules in violation of a decision requirement are provided. The set of decision rules and decision requirement are received, and a set of decisions made by the decision rules is obtained. A decision detection constraint graph is built, which represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not by a decision rule in the set of decision rules. A decision requirement constraint graph is built from the decision requirement, which represents, for each case used by the set of decision rules, the decisions required. For each case used by the set of decision rules, the decision requirement constraint graph and the decision detection constraint graph for the case are used to identify if the case is a case with a missing decision.
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A computer-implemented method of identifying a case with a missing decision from a set of decision rules in violation of a decision requirement, wherein the decision rules determine whether a decision is made for a case, and wherein the decision requirement determines the decisions required for a case, the method comprising: receiving the set of decision rules; receiving the decision requirement; obtaining a set of decisions made by the decision rules; building a decision detection constraint graph that represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not for the case by a decision rule in the set of decision rules; building a decision requirement constraint graph from the decision requirement, that represents for each case used by the set of decision rules the decisions required for that case; and for each case used by the set of decision rules, using the decision requirement constraint graph and the decision detection constraint graph for the case to identify if the case is a case with a missing decision. 2. A computer-implemented method as claimed in claim 1, wherein the set of decisions is generated from the decision rules. 3. A computer-implemented method as claimed in claim 1, wherein a set of cases is generated from the decision rules. 4. A computer-implemented method as claimed in claim 3, further comprising generating a new set of cases used by the set of decision rules, and using the new set of cases to determine further cases with missing decisions. 5. A computer-implemented method as claimed in claim 4, wherein the method is repeated for each possible set of cases used by the set of decision rules. 6. A computer-implemented method as claimed in claim 1, further comprising generating a ghost decision rule that determines that a decision is made for the identified case with a missing decision. 7. A computer-implemented method as claimed in claim 6, wherein the method is repeated with the ghost decision rule added to the set of decision rules. 8. A computer-implemented method as claimed in claim 7, wherein the method is repeated until no further cases with missing decisions are identified. 9. A computer system for identifying a case with a missing decision from a set of decision rules in violation of a decision requirement, wherein the decision rules determine whether a decision is made for a case, wherein the computer system comprises memory and a processor system and is arranged to: receive the set of decision rules and store it in the memory; receive the decision requirement and store it in the memory; obtain a set of decisions made by the decision rules and store it in the memory; use the processor system to build a decision detection constraint graph that represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not by a decision rule in the set of decision rules; use the processor system to build a decision requirement constraint graph from the decision requirement that represents, for each case used by the set of decision rules, the decisions required; and for each case used by the set of decision rules, using the decision requirement constraint graph and the decision detection constraint graph for the case to identify if the case is a case with a missing decision. 10. A computer system as claimed in claim 9, arranged to generate the set of decisions from the decision rules. 11. A computer system as claimed in claim 9, arranged to generate a set of cases from the decision rules. 12. A computer system as claimed in claim 11, further arranged to generate a new set of cases used by the set of decision rules, and use the new set of cases to determine further cases with missing decisions. 13. A computer system as claimed in claim 12, arranged to determine further cases with missing decisions for each possible set of cases used by the set of decision rules. 14. A computer system as claimed in claim 9, further arranged to generate a ghost decision rule that determines that a decision is made for the identified case with a missing decision. 15. A computer system as claimed in claim 14, further arranged to add the ghost decision rule to the set of decision rules, and use the new set of decision rules to determine further cases with missing decisions. 16. A computer system as claimed in claim 15, arranged to generate new ghost decision rules until no further cases with missing decisions are identified. 17. A computer program product for identifying a case with a missing decision from a set of decision rules in violation of a decision requirement, wherein the decision rules determine whether a decision is made for a case, and wherein the decision requirement determines the decisions required for a case, the computer program product comprising a computer-readable storage medium having computer-readable program code embodied therewith, the computer-readable program code configured to perform the steps of: receiving the set of decision rules; receiving the decision requirement; obtaining a set of decisions made by the decision rules; building a decision detection constraint graph that represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not by a decision rule in the set of decision rules; building a decision requirement constraint graph from the decision requirement, that represents, for each case used by the set of decision rules, the decisions required; and for each case used by the set of decision rules, using the decision requirement constraint graph and the decision detection constraint graph for the case to identify if the case is a case with a missing decision.