{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T01:44:04Z","timestamp":1790819044761,"version":"4.1.0"},"reference-count":52,"publisher":"Oxford University Press (OUP)","issue":"16","license":[{"start":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T00:00:00Z","timestamp":1589328000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100020987","name":"UEVE","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100020987","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000002","name":"NIH","doi-asserted-by":"publisher","award":["#5R35GM119770-04"],"award-info":[{"award-number":["#5R35GM119770-04"]}],"id":[{"id":"10.13039\/100000002","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ANR BIOPSY","award":["ANR-16-CE18-0029"],"award-info":[{"award-number":["ANR-16-CE18-0029"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,8,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:sec>\n                  <jats:title>Motivation<\/jats:title>\n                  <jats:p>Molecular interaction maps have emerged as a meaningful way of representing biological mechanisms in a comprehensive and systematic manner. However, their static nature provides limited insights to the emerging behaviour of the described biological system under different conditions. Computational modelling provides the means to study dynamic properties through in silico simulations and perturbations. We aim to bridge the gap between static and dynamic representations of biological systems with CaSQ, a software tool that infers Boolean rules based on the topology and semantics of molecular interaction maps built with CellDesigner.<\/jats:p>\n               <\/jats:sec>\n               <jats:sec>\n                  <jats:title>Results<\/jats:title>\n                  <jats:p>We developed CaSQ by defining conversion rules and logical formulas for inferred Boolean models according to the topology and the annotations of the starting molecular interaction maps. We used CaSQ to produce executable files of existing molecular maps that differ in size, complexity and the use of Systems Biology Graphical Notation (SBGN) standards. We also compared, where possible, the manually built logical models corresponding to a molecular map to the ones inferred by CaSQ. The tool is able to process large and complex maps built with CellDesigner (either following SBGN standards or not) and produce Boolean models in a standard output format, Systems Biology Marked Up Language-qualitative (SBML-qual), that can be further analyzed using popular modelling tools. References, annotations and layout of the CellDesigner molecular map are retained in the obtained model, facilitating interoperability and model reusability.<\/jats:p>\n               <\/jats:sec>\n               <jats:sec>\n                  <jats:title>Availability and implementation<\/jats:title>\n                  <jats:p>The present tool is available online: https:\/\/lifeware.inria.fr\/\u223csoliman\/post\/casq\/ and distributed as a Python package under the GNU GPLv3 license. The code can be accessed here: https:\/\/gitlab.inria.fr\/soliman\/casq.<\/jats:p>\n               <\/jats:sec>\n               <jats:sec>\n                  <jats:title>Supplementary information<\/jats:title>\n                  <jats:p>Supplementary data are available at Bioinformatics online.<\/jats:p>\n               <\/jats:sec>","DOI":"10.1093\/bioinformatics\/btaa484","type":"journal-article","created":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T19:18:10Z","timestamp":1588792690000},"page":"4473-4482","source":"Crossref","is-referenced-by-count":74,"title":["Automated inference of Boolean models from molecular interaction maps using CaSQ"],"prefix":"10.1093","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5525-7418","authenticated-orcid":false,"given":"Sara Sadat","family":"Aghamiri","sequence":"first","affiliation":[{"name":"GenHotel, D\u00e9partement de Biologie, Univ. \u00e8vry, Universit\u00e9 Paris-Saclay , Genopole, \u00e8vry 91025, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vidisha","family":"Singh","sequence":"additional","affiliation":[{"name":"GenHotel, D\u00e9partement de Biologie, Univ. \u00e8vry, Universit\u00e9 Paris-Saclay , Genopole, \u00e8vry 91025, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6495-2655","authenticated-orcid":false,"given":"Aur\u00e9lien","family":"Naldi","sequence":"additional","affiliation":[{"name":"D\u00e9partement de Biologie, Institut de Biologie de l'Ecole Normale Sup\u00e9rieure (IBENS), \u00e8cole Normale Sup\u00e9rieure, CNRS, INSERM, Universit\u00e9 PSL , Paris 75005, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3653-1906","authenticated-orcid":false,"given":"Tom\u00e1\u0161","family":"Helikar","sequence":"additional","affiliation":[{"name":"Department of Biochemistry, University of Nebraska-Lincoln , Lincoln, NE 68588, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[{"name":"Lifeware Group, Inria Saclay-\u00eele de France , Palaiseau 91120, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9687-7426","authenticated-orcid":false,"given":"Anna","family":"Niarakis","sequence":"additional","affiliation":[{"name":"GenHotel, D\u00e9partement de Biologie, Univ. \u00e8vry, Universit\u00e9 Paris-Saclay , Genopole, \u00e8vry 91025, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2020,5,13]]},"reference":[{"key":"2023062213532884900_btaa484-B1","first-page":"86","article-title":"Model checking to assess T-helper cell plasticity","volume":"2","author":"Abou-Jaoud\u00e9","year":"2014","journal-title":"Front. Bioeng. Biotechnol"},{"key":"2023062213532884900_btaa484-B2","doi-asserted-by":"crossref","first-page":"94","DOI":"10.3389\/fgene.2016.00094","article-title":"Logical modeling and dynamical analysis of cellular networks","volume":"7","author":"Abou-Jaoud\u00e9","year":"2016","journal-title":"Front. Genet"},{"key":"2023062213532884900_btaa484-B3","doi-asserted-by":"crossref","first-page":"fs8","DOI":"10.1126\/scisignal.aab0880","article-title":"Good practices for building dynamical models in systems biology","volume":"8","author":"Azeloglu","year":"2015","journal-title":"Sci. Signal"},{"key":"2023062213532884900_btaa484-B4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1038\/nrg1272","article-title":"Network biology: understanding the cell\u2019s functional organization","volume":"5","author":"Barab\u00e1si","year":"2004","journal-title":"Nat. Rev. Genet"},{"key":"2023062213532884900_btaa484-B5","doi-asserted-by":"crossref","first-page":"e1004591","DOI":"10.1371\/journal.pcbi.1004591","article-title":"Computational modeling, formal analysis, and tools for systems biology","volume":"12","author":"Bartocci","year":"2016","journal-title":"PLoS Comput. Biol"},{"key":"2023062213532884900_btaa484-B6","doi-asserted-by":"publisher","DOI":"10.1093\/database\/bay031","article-title":"Expert curation for building network-based dynamical models: a case study on atherosclerotic plaque formation","volume":"2018","author":"Bekkar","year":"2018","journal-title":"Database (Oxford)"},{"key":"2023062213532884900_btaa484-B7","doi-asserted-by":"crossref","first-page":"2874","DOI":"10.1074\/mcp.M112.025908","article-title":"Proteomic analysis of the SH2 domain-containing leukocyte protein of 76 kDa (SLP76) interactome in resting and activated primary mast cells [corrected]","volume":"12","author":"Bounab","year":"2013","journal-title":"Mol. Cell. Proteomics"},{"key":"2023062213532884900_btaa484-B8","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1186\/1752-0509-7-116","article-title":"Path2Models: large-scale generation of computational models from biochemical pathway maps","volume":"7","author":"B\u00fcchel","year":"2013","journal-title":"BMC Syst. Biol"},{"key":"2023062213532884900_btaa484-B9","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1038\/msb.2010.108","article-title":"A comprehensive map of the mTOR signaling network","volume":"6","author":"Caron","year":"2010","journal-title":"Mol. Syst. Biol"},{"key":"2023062213532884900_btaa484-B10","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-1-61779-361-5_23","article-title":"Logical modelling of gene regulatory networks with GINsim","volume":"804","author":"Chaouiya","year":"2012","journal-title":"Methods Mol. Biol"},{"key":"2023062213532884900_btaa484-B11","doi-asserted-by":"crossref","first-page":"e1002820","DOI":"10.1371\/journal.pcbi.1002820","article-title":"Chapter 5: network biology approach to complex diseases","volume":"8","author":"Cho","year":"2012","journal-title":"PLoS Comput. Biol"},{"key":"2023062213532884900_btaa484-B12","doi-asserted-by":"crossref","first-page":"3279","DOI":"10.1038\/sj.onc.1210421","article-title":"MAP kinase signalling pathways in cancer","volume":"26","author":"Dhillon","year":"2007","journal-title":"Oncogene"},{"key":"2023062213532884900_btaa484-B13","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/s12035-013-8489-4","article-title":"Integrating pathways of Parkinson\u2019s disease in a molecular interaction map","volume":"49","author":"Fujita","year":"2014","journal-title":"Mol. Neurobiol"},{"key":"2023062213532884900_btaa484-B14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S1478-5382(03)02370-9","article-title":"CellDesigner: a process diagram editor for gene-regulatory and biochemical networks","volume":"1","author":"Funahashi","year":"2003","journal-title":"BIOSILICO"},{"key":"2023062213532884900_btaa484-B15","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/j.tig.2012.11.004","article-title":"Human diseases through the lens of network biology","volume":"29","author":"Furlong","year":"2013","journal-title":"Trends Genet"},{"key":"2023062213532884900_btaa484-B16","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1038\/nri1782","article-title":"Integrated signalling pathways for mast-cell activation","volume":"6","author":"Gilfillan","year":"2006","journal-title":"Nat. Rev. Immunol"},{"key":"2023062213532884900_btaa484-B17","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","article-title":"The logical analysis of continuous, non-linear biochemical control networks","volume":"39","author":"Glass","year":"1973","journal-title":"J. Theor. Biol"},{"key":"2023062213532884900_btaa484-B18","doi-asserted-by":"crossref","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","article-title":"Integrative modelling of the influence of MAPK network on cancer cell fate decision","volume":"9","author":"Grieco","year":"2013","journal-title":"PLoS Comput. Biol"},{"key":"2023062213532884900_btaa484-B19","doi-asserted-by":"crossref","first-page":"1913","DOI":"10.1073\/pnas.0705088105","article-title":"Emergent decision-making in biological signal transduction networks","volume":"105","author":"Helikar","year":"2008","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"2023062213532884900_btaa484-B20","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1186\/1752-0509-6-96","article-title":"The cell collective: toward an open and collaborative approach to systems biology","volume":"6","author":"Helikar","year":"2012","journal-title":"BMC Syst. Biol"},{"key":"2023062213532884900_btaa484-B21","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":"2023062213532884900_btaa484-B22","doi-asserted-by":"crossref","first-page":"e1005771","DOI":"10.1371\/journal.pcbi.1005771","article-title":"Network approaches and applications in biology","volume":"13","author":"Ideker","year":"2017","journal-title":"PLoS Comput. Biol"},{"key":"2023062213532884900_btaa484-B23","doi-asserted-by":"crossref","first-page":"e0146759","DOI":"10.1371\/journal.pone.0146759","article-title":"Comprehensive map of molecules implicated in obesity","volume":"11","author":"Jagannadham","year":"2016","journal-title":"PLoS ONE"},{"key":"2023062213532884900_btaa484-B24","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1242\/jcs.057976","article-title":"Interaction with surrounding normal epithelial cells influences signalling pathways and behaviour of Src-transformed cells","volume":"123","author":"Kajita","year":"2010","journal-title":"J.\u00a0Cell Sci"},{"key":"2023062213532884900_btaa484-B25","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","article-title":"Metabolic stability and epigenesis in randomly constructed genetic nets","volume":"22","author":"Kauffman","year":"1969","journal-title":"J. Theor. Biol"},{"key":"2023062213532884900_btaa484-B26","first-page":"199","article-title":"Role of JNK in tumor development","volume":"2","author":"Kennedy","year":"2003","journal-title":"Cell Cycle"},{"key":"2023062213532884900_btaa484-B27","doi-asserted-by":"crossref","first-page":"e160","DOI":"10.1038\/oncsis.2015.19","article-title":"Atlas of cancer signalling network: a systems biology resource for integrative analysis of cancer data with Google Maps","volume":"4","author":"Kuperstein","year":"2015","journal-title":"Oncogenesis"},{"key":"2023062213532884900_btaa484-B28","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification, Lecture Notes in Computer Science","author":"Kwiatkowska","year":"2011"},{"key":"2023062213532884900_btaa484-B29","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1152\/physrev.2001.81.2.807","article-title":"Mammalian mitogen-activated protein kinase signal transduction pathways activated by stress and inflammation","volume":"81","author":"Kyriakis","year":"2001","journal-title":"Physiol. Rev"},{"key":"2023062213532884900_btaa484-B30","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1038\/nrg3885","article-title":"Quantitative and logic modelling of molecular and gene networks","volume":"16","author":"Le Nov\u00e8re","year":"2015","journal-title":"Nat. Rev. Genet"},{"key":"2023062213532884900_btaa484-B31","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1038\/nprot.2017.144","article-title":"A graphical and computational modeling platform for biological pathways","volume":"13","author":"Livigni","year":"2018","journal-title":"Nat. Protoc"},{"key":"2023062213532884900_btaa484-B32","doi-asserted-by":"crossref","first-page":"916","DOI":"10.1111\/cea.13211","article-title":"AsthmaMap: an expert-driven computational representation of disease mechanisms","volume":"48","author":"Mazein","year":"2018","journal-title":"Clin. Exp. Allergy"},{"key":"2023062213532884900_btaa484-B33","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1186\/1742-4682-3-13","article-title":"A method for the generation of standardized qualitative dynamical systems of regulatory networks","volume":"3","author":"Mendoza","year":"2006","journal-title":"Theor. Biol. Med. Modell"},{"key":"2023062213532884900_btaa484-B34","first-page":"69","article-title":"Computational modeling of the main signaling pathways involved in mast cell activation","volume":"382","author":"Niarakis","year":"2014","journal-title":"Curr. Top. Microbiol. Immunol"},{"key":"2023062213532884900_btaa484-B35","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-1-4939-2627-5_25","article-title":"AlzPathway, an updated map of curated signaling pathways: towards deciphering Alzheimer\u2019s disease pathogenesis","volume":"1303","author":"Ogishima","year":"2016","journal-title":"Methods Mol. Biol"},{"key":"2023062213532884900_btaa484-B36","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1093\/bib\/bby024","article-title":"Community-driven roadmap for integrated disease maps","volume":"20","author":"Ostaszewski","year":"2019","journal-title":"Brief. Bioinf"},{"key":"2023062213532884900_btaa484-B37","doi-asserted-by":"crossref","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","article-title":"Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures","volume":"412","author":"Rizk","year":"2011","journal-title":"Theor. Comput. Sci"},{"key":"2023062213532884900_btaa484-B38","doi-asserted-by":"publisher","author":"Romers","year":"2017","DOI":"10.1101\/107136"},{"key":"2023062213532884900_btaa484-B39","first-page":"62","article-title":"MAP kinases: from intracellular signals to physiology and disease","volume":"17","author":"Schramek","year":"2002","journal-title":"News Physiol. Sci"},{"key":"2023062213532884900_btaa484-B40","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0165-2478(98)00086-8","article-title":"Defective degranulation and calcium mobilization of bone-marrow derived mast cells from Xid and Btk-deficient mice","volume":"64","author":"Setoguchi","year":"1998","journal-title":"Immunol. Lett"},{"key":"2023062213532884900_btaa484-B41","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0065-230X(06)95009-X","article-title":"Inhibitors of the HSP90 molecular chaperone: current status","volume":"95","author":"Sharp","year":"2006","journal-title":"Adv. Cancer Res"},{"key":"2023062213532884900_btaa484-B42"},{"key":"2023062213532884900_btaa484-B43","doi-asserted-by":"publisher","author":"Singh","year":"2020","DOI":"10.1093\/database\/baaa017"},{"key":"2023062213532884900_btaa484-B44","doi-asserted-by":"crossref","first-page":"2226","DOI":"10.1093\/bioinformatics\/btx123","article-title":"MaBoSS 2.0: an environment for stochastic Boolean modeling","volume":"33","author":"Stoll","year":"2017","journal-title":"Bioinformatics"},{"key":"2023062213532884900_btaa484-B45","first-page":"1","article-title":"Regulation of stress-activated MAP kinase pathways during cell fate decisions","volume":"73","author":"Takekawa","year":"2011","journal-title":"Nagoya J. Med. Sci"},{"key":"2023062213532884900_btaa484-B46","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","article-title":"Boolean formalization of genetic control circuits","volume":"42","author":"Thomas","year":"1973","journal-title":"J. Theor. Biol"},{"key":"2023062213532884900_btaa484-B47","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1016\/0022-5193(78)90127-3","article-title":"Logical analysis of systems comprising feedback loops","volume":"73","author":"Thomas","year":"1978","journal-title":"J.\u00a0Theor. Biol"},{"key":"2023062213532884900_btaa484-B48","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1111\/j.1432-1033.1976.tb11108.x","article-title":"A complex control circuit. Regulation of immunity in temperate bacteriophages","volume":"71","author":"Thomas","year":"1976","journal-title":"Eur. J. Biochem"},{"key":"2023062213532884900_btaa484-B49","doi-asserted-by":"crossref","first-page":"i772","DOI":"10.1093\/bioinformatics\/btw457","article-title":"Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation","volume":"32","author":"Traynard","year":"2016","journal-title":"Bioinformatics"},{"key":"2023062213532884900_btaa484-B50","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1186\/s12918-015-0181-z","article-title":"The gastrin and cholecystokinin receptors mediated signaling network: a scaffold for data analysis and new hypotheses on regulatory mechanisms","volume":"9","author":"Tripathi","year":"2015","journal-title":"BMC Syst. Biol"},{"key":"2023062213532884900_btaa484-B51","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1186\/1752-0509-7-115","article-title":"Translation of SBGN maps: process description to activity flow","volume":"7","author":"Vogt","year":"2013","journal-title":"BMC Syst. Biol"},{"key":"2023062213532884900_btaa484-B52","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1161\/CIRCGENETICS.113.000123","article-title":"Network biology in medicine and beyond","volume":"7","author":"Zhang","year":"2014","journal-title":"Circ. Cardiovasc. Genet"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/bioinformatics\/advance-article-pdf\/doi\/10.1093\/bioinformatics\/btaa484\/33706223\/btaa484.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/36\/16\/4473\/50677507\/btaa484.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/36\/16\/4473\/50677507\/btaa484.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T13:09:10Z","timestamp":1687525750000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/36\/16\/4473\/5836892"}},"subtitle":[],"editor":[{"given":"Jinbo","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2020,5,13]]},"references-count":52,"journal-issue":{"issue":"16","published-print":{"date-parts":[[2020,8,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btaa484","relation":{},"ISSN":["1367-4803","1367-4811"],"issn-type":[{"value":"1367-4803","type":"print"},{"value":"1367-4811","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2020,8,15]]},"published":{"date-parts":[[2020,5,13]]}}}