Model-integrated program synthesis environment

The paper describes a model-integrated program synthesis environment for computer-based system applications. In model-integrated program synthesis (MIPS), domain-specific, multiple-view models represent the software, its environment and their relationships. 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 defines interfaces for expandability.