计算机在系统生物学中的应用范围

生物谷

Molecular biology has until now mainly focussed on individual molecules, on their properties as isolated entities or as complexes in very simple model systems. However, biological molecules in living systems participate in very complex networks, including regulatory networks for gene expression, intracellular metabolic networks and both intra- and intercellular communication networks. Such networks are involved in the maintenance (homeostasis) as well as the differentiation of cellular systems of which we have a very incomplete understanding.

Nevertheless, the progress of molecular biology has made possible the detailed description of the components that constitute living systems, notably genes and proteins. Large scale genome sequencing means that we can (at least in principle) delineate all macromolecular components of a given cellular system, and microarray experiments as well as large scale proteomics will soon give us large amounts of experimental data on gene regulation, molecular interactions and cellular networks. The challenge of the 21st century will be to understand how these individual components integrate to complex systems and the function and evolution of these systems, thus scaling up from molecular biology to systems biology. By combining experimental data with advanced formal theories from computer science, "the formal language for biological systems" to specify dynamic models of interacting molecular entities would be essential for:

	understanding normal behaviour of cellular processes, and how changes may affect the processes and cause disease. It may be possible to correlate genetic properties and symptoms in new and more efficient ways, based on an actual understanding of how various processes interact.
	providing predictability and flexibility to academic, pharmaceutical, biotechnology and medical researchers studying gene or protein functions. In particular, it may save time by reducing the number of experiments needed, if inadequate hypotheses could be excluded by computer simulation.
IMPORTANT DATES
	November 9, 2002 Submission deadline for papers and demos
	November 30, 2002 Notification of acceptance
	December 16, 2002 Camera-ready version due
TOPICS OF INTEREST INCLUDE:
	Modelling languages for Systems Biology
	Concurrency theory in Systems Biology
	Constraint programming in Systems Biology
	Logical methods in Systems Biology
	Formal methods to analyse biomolecular systems
	Quantitative analysis of biomolecular systems
	Simulation techniques for Systems Biology
	Case studies