Modeling languages for biochemical network simulation: reaction vs equation based approaches.

Biochemical network modeling and simulation is an essential task in any systems biology project. The systems biology markup language (SBML) was established as a standardized model exchange language for mechanistic models. A specific strength of SBML is that numerous tools for formulating, processing, simulation and analysis of models are freely available. Interestingly, in the field of multidisciplinary simulation, the problem of model exchange between different simulation tools occurred much earlier. Several general modeling languages like Modelica have been developed in the 1990s. Modelica enables an equation based modular specification of arbitrary hierarchical differential algebraic equation models. Moreover, libraries for special application domains can be rapidly developed. This contribution compares the reaction based approach of SBML with the equation based approach of Modelica and explains the specific strengths of both tools. Several biological examples illustrating essential SBML and Modelica concepts are given. The chosen criteria for tool comparison are flexibility for constraint specification, different modeling flavors, hierarchical, modular and multidisciplinary modeling. Additionally, support for spatially distributed systems, event handling and network analysis features is discussed. As a major result it is shown that the choice of the modeling tool has a strong impact on the expressivity of the specified models but also strongly depends on the requirements of the application context.

[1]  Hiroaki Kitano,et al.  CellDesigner: a process diagram editor for gene-regulatory and biochemical networks , 2003 .

[2]  Bernhard Bachmann,et al.  A Framework for Describing and Solving PDE Models in Modelica , 2005 .

[3]  Michael Hucka,et al.  LibSBML: an API Library for SBML , 2008, Bioinform..

[4]  Kevin Williams,et al.  Professional XML , 2001 .

[5]  Ralf Takors,et al.  MMT - A pathway modeling tool for data from rapid sampling experiments , 2002, Silico Biol..

[6]  W. Wiechert,et al.  Sensitivity Analysis of Modelica Applications via Automatic Differentiation , 2008 .

[7]  Katalin M. Hangos,et al.  Structural solvability analysis of dynamic process models , 2001 .

[8]  Kazuo Murota,et al.  Systems Analysis by Graphs and Matroids , 1987 .

[9]  Wolfgang Wiechert,et al.  Automatic Sensitivity Analysis of DAE-systems Generated from Equation-Based Modeling Languages , 2008 .

[10]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[11]  Claudio Maffezzoni,et al.  Generating efficient computational procedures from declarative models , 1996, Simul. Pract. Theory.

[12]  Ludwig von Bertalanffy,et al.  Allgemeine Theorie, Physikochemie, Aufbau und Entwicklung des Organismus , 1932 .

[13]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[14]  Jean Utke,et al.  Advances in Automatic Differentiation , 2008 .

[15]  R. Heinrich,et al.  The Regulation of Cellular Systems , 1996, Springer US.

[16]  Peter J. Ashenden,et al.  The System Designer's Guide to VHDL-AMS , 2002 .

[17]  Andreas Griewank,et al.  Evaluating derivatives - principles and techniques of algorithmic differentiation, Second Edition , 2000, Frontiers in applied mathematics.

[18]  Hiroaki Kitano,et al.  Foundations of systems biology , 2001 .

[19]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[20]  Sven Erik Mattsson,et al.  Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives , 1993, SIAM J. Sci. Comput..

[21]  Wolfgang Wiechert,et al.  A Multi-Scale Modeling Concept and Computational Tools for the Integrative Analysis of Stationary Metabolic Data , 2004, J. Integr. Bioinform..

[22]  Michael Hucka,et al.  Systems Biology Markup Language (SBML) Level 2: Structures and Facilities for Model Definitions , 2007, WWW 2007.

[23]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[24]  Jacky L Snoep,et al.  The Silicon Cell initiative: working towards a detailed kinetic description at the cellular level. , 2005, Current opinion in biotechnology.

[25]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[26]  Andre Vladimirescu,et al.  The Spice Book , 1994 .

[27]  E. Gilles,et al.  The organization of metabolic reaction networks: a signal-oriented approach to cellular models. , 2000, Metabolic engineering.

[28]  E. Gilles,et al.  The organization of metabolic reaction networks. II. Signal processing in hierarchical structured functional units. , 2001, Metabolic engineering.

[29]  Mudita Singhal,et al.  COPASI - a COmplex PAthway SImulator , 2006, Bioinform..

[30]  Edda Klipp,et al.  Systems Biology in Practice , 2005 .

[31]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

[32]  C. Pantelides.  The consistent intialization of differential-algebraic systems , 1988 .

[33]  Peter Fritzson,et al.  Biochemical and Metabolic Modeling and Simulation with Modelica , 2005 .

[34]  Wolfgang Wiechert,et al.  A Multi-Scale Modeling Concept and Computational Tools for the Integrative Analysis of Stationary Metabolic Data , 2004, J. Integr. Bioinform..

[35]  B. Palsson.  Systems Biology: Properties of Reconstructed Networks , 2006 .

[36]  Hans Olsson,et al.  Using Automatic Differentiation for Partial Derivatives of Functions in Modelica , 2005 .

[37]  Andreas Kremling,et al.  Modular Modeling of Cellular Systems with ProMoT/Diva , 2003, Bioinform..

[38]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .