The Only Way Is Up: On A Tower of Abstractions for Biology
- Piterman N ,
- Vardi Y.M ,
- Jasmin Fisher
17th International Symposium on Formal Methods, LNCS 6664, pp. 3-11 |
Published by Springer Verlag
We draw an analogy between biology and computer hardware systems and argue for the need of a tower of abstractions to tame complexity of living systems. Just like in hardware design, where engineers use a tower of abstractions to produce the most complex man-made systems, we stress that in reverse engineering of biological systems; only by using a tower of abstractions we would be able to understand the “program of life”.