论文讨论了用系统生物学建模语言描述生化反应和基因调控网络模型的方法,设计并实现了系统生物学建模系统BioDesigner。最后利用BioDesigner有效地描述了最小钙振荡模型,并用仿真软件验证了模型的正确性。