Motivation: 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. Availability: Source code is freely available for academic use by contacting the authors.

Design and implementation of a tool for translating SBML into the biochemical stochastic {pi}-calculus

Eccher, Claudio;
2006

Abstract

Motivation: 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. Availability: Source code is freely available for academic use by contacting the authors.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/9169
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact