论文部分内容阅读
本课题基于SBML 和BioSPI 的基础，分两步来完成：
1．首先研究SBML 和BioSPI 对系统生物建模的不同点和相同点，SBML 从知识表示和共享的角度处理生物系统现象，适合于数据存储和交换，但却仅被设计用来供其它研究方法获取数据；BioSPI 是众多新兴起来的研究系统生物的方法之一，它借助π-演算对并发模型描述的优势，模拟生物系统的运动变化过程。在这个研究的基础上，提出了由SBML 到BioSPI 的一系列规则，同时也提出了扩展方法，自动转换以及转换中的问题等；
2．在转换研究的基础上，实现自动转换，并对转换后的系统生物模型进行模拟分析。因为SBML 是一种XML 语言，自动工具实现时，借助于libsbml 来处理XML 信息，将SBML 表示的生物系统信息按规则一步步转换成BioSPI 模型表示的程序；然后运行该程序，分析系统生物模型的运动变化过程。