{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T07:24:57Z","timestamp":1773645897954,"version":"3.50.1"},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"15","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":2687,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/2.0\/uk\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: The increasing number and complexity of biomodels makes automatic procedures for checking the models' properties and quality necessary. Approaches like elementary mode analysis, flux balance analysis, deficiency analysis and chemical organization theory (OT) require only the stoichiometric structure of the reaction network for derivation of valuable information. In formalisms like Systems Biology Markup Language (SBML), however, information about the stoichiometric coefficients required for an analysis of chemical organizations can be hidden in kinetic laws.<\/jats:p>\n               <jats:p>Results: First, we introduce an algorithm that uncovers stoichiometric information that might be hidden in the kinetic laws of a reaction network. This allows us to apply OT to SBML models using modifiers. Second, using the new algorithm, we performed a large-scale analysis of the 185 models contained in the manually curated BioModels Database. We found that for 41 models (22%) the set of organizations changes when modifiers are considered correctly. We discuss one of these models in detail (BIOMD149, a combined model of the ERK- and Wnt-signaling pathways), whose set of organizations drastically changes when modifiers are considered. Third, we found inconsistencies in 5 models (3%) and identified their characteristics. Compared with flux-based methods, OT is able to identify those species and reactions more accurately [in 26 cases (14%)] that can be present in a long-term simulation of the model. We conclude that our approach is a valuable tool that helps to improve the consistency of biomodels and their repositories.<\/jats:p>\n               <jats:p>Availability: All data and a JAVA applet to check SBML-models is available from http:\/\/www.minet.uni-jena.de\/csb\/prj\/ot\/tools<\/jats:p>\n               <jats:p>Contact: \u00a0dittrich@minet.uni-jena.de<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary data are available at Bioinformatics online.<\/jats:p>","DOI":"10.1093\/bioinformatics\/btp332","type":"journal-article","created":{"date-parts":[[2009,5,26]],"date-time":"2009-05-26T00:34:22Z","timestamp":1243298062000},"page":"1915-1922","source":"Crossref","is-referenced-by-count":21,"title":["Using chemical organization theory for model checking"],"prefix":"10.1093","volume":"25","author":[{"given":"Christoph","family":"Kaleta","sequence":"first","affiliation":[{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"},{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"},{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"}]},{"given":"Stephan","family":"Richter","sequence":"additional","affiliation":[{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"},{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"}]},{"given":"Peter","family":"Dittrich","sequence":"additional","affiliation":[{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"},{"name":"1 Bio Systems Analysis Group, Jena Centre for Bioinformatics (JCB), 2 Department of Mathematics and Computer Science and 3 Department of Bioinformatics, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, D-07743 Jena, Germany"}]}],"member":"286","published-online":{"date-parts":[[2009,5,25]]},"reference":[{"key":"2023013112054781800_B1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0301-4622(97)00010-0","article-title":"Complex intracellular calcium oscillations. A theoretical exploration of possible mechanisms","volume":"66","author":"Borghans","year":"1997","journal-title":"Biophys. Chem."},{"key":"2023013112054781800_B2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-0-8176-4558-8_10","article-title":"Chemical organizations in the central sugar metabolism of Escherichia coli","volume-title":"Mathematical Modeling of Biological Systems","author":"Centler","year":"2007"},{"key":"2023013112054781800_B3","doi-asserted-by":"crossref","first-page":"1611","DOI":"10.1093\/bioinformatics\/btn228","article-title":"Computing chemical organizations in biological networks","volume":"24","author":"Centler","year":"2008","journal-title":"Bioinformatics"},{"key":"2023013112054781800_B4","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1007\/s11538-006-9130-8","article-title":"Chemical organization theory","volume":"69","author":"Dittrich","year":"2007","journal-title":"Bull. Math. Biol."},{"key":"2023013112054781800_B5","article-title":"On the formation of social order \u2013 modeling the problem of double and multi contingency following Luhmann","volume":"6","author":"Dittrich","year":"2003","journal-title":"JASSS"},{"key":"2023013112054781800_B6","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/0009-2509(74)80195-8","article-title":"Dynamics of open chemical systems and the algebraic structure of the underlying reaction network","volume":"29","author":"Feinberg","year":"1974","journal-title":"Chem. Eng. Sci."},{"key":"2023013112054781800_B7","first-page":"1","article-title":"\u2018The arrival of the fittest\u2019: toward a theory of biological organization","volume":"56","author":"Fontana","year":"1994","journal-title":"Bull. Math. Biol."},{"key":"2023013112054781800_B8","doi-asserted-by":"crossref","first-page":"9107","DOI":"10.1073\/pnas.88.20.9107","article-title":"A minimal cascade model for the mitotic oscillator involving cyclin and CDC2 kinase","volume":"88","author":"Goldbeter","year":"1991","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112054781800_B9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173179","volume-title":"Evolutionary Games and Population Dynamics.","author":"Hofbauer","year":"1998"},{"key":"2023013112054781800_B10","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","article-title":"The Systems Biology Markup Language (SBML): a medium for representation and exchange of biochemical network models","volume":"19","author":"Hucka","year":"2003","journal-title":"Bioinformatics"},{"key":"2023013112054781800_B11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1385\/MB:34:2:117","article-title":"Analyzing molecular reaction networks: from pathways to chemical organizations","volume":"34","author":"Kaleta","year":"2006","journal-title":"Mol. Biotechnol."},{"key":"2023013112054781800_B12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1186\/1752-0509-2-37","article-title":"Phenotype prediction in regulated metabolic networks","volume":"2","author":"Kaleta","year":"2008","journal-title":"BMC Syst. Biol."},{"key":"2023013112054781800_B13","doi-asserted-by":"crossref","first-page":"4571","DOI":"10.1038\/sj.onc.1210230","article-title":"A hidden oncogenic positive feedback loop caused by crosstalk between Wnt and ERK pathways","volume":"26","author":"Kim","year":"2007","journal-title":"Oncogene"},{"key":"2023013112054781800_B14","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1186\/1471-2105-8-212","article-title":"Optimization based automated curation of metabolic reconstructions","volume":"8","author":"Kumar","year":"2007","journal-title":"BMC Bioinformatics"},{"key":"2023013112054781800_B15","doi-asserted-by":"crossref","first-page":"D689","DOI":"10.1093\/nar\/gkj092","article-title":"BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems","volume":"34","author":"Le Nov\u00e9re","year":"2006","journal-title":"Nucleic Acids Res."},{"key":"2023013112054781800_B16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1093\/genetics\/164.1.105","article-title":"Theory of time-resolved somatic complementation and its use to explore the sporulation control network in Physarum polycephalum","volume":"164","author":"Marwan","year":"2003","journal-title":"Genetics"},{"key":"2023013112054781800_B17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-72693-7_8","article-title":"Toward organization-oriented chemical programming: a case study with the maximal independent set problem","volume-title":"Advances in Biologically Inspired Information Systems","author":"Matsumaru","year":"2007"},{"key":"2023013112054781800_B18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0006-3495(03)74833-4","article-title":"A model of the oscillatory metabolism of activated neutrophils","volume":"84","author":"Olsen","year":"2003","journal-title":"Biophys. J."},{"key":"2023013112054781800_B19","doi-asserted-by":"crossref","first-page":"17480","DOI":"10.1073\/pnas.0603364103","article-title":"Systems approach to refining genome annotation","volume":"103","author":"Reed","year":"2006","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112054781800_B20","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1006\/jtbi.2000.1073","article-title":"Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective","volume":"203","author":"Schilling","year":"2000","journal-title":"J. Theor. Biol."},{"key":"2023013112054781800_B21","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0167-7799(98)01290-6","article-title":"Detection of elementary flux modes in biochemical networks: a promising tool for pathway analysis and metabolic engineering","volume":"17","author":"Schuster","year":"1999","journal-title":"Trends Biotechnol."},{"key":"2023013112054781800_B22","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1002\/bit.21026","article-title":"Modeling regulatory mechanisms in IL-6 signal transduction in hepatocytes","volume":"95","author":"Singh","year":"2006","journal-title":"Biotechnol. Bioeng."},{"key":"2023013112054781800_B23","doi-asserted-by":"crossref","first-page":"994","DOI":"10.1038\/nbt1094-994","article-title":"Metabolic flux balancing: basic concepts, scientific and practical use","volume":"12","author":"Varma","year":"1994","journal-title":"Bio\/Technology"},{"key":"2023013112054781800_B24","doi-asserted-by":"crossref","first-page":"14464","DOI":"10.1073\/pnas.96.25.14464","article-title":"Specific therapy regimes could lead to long-term immunological control of HIV","volume":"96","author":"Wodarz","year":"1999","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112054781800_B25","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S0014-5793(02)03842-5","article-title":"Control mechanism of JAK\/STAT signal transduction pathway","volume":"534","author":"Yamada","year":"2003","journal-title":"FEBS Lett."}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/25\/15\/1915\/48994914\/bioinformatics_25_15_1915.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/25\/15\/1915\/48994914\/bioinformatics_25_15_1915.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T21:21:57Z","timestamp":1675200117000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/25\/15\/1915\/212126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,25]]},"references-count":25,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2009,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btp332","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2009,8,1]]},"published":{"date-parts":[[2009,5,25]]}}}