Abstract
Drugs are small molecules designed to regulate the activity of specific biological receptors. Design new drugs is long and expensive, because modifying the behavior of a receptor may have unpredicted side effects. Two paradigms aim to speed up the drug discovery process: molecular docking estimates if two molecules can bind, to predict unwanted interactions; systems biology studies the effects of pharmacological intervention from a system perspective, to identify pathways related to the disease. In this paper we start from process calculi theory to integrate information from molecular docking into systems biology paradigm. In particular, we introduce Beta-binders\({^\mathbb D}\), a process calculus for representing molecular complexation driven by the shape of the ligands involved and the subsequent molecular changes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
McMartin, C., Bohacek, S.: QXP: Powerful, rapid computer algorithms for structure-based drug design. Journal of Computer-Aided Molecular Design 11, 333 (1997)
Halperin, I., Ma, B., Wolfson, H., Nussinov, R.: Principles of Docking: An Overview of Search Algorithms and a Guide to Scoring Functions. PROTEINS: Structure, Function, and Genetics 47, 409 (2002)
Butcher, E., Berg, E., Kunkel, E.: Systems biology in drug discovery. Nature Biotechnology 22, 1253 (2004)
FitzGerald, G.: Coxibs and Cardiovascular Disease. The New England journal of medicine 351(17), 1709 (2004)
Kuthe, A., Montorsi, F., Andersson, K., Stief, C.: Phosphodiesterase inhibitors for the treatment of erectile dysfunction. Current opinion in investigational drugs 10, 1489 (2002)
McCulley, T., Lam, B., Marmor, M., Hoffman, K., Luu, J., Feuer, W.: Acute effects of sildenafil (viagra) on blue-on-yellow and white-on-white Humphrey perimetry. Journal of neuro-ophthalmology 20, 227 (2000)
Kitano, H.: Foundations of System Biology. MIT Press, Cambridge (2002)
Bugrim, A., Nikolskaya, T., Nikolsky, Y.: Early prediction of drug metabolism and toxicity: systems biology approach and modeling. Drug Discovery Today 9, 127 (2004)
Rao, B., Lauffenburger, D., Wittrup, K.: Integrating cell-level kinetic modeling into the design of engineered protein therapeutics. Nature Biotechnology 23, 191 (2005)
Apica, G., Ignjatovicb, T., Boyerb, S., Russellc, R.: Illuminating drug discovery with biological pathways. FEBS Letters 579, 1872 (2005)
Rajasethupathy, P., Vayttaden, S., Bhalla, U.: Systems modeling: a pathway to drug discovery. Current Opinion in Chemical Biology 9, 400 (2005)
Regev, A., Shapiro, E.: Cells as computations. Nature 419, 343 (2002)
Bergstra, J.A.: Handbook of Process Algebra. Elsevier Science Inc., Amsterdam (2001)
Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25–31 (2001)
Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: BioConcur 2004, Workshop on Concurrent Models in Molecular Biology (2004)
Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell, 4th edn. Garland science (2002)
DiMasi, J., Hansen, R., Grabowski, H.: The price of innovation: new estimates of drug development costs. Journal of Health Economics 22, 151 (2003)
Mack, G.: Can complexity be commercialized? Nature Biotechnology 22, 1223 (2004)
Tame, J.: Scoring Functions the First 100 Years. Journal of Computer-Aided Molecular Design 19, 445 (2005)
Kuntz, I., Blaney, J., Oatley, S., Langridge, R., Ferrin, T.: A geometric approach to macromolecule-ligand interactions. Journal of molecular biology 161, 269 (1982)
Taylor, J., Burnett, R.: DARWIN: A program for docking flexible molecules. PROTEINS: Structure, Function, and Genetics 41, 173 (2000)
Copeland, R.: Evaluation of Enzyme Inhibitors in Drug Discovery: A Guide for Medicinal Chemists and Pharmacologists (Methods of Biochemical Analysis). Wiley-Interscience, Chichester (2005)
Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006) (to appear, 2006)
Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prandi, D. (2006). A Formal Approach to Molecular Docking. In: Priami, C. (eds) Computational Methods in Systems Biology. CMSB 2006. Lecture Notes in Computer Science(), vol 4210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11885191_6
Download citation
DOI: https://doi.org/10.1007/11885191_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46166-1
Online ISBN: 978-3-540-46167-8
eBook Packages: Computer ScienceComputer Science (R0)