Scenario Views for Visual Behavior Models in GenGED* *This work is supported by the German-Brazilian Cooperation for Graphical Support of Formal and Semi-Formal Methods for Software Specification and Development (GRAPHIT).
Claudia Ermel, Roswitha Bardohl · Electronic Notes in Theoretical Computer Science · 2003
Visualizing and simulating the behavior of formal models in an adequate and flexible way becomes increasingly important in 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 in a specified formalism (a visual language). Both the specification of the formalism and the model manipulation are based on graph grammars. In this paper we present the means to transform a formal model into different application domain oriented views (scenario views). We show how the behavior of the model is transferred to the views and animated there (i.e. simulated in the layout of the application domain). Possible extensions towards animation modules (animated scenario views defined by GenGED that are accessible from other tools) are discussed.