START Conference Manager    

Clocked Transition System as an OPM Formalism with Application to Systems Biology

Valeria Perelman, Dov Dori and Judith Somekh

Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS 2011)
Boston, MA, USA, April 4-9, 2011


Summary

A myriad of detailed pieces of knowledge regarding the structure and function of the living cell have been accumulating at an alarmingly increasing rate. Emphasis is shifting from the study of a single molecular process to cellular pathways, cycles, and the entire cell as a system. A framework for supporting the biological researcher for hypotheses verification is proposed. The framework includes molecular biological systems modeling and verification against pertinent literature. Object-Process Methodology (OPM) is a holistic modeling language which is proposed to represent complex biological systems intuitively yet formally. A Clocked Transition System (CTS) is also part of the framework, as is a set of translation rules from OPM to CTS. We apply the translation rules for verification of OPM models. An example from the mRNA transcription subsystem of gene expression demonstrates the value of our system to filling knowledge gap and assessing the feasibility of given conjectures.


START Conference Manager (V2.56.8 - Rev. 1568)