{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T12:26:04Z","timestamp":1779107164391,"version":"3.51.4"},"reference-count":32,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2016,10,12]],"date-time":"2016-10-12T00:00:00Z","timestamp":1476230400000},"content-version":"vor","delay-in-days":357,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,2,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Repositories support the reuse of models and ensure transparency about results in publications linked to those models. With thousands of models available in repositories, such as the BioModels database or the Physiome Model Repository, a framework to track the differences between models and their versions is essential to compare and combine models. Difference detection not only allows users to study the history of models but also helps in the detection of errors and inconsistencies. Existing repositories lack algorithms to track a model\u2019s development over time.<\/jats:p>\n               <jats:p>Results: Focusing on SBML and CellML, we present an algorithm to accurately detect and describe differences between coexisting versions of a model with respect to (i) the models\u2019 encoding, (ii) the structure of biological networks and (iii) mathematical expressions. This algorithm is implemented in a comprehensive and open source library called BiVeS. BiVeS helps to identify and characterize changes in computational models and thereby contributes to the documentation of a model\u2019s history. Our work facilitates the reuse and extension of existing models and supports collaborative modelling. Finally, it contributes to better reproducibility of modelling results and to the challenge of model provenance.<\/jats:p>\n               <jats:p>Availability and implementation: The workflow described in this article is implemented in BiVeS. BiVeS is freely available as source code and binary from sems.uni-rostock.de. The web interface BudHat demonstrates the capabilities of BiVeS at budhat.sems.uni-rostock.de.<\/jats:p>\n               <jats:p>Contact: \u00a0martin.scharm@uni-rostock.de<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary data are available at Bioinformatics online.<\/jats:p>","DOI":"10.1093\/bioinformatics\/btv484","type":"journal-article","created":{"date-parts":[[2015,10,22]],"date-time":"2015-10-22T01:39:39Z","timestamp":1445477979000},"page":"563-570","source":"Crossref","is-referenced-by-count":20,"title":["An algorithm to detect and communicate the differences in computational models describing biological systems"],"prefix":"10.1093","volume":"32","author":[{"given":"Martin","family":"Scharm","sequence":"first","affiliation":[{"name":"1 Department of Systems Biology and Bioinformatics, University of Rostock, Rostock, Germany and"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Wolkenhauer","sequence":"additional","affiliation":[{"name":"1 Department of Systems Biology and Bioinformatics, University of Rostock, Rostock, Germany and"},{"name":"2 Stellenbosch Institute for Advanced Study, Wallenberg Research Centre at Stellenbosch University, Stellenbosch, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dagmar","family":"Waltemath","sequence":"additional","affiliation":[{"name":"1 Department of Systems Biology and Bioinformatics, University of Rostock, Rostock, Germany and"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,10,21]]},"reference":[{"key":"2023020110313743300_btv484-B1","doi-asserted-by":"crossref","first-page":"4972","DOI":"10.1128\/IAI.00908-10","article-title":"Reproducible science","volume":"78","author":"Casadevall","year":"2010","journal-title":"Infect. Immun."},{"key":"2023020110313743300_btv484-B2","first-page":"41","article-title":"Detecting changes in xml documents","author":"Cobena","year":"2002"},{"key":"2023020110313743300_btv484-B3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.pbiomolbio.2011.06.003","article-title":"High-throughput functional curation of cellular electrophysiology models","volume":"107","author":"Cooper","year":"2011","journal-title":"Prog. Biophys. Mol. Biol."},{"key":"2023020110313743300_btv484-B4","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1177\/0037549703040939","article-title":"An overview of CellML 1.1, a biological model description language","volume":"79","author":"Cuellar","year":"2003","journal-title":"Simulation"},{"key":"2023020110313743300_btv484-B5","doi-asserted-by":"crossref","DOI":"10.1145\/1376616.1376772","article-title":"Provenance and scientific workflows: challenges and opportunities","author":"Davidson","year":"2008"},{"key":"2023020110313743300_btv484-B6","first-page":"414","article-title":"Integration of multi-scale biosimulation models via light-weight semantics","volume":"13","author":"Gennari","year":"2008","journal-title":"Pac. Symp. Biocomput."},{"key":"2023020110313743300_btv484-B7","doi-asserted-by":"crossref","first-page":"Article 2","DOI":"10.2202\/1544-6115.1034","article-title":"Reproducible research: a bioinformatics case study","volume":"4","author":"Gentleman","year":"2005","journal-title":"Stat. Appl. Genet. Mol. Biol."},{"key":"2023020110313743300_btv484-B8","doi-asserted-by":"crossref","first-page":"e1000815","DOI":"10.1371\/journal.pcbi.1000815","article-title":"Neuroml: a language for describing data driven models of neurons and networks with a high degree of biological detail","volume":"6","author":"Gleeson","year":"2010","journal-title":"PLoS Comput. Biol."},{"key":"2023020110313743300_btv484-B9","article-title":"Position statement: musings on provenance, workflow and (semantic web) annotations for bioinformatics","volume-title":"Workshop on Data Derivation and Provenance","author":"Goble","year":"2002"},{"key":"2023020110313743300_btv484-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":"2023020110313743300_btv484-B11","doi-asserted-by":"crossref","first-page":"1440","DOI":"10.1098\/rsif.2011.0029","article-title":"On the formalization and reuse of scientific research","volume":"8","author":"King","year":"2011","journal-title":"J. R. Soc. Interface"},{"key":"2023020110313743300_btv484-B12","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1093\/bioinformatics\/btp642","article-title":"Annotation and merging of SBML models with semanticSBML","volume":"26","author":"Krause","year":"2010","journal-title":"Bioinformatics"},{"key":"2023020110313743300_btv484-B13","doi-asserted-by":"crossref","first-page":"450","DOI":"10.7326\/0003-4819-146-6-200703200-00154","article-title":"Reproducible research: moving toward research the public can really trust","volume":"146","author":"Laine","year":"2007","journal-title":"Ann. Intern. Med."},{"key":"2023020110313743300_btv484-B14","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1186\/1752-0509-4-92","article-title":"Biomodels database: an enhanced, curated and annotated resource for published quantitative kinetic models","volume":"4","author":"Li","year":"2010","journal-title":"BMC Syst. Biol."},{"key":"2023020110313743300_btv484-B15","doi-asserted-by":"crossref","first-page":"2347","DOI":"10.1093\/bioinformatics\/btq430","article-title":"Cytoscape web: an interactive web-based network browser","volume":"26","author":"Lopes","year":"2010","journal-title":"Bioinformatics"},{"key":"2023020110313743300_btv484-B16","article-title":"Change-centric management of versions in an xml warehouse","volume-title":"Proceedings of the 27th International Conference on Very Large Data Bases","author":"Marian","year":"2001"},{"key":"2023020110313743300_btv484-B17","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1126\/science.1179653","article-title":"Computer science. Accessible reproducible research","volume":"327","author":"Mesirov","year":"2010","journal-title":"Science"},{"key":"2023020110313743300_btv484-B18","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1186\/1471-2105-12-22","article-title":"Revision history aware repositories of computational models of biological systems","volume":"12","author":"Miller","year":"2011","journal-title":"BMC Bioinformatics"},{"key":"2023020110313743300_btv484-B19","first-page":"52","article-title":"The provenance of electronic data","volume":"vol. 51","author":"Moreau","year":"2008","journal-title":"Communications of the ACM - The psychology of security: why do good users make bad decisions?"},{"key":"2023020110313743300_btv484-B20","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01840446","article-title":"An o(nd) difference algorithm and its variations","volume":"1","author":"Myers","year":"1986","journal-title":"Algorithmica"},{"key":"2023020110313743300_btv484-B21","doi-asserted-by":"crossref","first-page":"1153","DOI":"10.1242\/jcs.106.4.1153","article-title":"Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte extracts and intact embryos","volume":"106","author":"Novak","year":"1993","journal-title":"J. Cell. Sci."},{"key":"2023020110313743300_btv484-B22","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1126\/science.1213847","article-title":"Reproducible research in computational science","volume":"334","author":"Peng","year":"2011","journal-title":"Science"},{"key":"2023020110313743300_btv484-B23","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-16385-2_8","article-title":"Provenance management in biosciences","volume-title":"Advances in Conceptual Modeling Applications and Challenges, volume 6413 of LNCS","author":"Ram","year":"2010"},{"key":"2023020110313743300_btv484-B24","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1186\/1752-0509-3-34","article-title":"Version control of pathway models using XML patches","volume":"3","author":"Saffrey","year":"2009","journal-title":"BMC Syst. Biol."},{"key":"2023020110313743300_btv484-B25","doi-asserted-by":"crossref","first-page":"e1003285","DOI":"10.1371\/journal.pcbi.1003285","article-title":"Ten simple rules for reproducible computational research","volume":"9","author":"Sandve","year":"2013","journal-title":"PLoS Comp. Biol."},{"key":"2023020110313743300_btv484-B26","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1186\/1752-0509-4-6","article-title":"Towards a genome-scale kinetic model of cellular metabolism","volume":"4","author":"Smallbone","year":"2010","journal-title":"BMC Syst. Biol."},{"key":"2023020110313743300_btv484-B27","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1002\/psp4.57","article-title":"Pharmacometrics markup language (pharmml): opening new perspectives for model exchange in drug development","volume":"4","author":"Swat","year":"2015","journal-title":"CPT Pharmacometrics Syst. Pharmacol."},{"key":"2023020110313743300_btv484-B28","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1186\/1752-0509-5-198","article-title":"Reproducible computational biology experiments with SED-ML\u2014the simulation experiment description markup language","volume":"5","author":"Waltemath","year":"2011","journal-title":"BMC Syst. Biol."},{"key":"2023020110313743300_btv484-B29","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1093\/bioinformatics\/btt018","article-title":"Improving the reuse of computational models through version control","volume":"29","author":"Waltemath","year":"2013","journal-title":"Bioinformatics"},{"key":"2023020110313743300_btv484-B30","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-94-007-6803-1_10","article-title":"Reproducibility of model-based results in systems biology","volume-title":"Systems Biology","author":"Waltemath","year":"2013"},{"key":"2023020110313743300_btv484-B31","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1186\/s12918-015-0174-y","article-title":"SEEK: a systems biology data and model management platform","volume":"9","author":"Wolstencroft","year":"2015","journal-title":"BMC Syst. Biol."},{"key":"2023020110313743300_btv484-B32","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1093\/bioinformatics\/btq723","article-title":"The physiome model repository 2","volume":"27","author":"Yu","year":"2011","journal-title":"Bioinformatics"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/32\/4\/563\/49017437\/bioinformatics_32_4_563.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/32\/4\/563\/49017437\/bioinformatics_32_4_563.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T21:53:24Z","timestamp":1675288404000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/32\/4\/563\/1743461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,21]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,2,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btv484","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2016,2,15]]},"published":{"date-parts":[[2015,10,21]]}}}