Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological systems into static interactions with little dynamics. To bridge the gap between experimental data and the underlying behavior, our group has been formalizing biological findings into mathematically and algorithmically rigorous specifications, which are then compiled into reactive models. To realistically animate our models, we designed a generic architecture for the earlier idea of reactive animation, in a way that allows it to link up reactive models with animation tools. Here, we describe the reactive animation approach and some of the benefits of employing it to simulate and analyze complex biological systems. We illustrate our approach with a model of pancreatic development, a highly complex system with a unique 3D structure, and also mention more recent work on adding animation to the generic cell proj...
Yaki Setty, Irun R. Cohen, David Harel