Scenario animation for visual behavior models: A generic approach

摘要

Visualizing and simulating formal models in a flexible way becomes increasingly important for the design of complex systems. With GENGED, a tool is available which automatically generates a visual environment to process (create, edit, check, simulate) visual models over a specified visual language. Both the specification of the language and the model manipulation are based on graph grammars. In this paper, we present the means to transform visual models into application oriented views, called scenario views. We show how a model is consistently transferred to a scenario views and animated there. The extension of GENGED concerning scenario animation is discussed.