Model integration with a typed executable modeling language

Contemporary executable modeling languages for mathematical programming are extended by defining a typing system for all the objects in a model and by specifying formal methods to manipulate the type information. The modeler's intent to formulate consistent, meaningful constraints and functions can be automatically verified. It is shown how typing supports the development of integrated models from distinct model components. A library unit is proposed as an extension to modeling languages; it provides a mechanism for building integrated models from previously validated models.<>