We consider the problem of integrating different systems biology formalisms, namely, the process calculi based formalism, the modeling approach based on systems of differential equations, and the one relying on automata-like descriptions (and model checking). Specifically, we define automatic procedures for translating stochastic π-calculus descriptions of gene regulatory networks to S-systems differential equations. Tools for extracting and reasoning on (approximate) solutions of S-systems have been recently developed in the literature, and can be exploited to establish a link with automata-based systems biology and model checking techniques. Keywords: systems biology, gene regulatory networks, S-systems, process calculi.

Toward integration of formalisms for system biology: The gene regulatory network case.

GENTILINI, Raffaella
2005

Abstract

We consider the problem of integrating different systems biology formalisms, namely, the process calculi based formalism, the modeling approach based on systems of differential equations, and the one relying on automata-like descriptions (and model checking). Specifically, we define automatic procedures for translating stochastic π-calculus descriptions of gene regulatory networks to S-systems differential equations. Tools for extracting and reasoning on (approximate) solutions of S-systems have been recently developed in the literature, and can be exploited to establish a link with automata-based systems biology and model checking techniques. Keywords: systems biology, gene regulatory networks, S-systems, process calculi.
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: http://hdl.handle.net/11391/42807
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? ND
social impact