{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:47:11Z","timestamp":1761490031742},"reference-count":32,"publisher":"Oxford University Press (OUP)","issue":"12","license":[{"start":{"date-parts":[[2016,10,28]],"date-time":"2016-10-28T00:00:00Z","timestamp":1477612800000},"content-version":"vor","delay-in-days":139,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Biological pathways play a key role in most cellular functions. To better understand these functions, diverse computational and cell biology researchers use biological pathway data for various analysis and modeling purposes. For specifying these biological pathways, a community of researchers has defined BioPAX and provided various tools for creating, validating and visualizing BioPAX models. However, a generic software framework for simulating BioPAX models is missing. Here, we attempt to fill this gap by introducing a generic simulation framework for BioPAX. The framework explicitly separates the execution model from the model structure as provided by BioPAX, with the advantage that the modelling process becomes more reproducible and intrinsically more modular; this ensures natural biological constraints are satisfied upon execution. The framework is based on the principles of discrete event systems and multi-agent systems, and is capable of automatically generating a hierarchical multi-agent system for a given BioPAX model.<\/jats:p>\n               <jats:p>Results: To demonstrate the applicability of the framework, we simulated two types of biological network models: a gene regulatory network modeling the haematopoietic stem cell regulators and a signal transduction network modeling the Wnt\/\u03b2-catenin signaling pathway. We observed that the results of the simulations performed using our framework were entirely consistent with the simulation results reported by the researchers who developed the original models in a proprietary language.<\/jats:p>\n               <jats:p>Availability and Implementation: The framework, implemented in Java, is open source and its source code, documentation and tutorial are available at http:\/\/www.ibi.vu.nl\/programs\/BioASF.<\/jats:p>\n               <jats:p>Contact: \u00a0j.heringa@vu.nl<\/jats:p>","DOI":"10.1093\/bioinformatics\/btw250","type":"journal-article","created":{"date-parts":[[2016,6,15]],"date-time":"2016-06-15T15:43:52Z","timestamp":1466005432000},"page":"i60-i69","source":"Crossref","is-referenced-by-count":16,"title":["BioASF: a framework for automatically generating executable pathway models specified in BioPAX"],"prefix":"10.1093","volume":"32","author":[{"given":"Reza","family":"Haydarlou","sequence":"first","affiliation":[{"name":"1 Centre for Integrative Bioinformatics (IBIVU) & Amsterdam Institute for Molecules Medicines and Systems (AIMMS), VU University Amsterdam, De Boelelaan 1081, Amsterdam, The Netherlands"}]},{"given":"Annika","family":"Jacobsen","sequence":"additional","affiliation":[{"name":"1 Centre for Integrative Bioinformatics (IBIVU) & Amsterdam Institute for Molecules Medicines and Systems (AIMMS), VU University Amsterdam, De Boelelaan 1081, Amsterdam, The Netherlands"}]},{"given":"Nicola","family":"Bonzanni","sequence":"additional","affiliation":[{"name":"1 Centre for Integrative Bioinformatics (IBIVU) & Amsterdam Institute for Molecules Medicines and Systems (AIMMS), VU University Amsterdam, De Boelelaan 1081, Amsterdam, The Netherlands"},{"name":"2 NKI-AVL, The Netherlands Cancer Institute, Plesmanlaan 121, Amsterdam, The Netherlands"}]},{"given":"K. Anton","family":"Feenstra","sequence":"additional","affiliation":[{"name":"1 Centre for Integrative Bioinformatics (IBIVU) & Amsterdam Institute for Molecules Medicines and Systems (AIMMS), VU University Amsterdam, De Boelelaan 1081, Amsterdam, The Netherlands"}]},{"given":"Sanne","family":"Abeln","sequence":"additional","affiliation":[{"name":"1 Centre for Integrative Bioinformatics (IBIVU) & Amsterdam Institute for Molecules Medicines and Systems (AIMMS), VU University Amsterdam, De Boelelaan 1081, Amsterdam, The Netherlands"}]},{"given":"Jaap","family":"Heringa","sequence":"additional","affiliation":[{"name":"1 Centre for Integrative Bioinformatics (IBIVU) & Amsterdam Institute for Molecules Medicines and Systems (AIMMS), VU University Amsterdam, De Boelelaan 1081, Amsterdam, The Netherlands"}]}],"member":"286","published-online":{"date-parts":[[2016,6,11]]},"reference":[{"key":"2023020112344780800_btw250-B1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(03)00035-3","article-title":"The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster","volume":"223","author":"Albert","year":"2003","journal-title":"J. Theor. Biol"},{"key":"2023020112344780800_btw250-B2","author":"Anwar","year":"2010"},{"key":"2023020112344780800_btw250-B3","author":"Apache Software Foundation","year":"2005"},{"key":"2023020112344780800_btw250-B4","author":"Apache Software Foundation","year":"2009"},{"key":"2023020112344780800_btw250-B5","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/bioinformatics\/btp665","article-title":"ChiBE: interactive visualization and manipulation of BioPAX pathway models","volume":"26","author":"Babur","year":"2010","journal-title":"Bioinformatics"},{"key":"2023020112344780800_btw250-B6","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1093\/bioinformatics\/btt539","article-title":"Pattern search in BioPAX models","volume":"30","author":"Babur","year":"2014","journal-title":"Bioinformatics"},{"key":"2023020112344780800_btw250-B7","doi-asserted-by":"crossref","first-page":"D504","DOI":"10.1093\/nar\/gkj126","article-title":"Pathguide: a pathway resource list","volume":"34","author":"Bader","year":"2006","journal-title":"Nucleic Acids Res"},{"key":"2023020112344780800_btw250-B8","author":"Bechhofer","year":"2004"},{"key":"2023020112344780800_btw250-B9","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-642-05089-3_2","volume-title":"What Can Formal Methods Bring to Systems Biology? in FM 2009: Formal Methods, Volume 5850 of Lecture Notes in Computer Science","author":"Bonzanni","year":"2009"},{"key":"2023020112344780800_btw250-B10","doi-asserted-by":"crossref","first-page":"2049","DOI":"10.1093\/bioinformatics\/btp355","article-title":"Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development","volume":"25","author":"Bonzanni","year":"2009","journal-title":"Bioinformatics"},{"key":"2023020112344780800_btw250-B11","doi-asserted-by":"crossref","first-page":"i80","DOI":"10.1093\/bioinformatics\/btt243","article-title":"Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model","volume":"29","author":"Bonzanni","year":"2013","journal-title":"Bioinformatics"},{"key":"2023020112344780800_btw250-B12","first-page":"15","volume-title":"Logics of Programs and Their Applications","author":"Burhard","year":"1983"},{"key":"2023020112344780800_btw250-B13","first-page":"2","article-title":"Introduction to Discrete Event Systems","volume":"2","author":"Cassandras","year":"2009","journal-title":"Springer"},{"key":"2023020112344780800_btw250-B14","doi-asserted-by":"crossref","first-page":"D685","DOI":"10.1093\/nar\/gkq1039","article-title":"Pathway Commons: a web resource for biological pathway data","volume":"39","author":"Cerami","year":"2011","journal-title":"Nucleic Acids Res"},{"key":"2023020112344780800_btw250-B16","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","article-title":"Bio-PEPA: a framework for the modelling and analysis of biological systems","volume":"410","author":"Ciocchetta","year":"2009","journal-title":"Theor. Comput. Sci"},{"key":"2023020112344780800_btw250-B17","doi-asserted-by":"crossref","first-page":"D472","DOI":"10.1093\/nar\/gkt1102","article-title":"The Reactome pathway knowledgebase","volume":"42","author":"Croft","year":"2014","journal-title":"Nucleic Acids Res"},{"key":"2023020112344780800_btw250-B18","doi-asserted-by":"crossref","first-page":"e1672.","DOI":"10.1371\/journal.pone.0001672","article-title":"Boolean network model predicts cell cycle sequence of fission yeast","volume":"3","author":"Davidich","year":"2008","journal-title":"PLoS ONE"},{"key":"2023020112344780800_btw250-B19","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1038\/nbt.1666","article-title":"The BioPAX community standard for pathway data sharing","volume":"28","author":"Demir","year":"2010","journal-title":"Nat. Biotech"},{"key":"2023020112344780800_btw250-B20","doi-asserted-by":"crossref","first-page":"e1003194.","DOI":"10.1371\/journal.pcbi.1003194","article-title":"Using biological pathway data with paxtools","volume":"9","author":"Demir","year":"2013","journal-title":"PLoS Comput. Biol"},{"key":"2023020112344780800_btw250-B22","doi-asserted-by":"crossref","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","article-title":"Synchronous versus asynchronous modeling of gene regulatory networks","volume":"24","author":"Garg","year":"2008","journal-title":"Bioinformatics"},{"key":"2023020112344780800_btw250-B23","volume-title":"SWRL: A Semantic Web Rule Language Combining OWL And RuleML","author":"Horrocks","year":"2004"},{"key":"2023020112344780800_btw250-B24","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":"2023020112344780800_btw250-B25","author":"Jacobsen","year":"2016"},{"key":"2023020112344780800_btw250-B26","doi-asserted-by":"crossref","first-page":"R3","DOI":"10.1186\/gb-2010-11-1-r3","article-title":"NetPath: a public resource of curated signal transduction pathways","volume":"11","author":"Kandasamy","year":"2010","journal-title":"Genome Biol"},{"key":"2023020112344780800_btw250-B27","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/nar\/28.1.27","article-title":"KEGG: Kyoto Encyclopedia of Genes and Genomes","volume":"28","author":"Kanehisa","year":"2000","journal-title":"Nucleic Acids Res"},{"key":"2023020112344780800_btw250-B28","doi-asserted-by":"crossref","first-page":"D1301","DOI":"10.1093\/nar\/gkr1074","article-title":"WikiPathways: building research communities on biological pathways","volume":"40","author":"Kelder","year":"2012","journal-title":"Nucleic Acids Res"},{"key":"2023020112344780800_btw250-B29","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1038\/nbt.1558","article-title":"The systems biology graphical notation","volume":"27","author":"Le Nov\u00e8re","year":"2009","journal-title":"Nat. Biotech"},{"key":"2023020112344780800_btw250-B30","volume-title":"OWL-S: Semantic Markup for Web Services","author":"Martin","year":"2004"},{"key":"2023020112344780800_btw250-B31","first-page":"16","volume-title":"Using Cell Illustrator and Pathway Databases","author":"Nagasaki","year":"2009"},{"key":"2023020112344780800_btw250-B32","doi-asserted-by":"crossref","first-page":"2659","DOI":"10.1093\/bioinformatics\/btt452","article-title":"The BioPAX Validator","volume":"29","author":"Rodchenkov","year":"2013","journal-title":"Bioinformatics"},{"key":"2023020112344780800_btw250-B33","doi-asserted-by":"crossref","first-page":"D674","DOI":"10.1093\/nar\/gkn653","article-title":"PID: the pathway interaction database","volume":"37","author":"Schaefer","year":"2009","journal-title":"Nucleic Acids Res"},{"key":"2023020112344780800_btw250-B34","first-page":"21","volume-title":"An Introduction to MultiAgent Systems","author":"Wooldridge"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/32\/12\/i60\/49021797\/bioinformatics_32_12_i60.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/32\/12\/i60\/49021797\/bioinformatics_32_12_i60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T22:46:40Z","timestamp":1675291600000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/32\/12\/i60\/2240600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,11]]},"references-count":32,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2016,6,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btw250","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2016,6,15]]},"published":{"date-parts":[[2016,6,11]]}}}