Patent ID: 9396239
Filing Date: 2016-07-19
CPC Classification: G06F

Claim Text:
1. A compiling method for outputting an executable binary file, the method comprising: receiving, by a compiler executing on a computer, an interface file that includes declarative information for: determining, by a compiler process, if a premise business process is defined for the business process based on a table-adding pattern, wherein the premise business process includes a definition of a new contract having one or more entries expressed via the table-adding pattern, where the table-adding pattern is evaluated as true or false; if the premise business process is defined, collecting, by the compiler process, C (Create) and D (Delete) information for the one or more primary processes of the business process; identifying, by the compiler process, indications for the one or more primary processes that contain R or U operations that can be validated in a respective local process, wherein the respective local process is visible only to the compiler; wherein the respective local process is performed by the compiler and discrete from the business process; resolving, by the compiler process, indications of whether each of the one or more primary processes contain one or more R or U operations that cannot be completed in the respective local process; subsequent to a successful resolving of said indications, collecting, by the compiler process, Create, Read, Update, Delete (CRUD) information for each of the one or more primary processes based on the indications; creating, by the compiler process, a validation result based upon the CRUD information; inhibiting, by the compiler process, generation of the executable binary file when the validation result is invalid; and generating, by the compiler process, the executable binary file from a source file containing the interface file when the validation result is valid.