@inproceedings{c9adbc0b09694fbbb1fcaaa11872d434,
title = "Model verification framework with application to molecular biology",
abstract = "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. Object-Process Methodology (OPM) is a holistic graphical modeling methodology that combines the behavioral and structural aspects of a system in a single model. The OPM methodology includes OPM-based development process, OPM Case Tool (OPCAT), and a modeling language. A framework for supporting the biological researcher for hypotheses modeling and verification is proposed. The framework consists of (1) OPM modeling of complex molecular biological systems intuitively yet formally and (2) a set of translation rules from OPM to a finite-state transition system (FTS) to enable model verification. An example from the mRNA transcription subsystem of gene expression demonstrates OPM-based modeling and its translation into FTS.",
keywords = "Finite-state transition systems, Formal verification, Systems biology",
author = "Valeria Perelman and Judith Somekh and Dov Dori",
year = "2011",
language = "English",
isbn = "9781617828386",
series = "Simulation Series",
number = "1 BOOK 4",
pages = "140--145",
booktitle = "Theory of Modeling and Simulation",
edition = "1 BOOK 4",
note = "Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2011, TMS-DEVS 2011, Part of the 2011 Spring Simulation Multiconference, SpringSim 2011 ; Conference date: 03-04-2011 Through 07-04-2011",
}