Title :
Graphical animation of behavior models
Author :
Magee, Jeff ; Pryce, Nat ; Giannakopoulon, D. ; Kramer, Jeff
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Abstract :
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. The authors 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 :
computational linguistics; computer animation; distributed object management; finite automata; hypermedia markup languages; program verification; program visualisation; JavaBeans; LTS model; Labeled Transition Systems; Timed Automata; XML document; analysis results; animation actions; behavior models; design model behavior visualization; design model validation; graphical animation; graphical animations; informally specified requirements; problem domain; semantic framework; Animation; Automata; Buildings; Educational institutions; Graphics; Java; Network address translation; Permission; Visualization; XML;
Conference_Titel :
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Conference_Location :
Limerick
Print_ISBN :
1-58113-206-9
DOI :
10.1109/ICSE.2000.870440
