A formal language for computational systems biology. Export

@article{citeulike:461426, abstract = {The post-genomic era has opened new insights into the complex biochemical reaction systems present in the cell and has generated huge amount of information. The biological systems are highly complex and can overwhelm the numerically computable models. Therefore, models employing symbolical techniques might provide a faster insight. This paper presents some preliminary results and recent trends in the above direction. Specifically, it presents an overview of the main features of some formalisms and techniques from the field of specification languages for concurrency and mobility, which have been proposed to model and simulate the dynamics of the interaction of complex biological systems. The ultimate goal of these symbolic approaches is the modeling, analysis, simulation, and hopefully prediction of the behavior of biological systems (vs. biological components).}, address = {Department of Information and Telecommunication, University of Trento, Povo, Italy.}, author = {Errampalli, D. D. and Priami, C. and Quaglia, P.}, citeulike-article-id = {461426}, citeulike-linkout-0 = {http://dx.doi.org/10.1089/omi.2004.8.370}, citeulike-linkout-1 = {http://www.liebertonline.com/doi/abs/10.1089/omi.2004.8.370}, citeulike-linkout-2 = {http://view.ncbi.nlm.nih.gov/pubmed/15703483}, citeulike-linkout-3 = {http://www.hubmed.org/display.cgi?uids=15703483}, comment = {Discusses process algebras and their applicability to biological modeling.}, doi = {10.1089/omi.2004.8.370}, issn = {1536-2310}, journal = {OMICS}, keywords = {biology, simulation, systems}, number = {4}, pages = {370--380}, posted-at = {2006-01-11 04:25:00}, priority = {0}, title = {A formal language for computational systems biology.}, url = {http://dx.doi.org/10.1089/omi.2004.8.370}, volume = {8}, year = {2004} }

TY - JOUR ID - citeulike:461426 L3 - citeulike-article-id:461426 N2 - The post-genomic era has opened new insights into the complex biochemical reaction systems present in the cell and has generated huge amount of information. The biological systems are highly complex and can overwhelm the numerically computable models. Therefore, models employing symbolical techniques might provide a faster insight. This paper presents some preliminary results and recent trends in the above direction. Specifically, it presents an overview of the main features of some formalisms and techniques from the field of specification languages for concurrency and mobility, which have been proposed to model and simulate the dynamics of the interaction of complex biological systems. The ultimate goal of these symbolic approaches is the modeling, analysis, simulation, and hopefully prediction of the behavior of biological systems (vs. biological components). IS - 4 JF - OMICS SN - 1536-2310 AD - Department of Information and Telecommunication, University of Trento, Povo, Italy. EP - 380 TI - A formal language for computational systems biology. VL - 8 SP - 370 KW - biology KW - simulation KW - systems N1 - Discusses process algebras and their applicability to biological modeling. AU - Errampalli, DD AU - Priami, C AU - Quaglia, P PY - 2004/// UR - http://dx.doi.org/10.1089/omi.2004.8.370 ER -