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.<>