Skip to main content
Top
Published in: Natural Computing 3/2014

01-09-2014

Identification of components in biochemical pathways: extensive application to SBML models

Authors: Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini

Published in: Natural Computing | Issue 3/2014

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Reactions forming a pathway can be rewritten by making explicit the different molecular components involved in them. A molecular component represents a biological entity, such as a protein, in all its states (free, bound, degraded, etc.). Component identification, which is made possible by the mass conservation principle, allows subpathways to be computed to better understand the pathway functioning. In this paper we show the application of a previously-defined component identification algorithm to a number of real-world models to experimentally validate the approach; precisely, we have processed all the curated SBML models of the BioModels repository. In order to extend the applicability of our approach, we propose both (i) a preprocessing phase aiming at transforming a given pathway into a format suitable as input for the algorithm, and (ii) a dynamic model correction procedure that could allow some erroneous situations to be solved. We also prove the correctness of the preprocessing phase, and a property characterizing the structure of pathways with erroneous reactions.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
go back to reference Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2006) A calculus of looping sequences for modelling microbiological systems. Fundamenta Informaticae 72(1):21–35MATHMathSciNet Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2006) A calculus of looping sequences for modelling microbiological systems. Fundamenta Informaticae 72(1):21–35MATHMathSciNet
go back to reference Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2008a) Bisimulations in calculi modelling membranes. Formal Asp Comput 20(4–5):351–377 Barbuti R, Maggiolo-Schettini A, Milazzo P, Troina A (2008a) Bisimulations in calculi modelling membranes. Formal Asp Comput 20(4–5):351–377
go back to reference Barbuti R, Caravagna G, Maggiolo-Schettini A, Milazzo P, Pardini G (2008b) The calculus of looping sequences. In: Formal Methods for Computational Systems Biology, Springer, Heidelberg, pp 387–423 Barbuti R, Caravagna G, Maggiolo-Schettini A, Milazzo P, Pardini G (2008b) The calculus of looping sequences. In: Formal Methods for Computational Systems Biology, Springer, Heidelberg, pp 387–423
go back to reference Bray D, Bourret R (1995) Computer analysis of the binding reactions leading to a transmembrane receptor-linked multiprotein complex involved in bacterial chemotaxis. Mol Biol Cell 6(10):1367–1380CrossRef Bray D, Bourret R (1995) Computer analysis of the binding reactions leading to a transmembrane receptor-linked multiprotein complex involved in bacterial chemotaxis. Mol Biol Cell 6(10):1367–1380CrossRef
go back to reference Cassez F, Roux OH (2006) Structural translation from time petri nets to timed automata. J Syst Softw 79(10):1456–1468CrossRef Cassez F, Roux OH (2006) Structural translation from time petri nets to timed automata. J Syst Softw 79(10):1456–1468CrossRef
go back to reference Ciocchetta F, Hillston J (2009) Bio-pepa: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410(33):3065–3084CrossRefMATHMathSciNet Ciocchetta F, Hillston J (2009) Bio-pepa: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410(33):3065–3084CrossRefMATHMathSciNet
go back to reference Clark A, Galpin V, Gilmore S, Guerriero ML, Hillston J (2012) Formal methods for checking the consistency of biological models. In: Advances in systems biology, Springer, New York, pp 461–475 Clark A, Galpin V, Gilmore S, Guerriero ML, Hillston J (2012) Formal methods for checking the consistency of biological models. In: Advances in systems biology, Springer, New York, pp 461–475
go back to reference Drábik P, Maggiolo-Schettini A, Milazzo P (2012a) Towards modular verification of pathways: fairness and assumptions. In: Proceedings of MeCBIC 2012, EPTCS, vol 100, pp 63–81 Drábik P, Maggiolo-Schettini A, Milazzo P (2012a) Towards modular verification of pathways: fairness and assumptions. In: Proceedings of MeCBIC 2012, EPTCS, vol 100, pp 63–81
go back to reference Drábik P, Maggiolo-Schettini A, Milazzo P (2012b) On conditions for modular verification in systems of synchronising components. Fundamenta Informaticae 120(3):259–274MATHMathSciNet Drábik P, Maggiolo-Schettini A, Milazzo P (2012b) On conditions for modular verification in systems of synchronising components. Fundamenta Informaticae 120(3):259–274MATHMathSciNet
go back to reference Drábik P, Maggiolo-Schettini A, Milazzo P, Pardini G (2013) Modular verification of qualitative pathway models with fairness. Sci Ann Comp Sci 23(1):75–117 Drábik P, Maggiolo-Schettini A, Milazzo P, Pardini G (2013) Modular verification of qualitative pathway models with fairness. Sci Ann Comp Sci 23(1):75–117
go back to reference Gay S, Soliman S, Fages F (2010) A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18):i575–i581CrossRef Gay S, Soliman S, Fages F (2010) A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18):i575–i581CrossRef
go back to reference Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Formal methods for computational systems biology, Springer, New York, pp 215–264 Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Formal methods for computational systems biology, Springer, New York, pp 215–264
go back to reference Hucka M, Finney A, Sauro H, Bolouri H, Doyle J, Kitano H (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4):524–531CrossRef Hucka M, Finney A, Sauro H, Bolouri H, Doyle J, Kitano H (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4):524–531CrossRef
go back to reference Kühn C, Wierling C, Kühn A, Klipp E, Panopoulou G, Lehrach H, Poustka A (2009) Monte Carlo analysis of an ODE model of the sea erchin endomesoderm network. BMC Syst Biol 3(1):83 Kühn C, Wierling C, Kühn A, Klipp E, Panopoulou G, Lehrach H, Poustka A (2009) Monte Carlo analysis of an ODE model of the sea erchin endomesoderm network. BMC Syst Biol 3(1):83
go back to reference Li C, Donizelli M, Rodriguez N, Dharuri H, Endler L, Chelliah V, Li L, He E, Henry A, Stefan M, Snoep J, Hucka M, Le Novère N, Laibe C (2010) BioModels Database: an enhanced, curated and annotated resource for published quantitative kinetic models. BMC Syst Biol 4:92 Li C, Donizelli M, Rodriguez N, Dharuri H, Endler L, Chelliah V, Li L, He E, Henry A, Stefan M, Snoep J, Hucka M, Le Novère N, Laibe C (2010) BioModels Database: an enhanced, curated and annotated resource for published quantitative kinetic models. BMC Syst Biol 4:92
go back to reference Maeda A, Ozaki Y, Sivakumaran S, Akiyama T, Urakubo H, Usami A, Sato M, Kaibuchi K, Kuroda S (2006) Ca2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response. Genes Cells 11(9):1071–1083CrossRef Maeda A, Ozaki Y, Sivakumaran S, Akiyama T, Urakubo H, Usami A, Sato M, Kaibuchi K, Kuroda S (2006) Ca2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response. Genes Cells 11(9):1071–1083CrossRef
go back to reference Maggiolo-Schettini A, Milazzo P, Pardini G (2013) Application of a semi-automatic algorithm for identification of molecular components in SBML models. In: Graudenzi A, Caravagna G, Mauri G, Antoniotti M (eds) Proceedings of Wivace 2013—Italian workshop on artificial life and evolutionary computation, EPTCS, vol 130, pp 43–52 Maggiolo-Schettini A, Milazzo P, Pardini G (2013) Application of a semi-automatic algorithm for identification of molecular components in SBML models. In: Graudenzi A, Caravagna G, Mauri G, Antoniotti M (eds) Proceedings of Wivace 2013—Italian workshop on artificial life and evolutionary computation, EPTCS, vol 130, pp 43–52
go back to reference Martins S, Van Boekel M (2003) Kinetic modelling of Amadori N-(1-deoxy-d-fructos-1-yl)-glycine degradation pathways. Part II-Kinetic analysis. Carbohydr Res 338(16):1665–1678CrossRef Martins S, Van Boekel M (2003) Kinetic modelling of Amadori N-(1-deoxy-d-fructos-1-yl)-glycine degradation pathways. Part II-Kinetic analysis. Carbohydr Res 338(16):1665–1678CrossRef
go back to reference Morris M, Gondeau C, Tainer J, Divita G (2002) Kinetic mechanism of activation of the Cdk2/cyclin A complex. Key role of the C-lobe of the Cdk. J Biol Chem 277:23847–23853CrossRef Morris M, Gondeau C, Tainer J, Divita G (2002) Kinetic mechanism of activation of the Cdk2/cyclin A complex. Key role of the C-lobe of the Cdk. J Biol Chem 277:23847–23853CrossRef
go back to reference Nakakuki T, Birtwistle M, Saeki Y, Yumoto N, Ide K, Nagashima T, Brusch L, Ogunnaike B, Okada-Hatakeyama M, Kholodenko B (2010) Ligand-specific c-Fos expression emerges from the spatiotemporal control of ErbB network dynamics. Cell 141(5):884–896CrossRef Nakakuki T, Birtwistle M, Saeki Y, Yumoto N, Ide K, Nagashima T, Brusch L, Ogunnaike B, Okada-Hatakeyama M, Kholodenko B (2010) Ligand-specific c-Fos expression emerges from the spatiotemporal control of ErbB network dynamics. Cell 141(5):884–896CrossRef
go back to reference Olsen L, Kummer U, Kindzelskii A, Petty H (2003) A model of the oscillatory metabolism of activated neutrophils. Biophys J 84(1):69–81CrossRef Olsen L, Kummer U, Kindzelskii A, Petty H (2003) A model of the oscillatory metabolism of activated neutrophils. Biophys J 84(1):69–81CrossRef
go back to reference Pardini G, Milazzo P, Maggiolo-Schettini A (2013) An algorithm for the identification of components in biochemical pathways. In: Proceedings of the fourth international workshop on interactions between Computer Science and Biology (CS2Bio’13). Electronic Notes in Theoretical Computer Science, vol 299, 69–84 Pardini G, Milazzo P, Maggiolo-Schettini A (2013) An algorithm for the identification of components in biochemical pathways. In: Proceedings of the fourth international workshop on interactions between Computer Science and Biology (CS2Bio’13). Electronic Notes in Theoretical Computer Science, vol 299, 69–84
go back to reference Pardini G, Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2014a) Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor Comput Sci. doi:10.1016/j.tcs.2014.04.010 Pardini G, Barbuti R, Maggiolo-Schettini A, Milazzo P, Tini S (2014a) Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor Comput Sci. doi:10.​1016/​j.​tcs.​2014.​04.​010
go back to reference Pardini G, Milazzo P, Maggiolo-Schettini A (2014b) Component identification in biochemical pathways, submitted to Theoretical Computer Science Pardini G, Milazzo P, Maggiolo-Schettini A (2014b) Component identification in biochemical pathways, submitted to Theoretical Computer Science
go back to reference Phillips A, Cardelli L (2007) Efficient, correct simulation of biological processes in the stochastic Pi-calculus. In: Computational methods in systems biology, Springer, Heidelberg, pp 184–199 Phillips A, Cardelli L (2007) Efficient, correct simulation of biological processes in the stochastic Pi-calculus. In: Computational methods in systems biology, Springer, Heidelberg, pp 184–199
go back to reference Proctor C, Tangeman P, Ardley H (2010) Modelling the role of UCH-L1 on protein aggregation in age-related neurodegeneration. PLoS ONE 5(10), article ID e13175 Proctor C, Tangeman P, Ardley H (2010) Modelling the role of UCH-L1 on protein aggregation in age-related neurodegeneration. PLoS ONE 5(10), article ID e13175
go back to reference Rozi A, Jia Y (2003) A theoretical study of effects of cytosolic \({\rm Ca}^{2+}\) oscillations on activation of glycogen phosphorylase. Biophys Chem 106(3):193–202CrossRef Rozi A, Jia Y (2003) A theoretical study of effects of cytosolic \({\rm Ca}^{2+}\) oscillations on activation of glycogen phosphorylase. Biophys Chem 106(3):193–202CrossRef
go back to reference Saucerman J, Zhang J, Martin J, Peng L, Stenbit A, Tsien R, McCulloch A (2006) Systems analysis of PKA-mediated phosphorylation gradients in live cardiac myocytes. Proc Natl Acad Sci 103(34):12923–12928CrossRef Saucerman J, Zhang J, Martin J, Peng L, Stenbit A, Tsien R, McCulloch A (2006) Systems analysis of PKA-mediated phosphorylation gradients in live cardiac myocytes. Proc Natl Acad Sci 103(34):12923–12928CrossRef
go back to reference Schmierer B, Novák B, Schofield C (2010) Hypoxia-dependent sequestration of an oxygen sensor by a widespread structural motif can shape the hypoxic response - a predictive kinetic model. BMC Syst Biol 4(1):139 Schmierer B, Novák B, Schofield C (2010) Hypoxia-dependent sequestration of an oxygen sensor by a widespread structural motif can shape the hypoxic response - a predictive kinetic model. BMC Syst Biol 4(1):139
go back to reference Thomsen W, Jacquez J, Neubig R (1988) Inhibition of adenylate cyclase is mediated by the high affinity conformation of the alpha 2-adrenergic receptor. Mol Pharmacol 34(6):814–822 Thomsen W, Jacquez J, Neubig R (1988) Inhibition of adenylate cyclase is mediated by the high affinity conformation of the alpha 2-adrenergic receptor. Mol Pharmacol 34(6):814–822
go back to reference Troein C, Corellou F, Dixon L, van Ooijen G, ONeill J, Bouget FY, Millar A (2011) Multiple light inputs to a simple clock circuit allow complex biological rhythms. Plant J 66(2):375–385CrossRef Troein C, Corellou F, Dixon L, van Ooijen G, ONeill J, Bouget FY, Millar A (2011) Multiple light inputs to a simple clock circuit allow complex biological rhythms. Plant J 66(2):375–385CrossRef
Metadata
Title
Identification of components in biochemical pathways: extensive application to SBML models
Authors
Giovanni Pardini
Paolo Milazzo
Andrea Maggiolo-Schettini
Publication date
01-09-2014
Publisher
Springer Netherlands
Published in
Natural Computing / Issue 3/2014
Print ISSN: 1567-7818
Electronic ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-014-9433-x

Other articles of this Issue 3/2014

Natural Computing 3/2014 Go to the issue

EditorialNotes

Preface

Premium Partner