Graphical animation of behavior models

Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and in interpreting the meaning and significance of analysis results in relation to the problem domain. In this paper we describe how behavior models specified by Labeled Transition Systems (LTS) can drive graphical animations. The semantic framework for the approach is based on Timed Automata. Animations are described by an XML document that is used to generate a set of JavaBeans. The elaborated JavaBeans perform the animation actions as directed by the LTS model. Keywords Labeled Transition System, Graphic Animation, Behavior Analysis

• Type: Conference
• Year: 2000
• Where: ICSE
• Authors: Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
• Keywords: Design Model, Graphical Animations, ICSE 2000, Labeled Transition System, Software Engineering