Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems

Mathematical models are frequently used to model biological processes, such as cardiac electrophysiological systems. Newer models are derived both from new data obtained from physiological experiments and research into existing models. This is a collaborative process, dependent on information from a variety of sources derived in an interdisciplinary manner. We suggest that the model development process may be made easier, and help facilitate collaborative modelling, through the use of domain specific languages. In this paper we utilise such a language for describing mathematical biological models comprised from ODEs. The language implements a flexible module system used to abstract common functionality into reusable components, this is used to create a validated modular model repository for fostering collaborative development. We create a repository of modularized cardiac electrophysiological models - enabling the independent, iterative development, reuse and modification of module components when creating models. Several use-cases are given, such as facilitating the collaborative development of more complex, integrative, biological models.

[1]  R. Winslow,et al.  A computational model of the human left-ventricular epicardial myocyte. , 2004, Biophysical journal.

[2]  D. Noble,et al.  A model for human ventricular tissue. , 2004, American journal of physiology. Heart and circulatory physiology.

[3]  D Noble,et al.  A meta‐analysis of cardiac electrophysiology computational models , 2009, Experimental physiology.

[4]  Denis Noble,et al.  Models of cardiac ventricular action potentials: iterative interaction between experiment and simulation , 2001, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[5]  David Gavaghan,et al.  Modular mathematical modelling of biological systems , 2012, SpringSim.

[6]  K H W J Ten Tusscher,et al.  Cell model for efficient simulation of wave propagation in human ventricular tissue under normal and pathological conditions , 2006, Physics in medicine and biology.

[7]  D DiFrancesco,et al.  A model of cardiac electrical activity incorporating ionic pumps and concentration changes. , 1985, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[8]  G. W. Beeler,et al.  Reconstruction of the action potential of ventricular myocardial fibres , 1977, The Journal of physiology.

[9]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[10]  C. Luo,et al.  A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes. , 1994, Circulation research.

[11]  D. Noble.  A modification of the Hodgkin—Huxley equations applicable to Purkinje fibre action and pacemaker potentials , 1962, The Journal of physiology.

[12]  Yoram Rudy,et al.  Simulation of the Undiseased Human Cardiac Ventricular Action Potential: Model Formulation and Experimental Validation , 2011, PLoS Comput. Biol..

[13]  Catherine M Lloyd,et al.  CellML: its future, present and past. , 2004, Progress in biophysics and molecular biology.