Current modeling formalisms for Biology provide different level of abstraction for describing systems' behavior.
In order to be precisely modeled, however, some kinds of biological systems require more detailed descriptions, that current formalisms do not allow to model. In particular, the bahavior of some biological system may be fully understood only by taking into account the exact position in space of the elements of the system.
We have extended the Calculus of Looping Sequence (CLS), a formalism for the description and analisys of biological systems, by the inclusion of spatial features. Spatial CLS allows representing precisely the position, in a 2D/3D space, of biological elements and of the space they take up.
The elements may move autonomously during the passage of time, and may interact when constraints on their positions are satisfied.
The seminar will briefly present our work concerning the inclusion of spatial features in modeling formalisms for Biology. This includes Spatial CLS, and a spatial extension of P systems which we have recently defined.