A Qualitative Framework Dedicated to Toxicology

Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney


Emerging constraints have led the toxicology community to complete the classical paradigm of toxicology with the study of molecular events underlying the toxicity of a chemical substance. This evolution motivates the emergence of new modelling approaches for toxicology. In this article, we introduce a qualitative rulebased formalism dedicated to the domain of toxicology. This new formalism departs from other rule-based formalisms such as BioChAM because it directly encodes possible alterations of equilibrium, instead of making equilibriums emerge from the dynamics of the model. Using a simple example of the energy metabolism, we show that this formalism is able to describe both the normal evolution of a biological system and its possible toxic disruptions.


  1. Backhaus, T., Blanck, H., and Faust, M. (2010). Hazard and risk assessment of chemical mixtures under REACH: state of the art, gaps and options for improvement. Swedish chemicals agency.
  2. Bernot, G., Comet, J.-P., Richard, A., and Guespin, J. (2004). Application of formal methods to biological regulatory networks: extending thomas' asynchronous logical approach with temporal logic. Journal of theoretical biology, 229(3):339-347.
  3. Brooks, G. A. (1998). Mammalian fuel utilization during sustained exercise. Comparative Biochemistry and Physiology Part B: Biochemistry and Molecular Biology, 120(1):89-107.
  4. Calzone, L., Fages, F., and Soliman, S. (2006). Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14):1805-1807.
  5. Chaki, S., Clarke, E. M., Ouaknine, J., Sharygina, N., and Sinha, N. (2004). State/event-based software model checking. In International Conference on Integrated Formal Methods, pages 128-147. Springer.
  6. Chance, B. and Williams, G. (1956). The respiratory chain and oxidative phosphorylation. Adv Enzymol Relat Areas Mol Biol, 17:65-134.
  7. Ciocchetta, F. and Hillston, J. (2009). Bio-pepa: A framework for the modelling and analysis of biological systems. Theoretical Computer Science, 410(33):3065- 3084.
  8. Colborn, T., Dumanoski, D., and Myers, J. P. (1996). Our stolen future: are we threatening our fertility, intelligence, and survival?: a scientific detective story. Dutton.
  9. Field, J. B., Williams, H. E., and Mortimore, G. E. (1963). Studies on the mechanism of ethanol-induced hypoglycemia. Journal of Clinical Investigation, 42(4):497.
  10. Hellerstein, M., Christiansen, M., Kaempfer, S., Kletke, C., Wu, K., Reid, J., Mulligan, K., Hellerstein, N., and Shackleton, C. (1991). Measurement of de novo hepatic lipogenesis in humans using stable isotopes. Journal of Clinical Investigation, 87(5):1841.
  11. Ito, S., Hagihara, S., and Yonezaki, N. (2014). A qualitative framework for analysing homeostasis in gene networks. In proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014), pages 5-16.
  12. Kepner, J. (2004). Synergy: The big unknowns of pesticide exposure. Pesticides and You, 23(4):17-20.
  13. Owen, O. E., Kalhan, S. C., and Hanson, R. W. (2002). The key role of anaplerosis and cataplerosis for citric acid cycle function. Journal of Biological Chemistry, 277(34):30409-30412.
  14. Pettit, F. H., Pelley, J. W., and Reed, L. J. (1975). Regulation of pyruvate dehydrogenase kinase and phosphatase by acetyl-coa/coa and nadh/nad ratios. Biochemical and biophysical research communications, 65(2):575-582.
  15. Pilkis, S. J. and Granner, D. (1992). Molecular physiology of the regulation of hepatic gluconeogenesis and glycolysis. Annual review of physiology, 54(1):885-909.
  16. Schulz, H. (1991). Beta oxidation of fatty acids. Biochimica et Biophysica Acta (BBA)-Lipids and Lipid Metabolism, 1081(2):109-120.
  17. Snoussi, E. H. (1989). Qualitative dynamics of piecewiselinear differential equations: a discrete mapping approach. Dynamics and stability of Systems, 4(3- 4):565-583.
  18. Talcott, C. (2008). Pathway logic. In International School on Formal Methods for the Design of Computer, Communication and Software Systems, pages 21-53. Springer.
  19. Thomas, R. (1991). Regulatory networks seen as asynchronous automata: a logical description. Journal of theoretical biology, 153(1):1-23.

Paper Citation

in Harvard Style

Miraglio B., Bernot G., Comet J. and Risso-de Faverney C. (2017). A Qualitative Framework Dedicated to Toxicology . In Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2017) ISBN 978-989-758-214-1, pages 93-103. DOI: 10.5220/0006168200930103

in Bibtex Style

author={Benjamin Miraglio and Gilles Bernot and Jean-Paul Comet and Christine Risso-de Faverney},
title={A Qualitative Framework Dedicated to Toxicology},
booktitle={Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2017)},

in EndNote Style

JO - Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2017)
TI - A Qualitative Framework Dedicated to Toxicology
SN - 978-989-758-214-1
AU - Miraglio B.
AU - Bernot G.
AU - Comet J.
AU - Risso-de Faverney C.
PY - 2017
SP - 93
EP - 103
DO - 10.5220/0006168200930103