Fisher J, Harel D, and Henzinger T.A
We discuss the idea of viewing biological artifacts as reactive systems. This leads to the use of — and also to the need to enhance — methods, languages, and tools developed for the modeling and analysis of human-made reactive systems to further our understanding of biology. The approach has already yielded interesting biological results and insights, and the ultimate long-term goal is to be able to model and analyze truly complex and large biological systems, such as whole organs or even full organisms.
|Published in||Communication of the ACM 54 (10): 72-82|