ABC转运器的π-演算模型及其验证
将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作台MWB对该模型进行了状态跟踪和性能验证. π-演算能够在统一的框架之下捕获分子生物系统的两个关键属性:模块化组织和动态行为,对其既能进行质的又能进行量的推理,证明了π-演算用于分子生物过程抽象描述的可行性.
进程代数 π-演算模型 系统生物学 ABC转运器 形式化描述
张红 刘磊
吉林大学计算机科学与技术学院,长春,130012
国内会议
南宁
中文
118-123
2007-11-01（万方平台首次上网日期，不代表论文的发表时间）