An Intermediate Language for the Simulation of Biological Systems

被引：4

作者：

Barbuti, Roberto ^{[1
]}

Caravagna, Giulio ^{[1
]}

Maggiolo-Schettini, Andrea ^{[1
]}

Milazzo, Paolo ^{[1
]}

机构：

[1] Univ Pisa, Dipartimento Informat, Largo Bruno Pontecorvo 3, I-56127 Pisa, Italy

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 194卷 / 03期

关键词：

MultiSet Rewriting; Stochastic Simulation; Calculus of Looping Sequences;

D O I：

10.1016/j.entcs.2007.12.004

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be translated into SMSR and SMSR descriptions can be simulated by adapting an existing simulator. In this paper we show the translation of one of these formalisms, CLS+, into SMSR, and we prove correctness and completeness of the translation.

引用

页码：19 / 34

页数：16

共 12 条

[1]

Barbuti R., LNCS IN PRESS

[2]

Barbuti R, 2006, FUND INFORM, V72, P21

[3]

Cardelli L, 2005, LECT NOTES COMPUT SC, V3082, P257

[4]

Cervesato I, 2004, CHACS5540153 NAV RES

[5] Modelling biochemical pathways through enhanced π-calculus [J].

Curti, M ;

Degano, P ;

Priami, C ;

Baldari, CT .

THEORETICAL COMPUTER SCIENCE, 2004, 325 (01) :111-140

[6] Formal molecular biology [J].

Danos, V ;

Laneve, C .

THEORETICAL COMPUTER SCIENCE, 2004, 325 (01) :69-110

[7] Enhanced operational semantics: A tool for describing and analyzing concurrent systems [J].

Degano, P ;

Priami, C .

ACM COMPUTING SURVEYS, 2001, 33 (02) :135-176

[8] EXACT STOCHASTIC SIMULATION OF COUPLED CHEMICAL-REACTIONS [J].

GILLESPIE, DT .

JOURNAL OF PHYSICAL CHEMISTRY, 1977, 81 (25) :2340-2361

[9]

Martinelli F., 2004, LECT NOTES COMPUTER, V2809, P415

[10]

Milazzo P., 2007, THESIS

← 1 2 →