Reactive animation: realistic modeling of complex dynamic systems

Some complex systems are transformational, of an input-process-output type, repeatedly carrying out their prescribed work for each new set of inputs. A far more problematic class comprises large systems that are heavily controlor event-driven. Such systems (dubbed reactive because they react to various kinds of events, signals, and conditions in intricate ways) are often concurrent and distributed. Reactive animation, a patent pending technology, offers great promise as a way to enhance the visualization of system behavior, especially for reactive systems, which are a central part of most current computerized technologies.

[1]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[2]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[3]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[4]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[5]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6]  I. Damgård,et al.  The protocols. , 1989, The New Zealand nursing journal. Kai tiaki.

[7]  Roel Wieringa,et al.  Design methods for reactive systems - Yourdon, Statemate, and the UML , 2003 .

[8]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[9]  D. Harel,et al.  Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.

[10]  David Harel,et al.  A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal , 2003, HSCC.

[11]  I. Cohen Tending Adam's Garden: Evolving the Cognitive Immune Self , 2004 .

[12]  S. Diehl,et al.  Software visualization , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[13]  Irun R Cohen,et al.  Informational Landscapes in Art, Science, and Evolution , 2006, Bulletin of mathematical biology.