View article

This advanced tutorial describes the goal-driven automated generation of models from a set of design specifications. A five level hierarchy is introduced which supports the automated gen-eration of both models and simulation experiments from an ab-stract description of an overall design, and from an abstract description of the goals of the simulation study. The aim is to be able to generate models and experiments in a top-down fashion from a description of static components and the couplings between these components by automating the stepwise refine-ment process. Detailed model descriptions are extracted from template files residing in model libraries. The paper emphasizes on the problems encountered in the automatic generation of continuous-system models since the synthesis of these models is more involved than the synthesis of discrete-event models. The paper starts with an assessment of the need …