Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Gilbert, David Roger; Breitling, Rainer; Heiner, Monika License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-19929

; ;

BioModel Engineering: Its role in Systems Biology and Synthetic Biology



BioModel Engineering takes place at the interface of computing science, mathematics, engineering and biology, and provides a systematic approach for designing, constructing and analyzing computational models of biological systems. Some of its central concepts are inspired by efficient software engineering strategies. BioModel Engineering does not aim at engineering biological systems per se, but rather aims at describing their structure and behavior, in particular at the level of intracellular molecular processes, using computational tools and techniques in a principled way. The two major application areas of BioModel Engineering are systems biology and synthetic biology. In the former, the aim is the design and construction of models of existing biological systems, which explain observed properties and predict the response to experimental interventions; in the latter, BioModel Engineering is used as part of a general strategy for designing and constructing synthetic biological systems with novel functionalities. The overall steps in building computational models in a BioModel Engineering framework are: Problem Identification, Model Construction, Static and Dynamic Analysis, Simulation, and Model management and development. A major theme in BioModel Engineering is that of constructing a (qualitative) model means (1) finding the structure, (2) obtaining an initial state and (3) parameter fitting. In an approach that we have taken, the structure is obtained by piecewise construction of models from modular parts, the initial state which describes concentrations of species or numbers of molecules is obtained by analysis of the structure, and parameter fitting comprises determining the rate parameters of the kinetic equations by reference to trusted data. Model checking can play a key role in BioModel Engineering -- for example in recent work we have shown how parameter estimation can be achieved by characterising the desired behaviour of a model with a temporal logic property and altering the model to make it conform to the property as determined through model checking.

BibTeX - Entry

  author =	{David Roger Gilbert and Rainer Breitling and Monika Heiner},
  title =	{BioModel Engineering: Its role in Systems Biology and Synthetic Biology},
  booktitle =	{Formal Methods in Molecular Biology},
  year =	{2009},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  number =	{09091},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Biochemical systems, models, design, construction, systems biology, synthetic biology,  model checking.}

Keywords: Biochemical systems, models, design, construction, systems biology, synthetic biology, model checking.
Seminar: 09091 - Formal Methods in Molecular Biology
Issue date: 2009
Date of publication: 05.05.2009

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI