Model-integrated programming

The building of complex, large-scale industrial applications necessitates the integration of models into the problem-solving process. This paper describes a model-integrated program synthesis (MIPS) environment for computer-based system applications. In MIPS, domain-specific, multiple-view models represent the software, its environment and relationships. Generic model interpreters translate the models into the input languages of static and dynamic analysis tools, and application-specific model interpreters synthesize software applications. The components of the system are built in the framework of the layered Multigraph architecture, which separates the generic and domain/application-specific components, and which defines interfaces for expandability.