Patent Document ID: 8656364
Application ID: 13085254

Base Claim:
1. A computer implemented method for enforcing business rules in a computer program, using static analysis, the method comprising: storing a plurality of business rules to enforce respective plurality of business processes representing a behavior of an enterprise, wherein the plurality of business rules comprises at least one pattern-based business rule, at least one flow-based business rule, and at least one runtime business rule; parsing a representation of each of the business processes in the computer program to create a business process graph for each of the business processes that represent the behavior of the enterprise; identifying execution paths for each of the business processes from the business process graphs; creating control flow graphs and data flow graphs from the identified execution paths for each of the business processes; adhering the created control flow graphs and data flow graphs to the plurality of business rules by combining control flow graphs and data flow graphs for two or more related business processes that represent the behavior of the enterprise; applying said one or more of the stored business rules to the combined control flow graphs and data flow graphs; and reporting whether any of the applied rules is violated.

---

Claim 5:
5. The method of claim 1 , wherein the business process graphs are in a form of XML Process Definition Language (XPDL) parse graphs.