Title :
Modeling and Shape Analyzing of the SBP-Dependent ABC Uptake Transporter based upon Mobile Ambients
Author :
Zhang, Hong ; Liu, Lei
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun
Abstract :
The goal of this work is to highlight the fact that the mobile ambients and a static program analysis algorithm have the promise of providing a strong tool for describing and computing on functions of biological systems. Firstly, a context dependent shape analysis strategy of mobile ambients is developed. Secondly, a Mobile Ambients model of SBP-dependent ABC uptake transporter is presented and its evolvement of dynamic behavior as well as its transformation of architecture is particularly analyzed. Finally, the analysis is applied to the model to prove that it coincides with the reality better.
Keywords :
biology computing; mobile computing; molecular biophysics; program diagnostics; proteins; ATP-binding cassette; SBP-dependent ABC uptake transporter; context dependent shape analysis strategy; mobile ambient; molecular biological system; static program analysis algorithm; substrate-binding protein; Algorithm design and analysis; Biological system modeling; Biological systems; Computer science; Educational institutions; Information analysis; Mobile computing; Object oriented modeling; Shape; Systems biology;
Conference_Titel :
Bio-Inspired Computing: Theories and Applications, 2007. BIC-TA 2007. Second International Conference on
Conference_Location :
Zhengzhou
Print_ISBN :
978-1-4244-4105-1
Electronic_ISBN :
978-1-4244-4106-8
DOI :
10.1109/BICTA.2007.4806450
