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

fYear

2007

fDate

14-17 Sept. 2007

Firstpage

200

Lastpage

202

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/BICTA.2007.4806450

Filename

4806450