title: Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus.
abstract: BACKGROUND
  SBML is becoming a standard 'de-facto' 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.
  
  
  RESULTS
  We implemented and validated a tool that translates SBML descriptions into stochastic pi-calculus specifications.
  
  
  BACKGROUND
  Source code is freely available for academic use by contacting the authors.
authors.affiliation: DIT-University of Trento Trento, Italy. cleccher@itc.it
authors.forename: Claudio
authors.initials: C
authors.lastname: Eccher
authors.forename: Corrado
authors.initials: C
authors.lastname: Priami
mesh_terms: D000465:Algorithms; D003196:Computer Graphics; D003198:Computer Simulation; D008954:Models, Biological; D015233:Models, Statistical; D011381:Programming Languages; D025941:Protein Interaction Mapping / Q000379:methods; D020543:Proteome / Q000378:metabolism*; D015398:Signal Transduction / Q000502:physiology*; D012984:Software; D012985:Software Design; D013269:Stochastic Processes; D014584:User-Computer Interface
chemical_list: D020543:Proteome