A Type Calculus for Executable Modelling Languages

There is considerable current interest in the design and constructionof directly executable modelling languages for mathematicalprogramming. The present research extends contemporary modellinglanguages by specifying a type calculus for an extended dimensionalsystem that determines if the model is well formed in the sensethat the objective function and constraints consist of homogeneouscomponents. Each variable, coefficient, constant, function,constraint, input, and output of the model is assigned a typethat consists of its concepts, quantities, and units of measurementwith optional scale factors. In checking the composition offunctions and constraints, the system can do automatic unitconversions and apply user-supplied conversions. The systemallows a hierarchy of concepts that provides inheritance ofquantities and automatic concept conversion. In addition, eachset in a model is typed so the system can check the validityof operations on indices.