Configuration model parsing for constraint-based systems

A system comprising a computing device comprising one or more processors configured to perform operations, the operations comprising:

• receiving a configuration model definition comprising multiple configuration rule definitions for evaluation using a constraint solver;
• parsing the configuration rule definitions to create a graphical representation of the configuration rule definitions;
• and
• generating a template constraint expression for the configuration rule definitions using the graphical representation of the configuration rule definitions, wherein the graphical representation of the configuration rule definitions comprises a tree of one or more untyped syntax tree nodes, and the generating the template constraint expression comprises:
• traversing the tree of one or more untyped syntax tree nodes;
• and
• for at least one of the untyped syntax tree nodes:
• determining a type for the untyped syntax tree node;
• and
• generating a typed syntax tree node using the type.

One or more non-transitory computer-readable media storing instructions that, when executed by one or more processors, cause the one or more processors to perform operations, the operations comprising:

• receiving a configuration model definition comprising an object instance graph and multiple configuration rule definitions;
• creating a graphical representation of the configuration rule definitions, wherein creating the graphical representation comprises:
• parsing the configuration rule definitions to create an abstract syntax tree comprising multiple untyped syntax tree nodes,
• traversing the abstract syntax tree, and
• for at least one of the untyped syntax tree nodes:
• determining a variable type for the untyped syntax tree node;
• and
• generating a typed syntax tree node using the variable type;
• and
• generating a template constraint expression for the configuration rule definitions, wherein generating the template constraint expression comprises:
• traversing nodes in the graphical representation of the configuration rule definitions,
• identifying type information associated with the nodes,
• determining at least one of the nodes is associated with type information for a variable type, and
• replacing the at least one of the nodes with a variable placeholder node, and
• generating the template constraint expression using the type information associated with the nodes, wherein the template constraint expression comprises a variable placeholder identifier associated with the variable placeholder node.