Strict validation of inference rule based on abstraction environment

A computer-implemented method of managing execution of an analysis routine, comprising:

• accessing an analysis routine configured to process one or more inputs;
• wherein the analysis routine is defined by at least one abstract rule set having one or more abstract rules each having a conditional statement and a consequential statement;
• wherein the consequential statement defines a particular recommendation that is returned when the conditional statement is satisfied;
• wherein the conditional statement and the consequential statement are defined using logical field definitions defined in an abstraction model that models underlying physical data, wherein the logical field definitions each specify at least a logical field name and an access method mapping the logical field name to corresponding underlying physical data;
• determining, from the accessed analysis routine, a predefined validating condition that needs to be satisfied by at least one of the one or more inputs;
• validating a particular data value defining the at least one of the one or more inputs on the basis of the predefined validating condition;
• and
• if the particular data value is not validated, performing a predefined action configured to avoid execution of the analysis routine on invalid inputs.