排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
Ozan Kahramanogullari Luca Cardelli 《International Journal of Software and Informatics》2013,7(4):655-674
We introduce a natural language interface for building stochastic \pi calculus models of biological systems. In this language, complex constructs describing biochemical events are built from basic primitives of association, dissociation and transformation. This language thus allows us to model biochemical systems modularly by describing their dynamics in a narrative-style language, while making amendments, refinements and extensions on the models easy. We give a formal semantics for this language and a translation algorithm into stochastic \pi calculus that delivers this semantics. We demonstrate the language on a model of Fcr receptor phosphorylation during phagocytosis.
We provide a tool implementation of the translation into a stochastic \pi calculus language, Microsoft Research''s SPiM, which can be used for simulation and analysis. 相似文献
1