Biochemical pathways are abstract descriptions of the interactions among the molecular species involved in a cellular process. Different molecular species mentioned in a pathway often represent different states of the same biological entity, such as the unbound and bound states of a certain molecule. Hence, a pathway can be seen as a network of interactions between entities changing state synchronously by means of reactions. We consider such biological entities as pathway components.We define a semi-automatic algorithm to infer the components from their interactions described in the pathway. In case the interactions are not sufficient to resolve all the reactions, help from a domain expert may be needed to resolve any ambiguity that should arise. As an example of application, we apply the algorithm to a model of the EGF signaling pathway from the literature in order to identify its components. From the theoretical point of view, we formally prove the correctness of the algorithm, its termination under any input pathway and a (weak) confluence property.

Component identification in biochemical pathways

PARDINI, GIOVANNI;MILAZZO, PAOLO;MAGGIOLO SCHETTINI, ANDREA
2015-01-01

Abstract

Biochemical pathways are abstract descriptions of the interactions among the molecular species involved in a cellular process. Different molecular species mentioned in a pathway often represent different states of the same biological entity, such as the unbound and bound states of a certain molecule. Hence, a pathway can be seen as a network of interactions between entities changing state synchronously by means of reactions. We consider such biological entities as pathway components.We define a semi-automatic algorithm to infer the components from their interactions described in the pathway. In case the interactions are not sufficient to resolve all the reactions, help from a domain expert may be needed to resolve any ambiguity that should arise. As an example of application, we apply the algorithm to a model of the EGF signaling pathway from the literature in order to identify its components. From the theoretical point of view, we formally prove the correctness of the algorithm, its termination under any input pathway and a (weak) confluence property.
2015
Pardini, Giovanni; Milazzo, Paolo; MAGGIOLO SCHETTINI, Andrea
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/11568/760454
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact