{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:22:44Z","timestamp":1742401364542},"reference-count":32,"publisher":"Oxford University Press (OUP)","issue":"24","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,12,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: SBML is becoming a standard \u2018de-facto\u2019 to represent and store biological models. Although SBML is very useful in defining ways of exchanging and storing biological information, it is not formal enough to allow direct translation into non ambiguous formal representation languages to perform analysis and simulation of models. We here suggest to map SBML models into process calculi representations.<\/jats:p>\n               <jats:p>Results: We implemented and validated a tool that translates SBML descriptions into stochastic \u03c0-calculus specifications.<\/jats:p>\n               <jats:p>Availability: Source code is freely available for academic use by contacting the authors.<\/jats:p>\n               <jats:p>Contact: \u00a0cleccher@itc.it<\/jats:p>","DOI":"10.1093\/bioinformatics\/btl516","type":"journal-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T03:08:10Z","timestamp":1161140890000},"page":"3075-3081","source":"Crossref","is-referenced-by-count":4,"title":["Design and implementation of a tool for translating SBML into the biochemical stochastic \u03c0-calculus"],"prefix":"10.1093","volume":"22","author":[{"given":"Claudio","family":"Eccher","sequence":"first","affiliation":[{"name":"DIT\u2014University of Trento 1 \u00a0 1 \u00a0 \u00a0 Trento, Italy"},{"name":"ITC-irst, Centre for Scientific and Technological Research 2 \u00a0 2 \u00a0 \u00a0 Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[{"name":"DIT\u2014University of Trento 1 \u00a0 1 \u00a0 \u00a0 Trento, Italy"},{"name":"The Microsoft Research\u2014University of Trento Centre for Computational and Systems Biology 3 \u00a0 3 \u00a0 \u00a0 Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2006,10,17]]},"reference":[{"key":"2023012408493380900_b1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1093\/bioinformatics\/17.2.115","article-title":"XML, bioinformatics and data integration","volume":"17","author":"Achard","year":"2001","journal-title":"Bioinformatics"},{"key":"2023012408493380900_b2","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":"2023012408493380900_b3","first-page":"1128","article-title":"An implementation for mapping SBML to BioSPI","author":"Dong","year":"2005"},{"key":"2023012408493380900_b4","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s004220050302","article-title":"A kinetic mechanism for nicotinic acetylcholine receptors based on multiple allosteric transitions","volume":"75","author":"Edelstein","year":"1996","journal-title":"Biol. Cybern."},{"key":"2023012408493380900_b5","article-title":"Systems Biology Markup Language (SBML) Level 2: structures and facilities for model definitions","author":"Finney","year":"2003"},{"key":"2023012408493380900_b6","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","article-title":"Exact stochastic simulation of coupled chemical reactions","volume":"81","author":"Gillespie","year":"1977","journal-title":"J. Phys. Chem."},{"key":"2023012408493380900_b7","first-page":"313","article-title":"ProML\u2014the Protein Markup Language for specification of protein sequences, structures and families","volume":"2","author":"Hanisch","year":"2002","journal-title":"In Silico Biol"},{"key":"2023012408493380900_b8","doi-asserted-by":"crossref","first-page":"1459","DOI":"10.1126\/science.297.5586.1459a","article-title":"Alliance launched to model E. coli","volume":"297","author":"Holden","year":"2002","journal-title":"Science"},{"key":"2023012408493380900_b9","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":"2023012408493380900_b10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1049\/sb:20045008","article-title":"Evolving a lingua franca and associated software infrastructure for computational systems biology: the System Biology Markup Language (SBML) project","volume":"1","author":"Hucka","year":"2004","journal-title":"Syst. Biol."},{"key":"2023012408493380900_b11","first-page":"15","article-title":"The immune system as a reactive system: modeling t cell activation with statecharts","volume-title":"Proceedings of Symposia on Human-Centric Computing Languages and Environments","author":"Kam","year":"2001"},{"key":"2023012408493380900_b12","first-page":"385","article-title":"A multi-agent system for the quantitative simulation of biological networks","author":"Kahn","year":"2003"},{"key":"2023012408493380900_b13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3087.001.0001","volume-title":"Foundation of Systems Biology","author":"Kitano","year":"2001"},{"key":"2023012408493380900_b14","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1089\/153623103322452350","article-title":"BioSPICE: a computational infrastructure for integrative biology","volume":"7","author":"Kumar","year":"2003","journal-title":"Omics: a J. Int. Biol."},{"key":"2023012408493380900_b15","first-page":"29","article-title":"Gene regulation in the Pi calculus: simulating cooperativity at the lambda switch","volume-title":"TCSB VII, Lecture Notes in Computer Science (LNCS) 4230","author":"Kuttler","year":"2006"},{"key":"2023012408493380900_b16","article-title":"Cell cycle control in eukaryotes: a BioSpi model","author":"Lecca","year":"2003"},{"key":"2023012408493380900_b17","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1177\/0037549704045800","article-title":"A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment","volume":"80","author":"Lecca","year":"2004","journal-title":"Simulation"},{"key":"2023012408493380900_b18","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\u00e8re","year":"2006","journal-title":"Nucleic Acids Res."},{"key":"2023012408493380900_b19","doi-asserted-by":"crossref","first-page":"389A","DOI":"10.1021\/ac0220676","article-title":"The chemical markup language","volume":"74","author":"Liao","year":"2002","journal-title":"Anal. Chem."},{"key":"2023012408493380900_b20","first-page":"389","article-title":"Biopathways representation and simulation on hybrid functional Petri net","volume":"3","author":"Matsuno","year":"2003","journal-title":"In Silico Biol"},{"key":"2023012408493380900_b21","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1006\/jtbi.1995.0199","article-title":"A mathematical framework for describing and analyzing gene regulatory networks","volume":"176","author":"Mestl","year":"1995","journal-title":"J. Theor. Biol."},{"key":"2023012408493380900_b22","doi-asserted-by":"crossref","first-page":"814","DOI":"10.1073\/pnas.94.3.814","article-title":"Stochastic mechanism in gene expression","volume":"94","author":"McAdams","year":"1997","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023012408493380900_b23","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"2023012408493380900_b24","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"Milner","year":"1999"},{"key":"2023012408493380900_b25","article-title":"A correct abstract machine for the stochastic Pi-calculus","author":"Phillips","year":"2004"},{"key":"2023012408493380900_b26","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","article-title":"Application of a stochastic name-passing calculus to representation and simulation of molecular processes","volume":"80","author":"Priami","year":"2001","journal-title":"Inf. Proc. Lett"},{"key":"2023012408493380900_b27","first-page":"459","article-title":"Representation and simulation of biological processes using the \u03c0-calculus process algebra","author":"Regev","year":"2001"},{"key":"2023012408493380900_b28","doi-asserted-by":"crossref","first-page":"0046.0041","DOI":"10.1186\/gb-2002-3-9-research0046","article-title":"Design and implementation of Microarray Gene Expression Markup Language","volume":"3","author":"Spellman","year":"2002","journal-title":"Genome Biol"},{"key":"2023012408493380900_b29","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1038\/nbt0303-247","article-title":"A systematic approach to modeling, capturing, and disseminating proteomics experimental data","volume":"21","author":"Taylor","year":"2003","journal-title":"Nat. Biotechnol."},{"key":"2023012408493380900_b30","first-page":"7328","article-title":"Modeling the cell division cycle: cdc2 and cyclin interactions","volume":"88","author":"Tyson","year":"1991","journal-title":"Cell Biol."},{"key":"2023012408493380900_b31","article-title":"The BioSpi project.","year":"2002"},{"key":"2023012408493380900_b32","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1017\/S1355838202028017","article-title":"RNAML: A standard syntax for exchanging RNA information","volume":"8","author":"Waugh","year":"2002","journal-title":"RNA"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/22\/24\/3075\/48838220\/bioinformatics_22_24_3075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/22\/24\/3075\/48838220\/bioinformatics_22_24_3075.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T09:11:18Z","timestamp":1674551478000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/22\/24\/3075\/208946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,17]]},"references-count":32,"journal-issue":{"issue":"24","published-print":{"date-parts":[[2006,12,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btl516","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2006,12,15]]},"published":{"date-parts":[[2006,10,17]]}}}