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

fYear

2000

fDate

2000

Firstpage

499

Lastpage

508

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 2000. Proceedings of the 2000 International Conference on

Conference_Location

Limerick

ISSN

0270-5257

Print_ISBN

1-58113-206-9

Type

conf

DOI

10.1109/ICSE.2000.870440

Filename

870440