Elsevier

Theoretical Computer Science

Volume 412, Issue 43, 7 October 2011, Pages 5976-6001
Theoretical Computer Science

Spatial Calculus of Looping Sequences

https://doi.org/10.1016/j.tcs.2011.01.020Get rights and content
Under an Elsevier user license
open archive

Abstract

This paper presents Spatial CLS, an extension of the Calculus of Looping Sequences (CLS) with spatial features. Spatial CLS allows keeping track of the position of biological elements in a continuous space (2D or 3D) as time passes. The movement of elements in the space can be precisely described, and elements can interact when constraints on their positions are satisfied such as, for example, if two elements are close enough. As for CLS, membranes and elements inside them can be directly modeled in the syntax.

Spatial CLS allows describing the space occupied by elements and membranes. The space occupied by different objects is always kept disjoint. The validity of this constraint is ensured at all times by the semantics of the calculus. In order to model specific behaviors, the modeler can provide an algorithm to rearrange the position of objects in case of a space conflict. Being an extension of CLS, Spatial CLS provides a simple and powerful syntax, based on rewrite rules, for describing the possible reactions among elements of a system. Moreover, rewrite rules are endowed with a stochastic reaction rate parameter.

The aim of Spatial CLS is to enable a more accurate description of those biological processes whose behavior depends on the exact position of the elements. As example applications of the calculus, we present a model of cell proliferation, and a model of the quorum sensing process in Pseudomonas aeruginosa.

Keywords

Calculus of Looping Sequences
Spatial modeling
Systems biology

Cited by (0)

This research has been partially supported by MIUR PRIN 2006 Project “Biologically Inspired Systems and Calculi and their Applications (BISCA)”.