In this paper we show how to model biochemical reactions in Concurrent Constraint Programming (CCP) taking into account space and locality. In fact, in many cases, the distribution of the reactants in the cellular space is critical for the correct dynamics of the reactions. Thus, we propose a modelling framework which allows us to take into account space domains. Resorting on our approach, it is possible to de- scribe accurately biochemical processes without abstracting away from features related to the spatial localisation. In order to describe locality in CCP, we add subexponentials, a concept coming from linear logic, to the constraint system and then, we can model declaratively when a certain reaction occurs within one location of the space domain. Clearly we can also express interactions between agents, taking place either in different spaces or in the same space. Metabolic pathways and, in par- ticular, signalling pathways tend to be arranged in a physical space such that the product of one reaction is in the right place to become the re- actant for the subsequent reaction in the pathway. Following this idea, we show through a simple case study how we can model a signalling cascade. Then, we exploit our framework to model a more complex sig- nalling pathway, namely the TWEAK (TNF related Weak inducer of apoptosis), whose misfunctioning has implications in several important diseases.

Chiarugi, D., Falaschi, M., HERMITH RAMIREZ, D.P., & Olarte, C. (2014). A framework for modelling spatially dependent interactions of biological systems in CCP.. In Proceedings 2nd International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2014) (pp.912-923). COPICENTRO GRANADA S L, AV ANDALUCIA, 38, GRANADA, GRANADA 18014, SPAIN.

A framework for modelling spatially dependent interactions of biological systems in CCP.

FALASCHI, MORENO;HERMITH RAMIREZ, DIANA PATRICIA;
2014

Abstract

In this paper we show how to model biochemical reactions in Concurrent Constraint Programming (CCP) taking into account space and locality. In fact, in many cases, the distribution of the reactants in the cellular space is critical for the correct dynamics of the reactions. Thus, we propose a modelling framework which allows us to take into account space domains. Resorting on our approach, it is possible to de- scribe accurately biochemical processes without abstracting away from features related to the spatial localisation. In order to describe locality in CCP, we add subexponentials, a concept coming from linear logic, to the constraint system and then, we can model declaratively when a certain reaction occurs within one location of the space domain. Clearly we can also express interactions between agents, taking place either in different spaces or in the same space. Metabolic pathways and, in par- ticular, signalling pathways tend to be arranged in a physical space such that the product of one reaction is in the right place to become the re- actant for the subsequent reaction in the pathway. Following this idea, we show through a simple case study how we can model a signalling cascade. Then, we exploit our framework to model a more complex sig- nalling pathway, namely the TWEAK (TNF related Weak inducer of apoptosis), whose misfunctioning has implications in several important diseases.
9788415814849
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/11365/47001
 Attenzione

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