Model Composition for Biological Mathematical Systems

Mandeep Gill, Steve McKeever, David Gavaghan

2014

Abstract

Mathematical models are frequently used to model biological process, such as cardiac electrophysiological systems. In order to separate the models from the implementations, and to facilitate curation, domain specific languages (DSLs) have become a popular and effective means of specifying models (Lloyd et al., 2004; Hucka et al., 2004). In previous papers (Gill et al., 2012a; Gill et al., 2012b; McKeever et al., 2013) we have argued for including parameterised modules as part of such DSLs. We presented our prototype Ode language and showed how models could be created in a generic fashion. In this paper we extend our work with concrete examples and simulation results. We show how complex heart models can be constructed by aggregation, encapsulation and subtyping. Our use-case retraces the steps taken by (Niederer et al., 2009), which investigated the common history between cardiac models, and shows how they can be cast in our language to be reused and extended. Our DSL enables ‘physiological model engineering’ through the development of generic modules exploiting high cohesion and low coupling.

References

  1. Barendregt, H. (1985). The lambda calculus: Its syntax and semantics, volume 103. Access Online via Elsevier.
  2. Beeler, G. and Reuter, H. (1977). Reconstruction of the action potential of ventricular myocardial fibres. The Journal of physiology, 268(1):177.
  3. Booch, G. (2006). Object Oriented Analysis and Design with Applications. Pearson.
  4. Gill, M., McKeever, S., and Gavaghan, D. (2012a). Modular Mathematical Modelling of Biological Systems. In Symposium on Theory of Modeling and Simulation (TMS'12).
  5. Gill, M., McKeever, S., and Gavaghan, D. (2012b). Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems. In 21ST IEEE International WETICE Conference (WETICE-2012).
  6. Hodgkin, A. and Huxley, A. (1952). A quantitative description of membrane current and its application to conduction and excitation in nerve. The Journal of physiology, 117(4):500.
  7. Hucka, M., Finney, A., Bornstein, B., Keating, S., and Shapiro, B. (2004). Evolving a lingua franca and associated software infrastructure for computational systems biology: the Systems Biology Markup Language (SBML) project. Systems Biology.
  8. Leroy, X. (2000). A modular module system. Journal of Functional Programming, 10(3):269-303.
  9. Lloyd, C., Halstead, M., and Nielsen, P. (2004). CellML: its future, present and past. Progress in Biophysics and Molecular Biology, 85:433-450.
  10. Luo, C. and Rudy, Y. (1991). A model of the ventricular cardiac action potential. Depolarization, repolarization, and their interaction. Circulation research, 68(6):1501.
  11. Luo, C. and Rudy, Y. (1994). A dynamic model of the cardiac ventricular action potential. II. Afterdepolarizations, triggered activity, and potentiation. Circulation research, 74(6):1097-113.
  12. McKeever, S., Gill, M., Connor, A., and Johnson, D. (2013). Abstraction in physiological modelling languages. In Symposium on Theory of Modeling & Simulation (TMS'13).
  13. Niederer, S., Fink, M., Noble, D., and Smith, N. (2009). A meta-analysis of cardiac electrophysiology computational models. Experimental physiology, 94(5):486-95.
  14. Noble, D. and Rudy, Y. (2001). Models of cardiac ventricular action potentials: iterative interaction between experiment and simulation. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 359(1783):1127-1142.
  15. O'Hara, T., Virág, L., Varró, A., and Rudy, Y. (2011). Simulation of the undiseased human cardiac ventricular action potential: model formulation and experimental validation. PLoS computational biology, 7(5):e1002061.
  16. Sommerville, I. (2010). Software Engineering. Addison Wesley.
Download


Paper Citation


in Harvard Style

Gill M., McKeever S. and Gavaghan D. (2014). Model Composition for Biological Mathematical Systems . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 217-224. DOI: 10.5220/0004699202170224


in Bibtex Style

@conference{modelsward14,
author={Mandeep Gill and Steve McKeever and David Gavaghan},
title={Model Composition for Biological Mathematical Systems},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={217-224},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004699202170224},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model Composition for Biological Mathematical Systems
SN - 978-989-758-007-9
AU - Gill M.
AU - McKeever S.
AU - Gavaghan D.
PY - 2014
SP - 217
EP - 224
DO - 10.5220/0004699202170224