Davide Chiarugi
ABSTRACT
The biological data regarding the signalling pathways often consider single pathways or a small number of them. We propose a methodology for composing this kind of data in a coherent framework, in order to be able to investigate a bigger number of signalling pathways. We specify a biological system by means of a set of stoichiometric-like equations resembling the essential features of molecular interactions. We represent these equations by a timed concurrent constraint (ntcc) language, which can deal with partial information and the time for a reaction to occur. We describe a freely available prototypical implementation of our framework.
- M. L. Blinov, O. Ruebenacker, and I. I. Moraru. Complexity and modularity of intracellular networks: a systematic approach for modelling and simulation. IET Syst Biol., 2(5):363--368, 2008.Google Scholar
Cross Ref
- A. Bockmayr and A. Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. In 18th International Conference on Logic Programming, ICLP'02, pages 85--99. Springer LNCS 2401, 2002. Google ScholarDigital Library
- S. Csehi, S. Mathieu, U. Seifert, A. Lange, M. Zweyer, A. Wernig, and D. Adam. Tumor necrosis factor (tnf) interferes with insulin signaling through the p55 tnf receptor death domain. Biochemical and Biophysical Research Communications, 329:397--405, 2005.Google ScholarCross Ref
- T. M. Devlin. Textbook of Biochemistry with Clinical Correlations. Wiley-Liss, 2002.Google Scholar
- S. Gaudet et al. A compendium of signals and responses triggered by prodeath and prosurvival cytokines. Molecular and Cellular Proteomics, 4:1569--1590, 2008.Google ScholarCross Ref
- F. Fages, S. Soliman, and N. Chabrier-Rivier. Modeling and querying interaction networks in the biochemical abstract machine biocham. Journal of Biological Physics and Chemistry, 4(2):64--73, 2004.Google ScholarCross Ref
- T. Finkel and J. S. Gutkind. Signal Transduction and Human disease. Wiley-Liss, 2003.Google ScholarCross Ref
- S. Gaudet, K. A. Janes, J. G. Albeck, E. A. Pace, D. A. Lauffenburger, and P. K. Sorger. A compendium of signals and responses triggered by prodeath and prosurvival cytokines. Molecular Cellular Proteomics, 4(10):1569--1590, 2005.Google ScholarCross Ref
- D. T. Gillespie. Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem, 58:35--55, 2007.Google ScholarCross Ref
- P. Goss and J. Peccoud. Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. Biochemistry, 95:6750--6754, 1998.Google Scholar
- Vineet Gupta, Radha Jagadeesan, and Vijay A. Saraswat. Probabilistic concurrent constraint programming. In Proc. of CONCUR 97, London, UK, 1997. Springer-Verlag. Google ScholarDigital Library
- N. Martí-Oliet and J. Meseguer. Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science, 285(2):121--154, 2002. Google ScholarDigital Library
- M. Nielsen, C. Palamidessi, and F. Valencia. Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing, 9(1):145--188, 2002. Google ScholarDigital Library
- J. Ninio. Alternative to the steady-state method: Derivation of reaction rates from first-passage times and pathway probabilities. Proc. Natl. Acad. Sci. USA, 84:663--667, 1987.Google ScholarCross Ref
- V. N. Reddy, M. N. Liebman, and M. L. Mavrovouniotis. Qualitative analysis of biochemical reaction systems. Computer in Biology and Medicine, 26(1):9--24, 1996.Google ScholarCross Ref
- C. Talcott. Pathway logic. Formal Methods for Computational Systems Biology, 5016:21--53, 2008. Google ScholarDigital Library
Recommendations
Modular modelling of signalling pathways and their cross-talk
Signalling pathways are well-known abstractions that explain the mechanisms whereby cells respond to signals. Collections of pathways form networks, and interactions between pathways in a network, known as cross-talk, enables further complex signalling ...
Oncogenic Signaling Pathways in Mucopolysaccharidoses
Advances in Bioinformatics and Computational BiologyAbstractCancer cells depend on several signaling pathways and organelles, such as the lysosomes. Defects in the activity of lysosomal hydrolases involved in glycosaminoglycan degradation lead to a group of lysosomal storage diseases called ...
Uniformly curated signaling pathways reveal tissue-specific cross-talks and support drug target discovery
Motivation: Signaling pathways control a large variety of cellular processes. However, currently, even within the same database signaling pathways are often curated at different levels of detail. This makes comparative and cross-talk analyses ...
Comments