TY - GEN
T1 - Synthesizing biological theories
AU - Kugler, Hillel
AU - Plock, Cory
AU - Roberts, Andy
PY - 2011
Y1 - 2011
N2 - Studies of biological systems are often facilitated by diagram "models" that summarize the current understanding of underlying mechanisms. The increasing complexity of our understanding of biology necessitates computational models that can extend these representations to include their dynamic behavior. We present here a new tool we call Synthesizing Biological Theories which enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. Among the key features of the tool are convenient ways to represent several competing theories and the interactive nature of building and running the models using an intuitive, rigorous scenario-based visual language. The definition of the modeling language is geared towards enabling formal verification and analysis.
AB - Studies of biological systems are often facilitated by diagram "models" that summarize the current understanding of underlying mechanisms. The increasing complexity of our understanding of biology necessitates computational models that can extend these representations to include their dynamic behavior. We present here a new tool we call Synthesizing Biological Theories which enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. Among the key features of the tool are convenient ways to represent several competing theories and the interactive nature of building and running the models using an intuitive, rigorous scenario-based visual language. The definition of the modeling language is geared towards enabling formal verification and analysis.
UR - http://www.scopus.com/inward/record.url?scp=79960378440&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-22110-1_46
DO - 10.1007/978-3-642-22110-1_46
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:79960378440
SN - 9783642221095
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 579
EP - 584
BT - Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings
T2 - 23rd International Conference on Computer Aided Verification, CAV 2011
Y2 - 14 July 2011 through 20 July 2011
ER -