Domain-specific model integrated program synthesis (MIPS) environments are created according to a modeling paradigm a description of the class of models that can be created using the system. Just as model integrated computing applications are executable instances of domain models, domain models can be viewed as instances of meta-models. Desired modeling environment characteristics are selected from a library of model composition constraints and combined with domain-specific modeling concepts and constraints to create a meta model. This meta model is then translated and used to automatically generate the actual MIPS environment. Advantages include support for formal specifications of domain-specific modeling paradigms and model interpreters, fast adaptation of applications through the automatic re-synthesis of running applications from models, evolution of applications through model modification, and slow evolution through incremental modification of the MIPS environment components.