Design and implementation of a tool for translating SBML into the biochemical stochastic π-calculus

Bioinformatics

Volumn 22, Issue 24, 2006, Pages 3075-3081

  Eccher, Claudio ^a,b   Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; BIOINFORMATICS; BIOLOGICAL MODEL; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; MATHEMATICAL COMPUTING; PRIORITY JOURNAL; STOCHASTIC MODEL; SYSTEM ANALYSIS; SYSTEMS BIOLOGY; VALIDATION PROCESS;

EID: 33845352304     PISSN: 13674803     EISSN: 13674811     Source Type: Journal    
DOI: 10.1093/bioinformatics/btl516     Document Type: Article

References (32)

1. Achard,F. et al. (2001) XML, bioinformatics and data integration. Bioinformatics, 17, 115-125.
2. Cuellar,A.A. et al. (2003) An overview of CELLML 1.1, a biological model description language. Simulation, 79, 740-747.
3. Dong,Z. et al. (2005) An implementation for mapping SBML to BioSPI. In Wang,L. and Jin,Y. (eds), Proceedings of the Second International Conference on Fuzzy Systems and Knowledge Discovery FSKD 2005, Lecture Notes in Artificial Intelligence (LNAI) 3614, Springer, pp. 1128-1131.
4. Edelstein,S.J. et al. (1996) A kinetic mechanism for nicotinic acetylcholine receptors based on multiple allosteric transitions. Biol. Cybern., 75, 361-379.
5. Finney,A. and Hucka,M. (2003) Systems Biology Markup Language (SBML) Level 2: Structures and facilities for model definitions.
6. Gillespie,D.T. (1977) Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81, 2340-2361.
7. Hanisch,D. et al. (2002) ProML - the Protein Markup Language for specification of protein sequences, structures and families. In Silico Biol, 2, 313-324.
8. Holden,C. (2002) Alliance launched to model E. coli. Science, 297, 1459-1460.
9. Hucka,M. et al. (2003) The Systems Biology Markup Language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics, 19, 524-531.
10. Hucka,M. et al. (2004) Evolving a lingua franca and associated software infrastructure for computational systems biology: The System Biology Markup Language (SBML) project. Syst. Biol., 1, 41-53.
11. Kam,N. et al. (2001) The immune system as a reactive system: Modeling t cell activation with statecharts. In Proceedings of Symposia on Human-Centric Computing Languages and Environments, IEEE Computer Society Press, pp. 15-22.
12. Kahn,S. et al. (2003) A multi-agent system for the quantitative simulation of biological networks. In Proceedings of the AAMAS '03, Melbourne, Australia, pp. 385-392.
13. Kitano,H, (2001) Foundation of Systems Biology. MIT Press, Cambridge, Massachusetts.
14. Kumar,S. and Feidler,J.C. (2003) BioSPICE: A computational infrastructure for integrative biology. Omics: A J. Int. Biol., 7, 225.
15. Kuttler,C. et al. (2006) Gene regulation in the Pi calculus: Simulating cooperativity at the lambda switch. In Priami,C., Ingolfsdottir,A., Mishra,B., Nielson,H.R. (eds), TCSB VII, Lecture Notes in Computer Science (LNCS) 4230, Springer, pp. 29-59.
16. Lecca,P. and Priami,C. (2003) Cell cycle control in eukaryotes: A BioSpi model. In Proceedings of 1st International Workshop on Concurrent Models in Molecular Biology (BioConcur '03), Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, in press; Technical Report DIT-03-045, University of Trento.
17. Lecca,P. et al. (2004) A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. Simulation, 80, 273-288.
18. Le Novère,N. et al. (2006) BioModels Database: A free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res., 34, D689-D691.
19. Liao,Y.M. and Ghanadan,H. (2002) The chemical markup language. Anal. Chem., 74, 389A-390A.
20. Matsuno,H. et al. (2003) Biopathways representation and simulation on hybrid functional Petri net. In Silico Biol, 3, 389-404.
21. Mestl,T. et al. (1995) A mathematical framework for describing and analyzing gene regulatory networks. J. Theor. Biol., 176, 291-300.
22. McAdams,H.H. and Arkin,A. (1997) Stochastic mechanism in gene expression. Proc. Natl Acad. Sci. USA, 94, 814-819.
23. Milner,R. (1989) Communication and Concurrency. Prentice Hall International, Englewood Cliffs.
24. Milner,R. (1999) Communicating and Mobile Systems: The π-Calculus. Cambrigde University Press.
25. Phillips,A. and Cardelli,L. (2004) A correct abstract machine for the stochastic Pi-calculus. In Proceedings of the 2nd International Workshop on Concurrent Models in Molecular Biology (BioConcur '04), Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, in press.
26. Priami,C. et al. (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Proc. Lett, 80, 25-31.
27. Regev,A. et al. (2001) Representation and simulation of biological processes using the π-calculus process algebra. In Proceedings of the 6th Pacific Symposium on Biocomputing, pp. 459-470.
28. Spellman,P.T. et al. (2002) Design and implementation of Microarray Gene Expression Markup Language. Genome Biol, 3, 0046.0041-0046.0049.
29. Taylor,C.F. et al. (2003) A systematic approach to modeling, capturing, and disseminating proteomics experimental data. Nat. Biotechnol., 21, 247-254.
30. Tyson,J.J. (1991) Modeling the cell division cycle: Cdc2 and cyclin interactions. Cell Biol., 88, 7328-7332.
31. The BioSpi project (200) Web site.
32. Waugh,A. et al. (2002) RNAML: A standard syntax for exchanging RNA information. RNA, 8, 707-717.