Title
Spatial Calculus of Looping Sequences
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.
Year
DOI
Venue
2009
10.1016/j.entcs.2009.02.003
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
biological process,spatial cls,systems biology,accurate description,biological system,spatial modeling,calculus of looping sequences,exact position,space conflict,biological element,spatial calculus,pseudomonas aeruginosa,looping sequences,system evolution,biological systems,satisfiability,quorum sensing,system biology,reaction rate,cell proliferation
CLs upper limits,Disjoint sets,Algorithm,Syntax,Mathematics,Calculus,Semantics
Journal
Volume
Issue
ISSN
229
1
Theoretical Computer Science
Citations 
PageRank 
References 
19
0.88
23
Authors
4
Name
Order
Citations
PageRank
Roberto Barbuti186681.03
Andrea Maggiolo-Schettini278989.11
Paolo Milazzo332821.14
Giovanni Pardini415211.81