Reactive animation

Publication Type  Journal Article
Year of Publication  2003
Authors  Harel,D; Efroni,S; Cohen,I R
Journal Title  Formal Methods for Components and Objects
Volume  2852
Pagination  136-153
ISBN Number  0302-9743
Key Words  Visualization; Statecharts
Abstract  

Software engineers use system visualization mainly in two domains: algorithm visualization and system visualization, and both of these are often animated. In this paper we provide a generic link between the specification and animation of complex object-oriented reactive systems, which constitute one of the most important and difficult classes of systems. The link and its methodology form a basis for communication between standard reactive specification tools and standard animation tools. Reactive Animation can be used in a wide range of applications: computer games, navigation and traffic systems, interactive scientific visualization. Reactive Animation helps make the programming of such applications more reliable, expeditious and natural to observe and comprehend. We illustrate two examples: a complex biological model of thymic T-cell behavior and a traffic simulation(1).

0

Free Registration

Registered users have the added benefit of being able to:

  • Search/filter the bibliography to find just the article you are looking for. You can search the computer games research bibliography by author, year, keyword, title or publication type.
  • Export references from the video games bibliography to a format suitable for your own work. Options currently include tagged and XML for Endnote users and BibTex for the rest of the world.
  • Post comments to discuss the paper or alert fellow researchers to other resources.
  • Add their own references using the 'create content' -> 'biblio' option in the block on the left.
  • NEW: Use the Biblio Search box located on the right hand of the page.
  • NEW: Browse by journal title, book title, author or keyword using the new Faceted Search tool.