Automatic revision of simulation models

Abstract

We have developed 007, an intelligent modeling assistant that assists a human modeler in three main revision tasks: (i) representation of the physical models, (ii) clarification of goals and formulation of explicit requirements, and (iii) modification of the physical model. 007 helps users to formulate explicit, testable requirements and to assess the current model. It then executes generic repair plans and revises the model until the requirements are met.