An Intermediate Language for the Simulation of Biological Systems

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.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
• Keywords: Biological Systems Description, ENTCS 2008, Intermediate Language, Propose String