Systems and methods for automated code generation for calculation based on associated formal specifications

A system, comprising:

• a memory storing instructions;
• one or more communication interfaces;
• and
• one or more hardware processors coupled to the memory via the one or more communication interfaces, wherein the one or more hardware processors are configured by the instructions to:
• receive a Calculation Specification (CS) sheet as an input;
• identify a first data comprising one or more variables comprised in the CS sheet, wherein a second data associated with the one or more variables is identified based on the first data, wherein the CS sheet further comprises a third data associated with the one or more variables, and a fourth data comprising an associated domain knowledge, wherein the third data comprises an expected query output;
• generate a Query Synthesis Specification (QSS) for each of the one or more variables comprised in the CS sheet based on the first data, the second data, the third data, and the fourth data;
• apply a Natural Language Processing (NLP) technique on text comprised in the QSS to determine one or more query structures, wherein the one or more query structures comprises one or more associated query clauses, wherein the one or more query structures are determined by parsing one or more phrases and one or more associated relationships between text phrases for the text of the QSS and mapping the one or more phrases to the one or more associated query clauses;
• identify one or more database entities associated with the one or more associated query clauses based on a comparison of text in the one or more associated query clause and the one or more database entities;
• convert the one or more query structures and the one or more database entities into a query language syntax;
• generate a plurality of queries pertaining to the one or more query structures based on the query language syntax;
• execute each query from the plurality of queries on an associated database based on the one or more database entities to obtain a resultant value for each query from the plurality of queries;
• perform a comparison of the resultant value of each query with an associated value comprised in the QSS;
• identify one or more candidate queries based on the comparison;
• rank the one or more candidate queries to obtain a set of ranked queries;
• validate the set of ranked queries to obtain one or more validated queries, and wherein the one or more validated queries serve as one or more intended queries;
• and
• generate a code in a target programming language associated with (i) the one or more intended queries and the one or more variables comprised in the CS sheet, and (ii) one or more calculation formulae specified in the CS sheet.

One or more non-transitory machine-readable information storage mediums comprising one or more instructions which when executed by one or more hardware processors cause:

• receiving a Calculation Specification (CS) sheet as an input;
• identifying a first data comprising one or more variables comprised in the CS sheet, wherein a second data associated with the one or more variables is identified based on the first data, wherein the CS sheet further comprises a third data associated with the one or more variables, and a fourth data comprising an associated domain knowledge, and wherein the third data comprises an expected query output;
• generating a Query Synthesis Specification (QSS) for each of the one or more variables comprised in the CS sheet based on the first data, the second data, the third data, and the fourth data;
• applying a Natural Language Processing (NLP) technique on text comprised in the QSS to determine one or more query structures, wherein the one or more query structures comprises one or more associated query clauses, wherein the one or more query structures are determined by parsing one or more phrases and one or more associated relationships between text phrases for the text of the QSS and mapping the one or more phrases to the one or more associated query clauses;
• identifying one or more database entities associated with the one or more associated query clauses based on a comparison of text in the one or more associated query clause and the one or more database entities;
• converting the one or more query structures and the one or more database entities into a query language syntax;
• generating a plurality of queries pertaining to the one or more query structures based on the query language syntax;
• executing each query from the plurality of queries, on an associated database based on the one or more database entities to obtain a resultant value for each query from the plurality of queries;
• performing a comparison of the resultant value of each query with an associated value comprised in the QSS;
• identifying one or more candidate queries based on the comparison;
• ranking the one or more candidate queries to obtain a set of ranked queries;
• validating the set of ranked queries to obtain one or more validated queries, wherein the one or more validated queries serve as one or more intended queries;
• and
• generating a code in a target programming language associated with (i) the one or more intended queries and the one or more variables comprised in the CS sheet, and (ii) one or more calculation formulae specified in the CS sheet.