Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling

  • Antoine Spicher
  • Olivier Michel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3514)


Rewriting system (RS) are a formalism widely used in computer science. However, such a formalism can also be used to specify executable models of dynamical systems (DS) by allowing the specification of the evolution laws of the systems in a local manner.

The main drawback of RS is that they are well understood and well known only for terms (a tree-like structure) and that their expressivity is not enough for the representation of complex organizations that can be found in DS.

We propose a framework based on topological notion to extend the notion of RS on more sophisticated structures; the corresponding concepts are validated through the development of an experimental programming language, MGS, dedicated to the simulation of DS. We show how the MGS rewriting system can be used to specify complex dynamical systems and illustrate it with the simulation of the motility of the nematode’s sperm cell.


Delaunay Triangulation Proton Concentration Rewrite System Voronoi Polygon Executable Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Giavitto, J.L.: Invited talk: Topological collections, transformations and their application to the modeling and the simulation of dynamical systems. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 208–233. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Bottino, D., Mogilner, A., Roberts, T., Stewart, M., Oster, G.: How nematode sperm crawl. Journal of Cell Science 115, 367–384 (2002)Google Scholar
  3. 3.
    Dershowitz, N., Jouannaud, J.P.: Rewrite systems. Handbook of Theoretical Computer Science, vol. B, pp. 244–320. Elsevier Science, Amsterdam (1990)Google Scholar
  4. 4.
    Giavitto, J.L., Godin, C., Michel, O., Prusinkiewicz, P.: Computational Models for Integrative and Developmental Biology. In: Modelling and Simulation of biological processes in the context of genomics, Hermes (2002)Google Scholar
  5. 5.
    Giavitto, J.L., Michel, O.: The topological structures of membrane computing. Fundamenta Informaticae 49, 107–129 (2002)MathSciNetGoogle Scholar
  6. 6.
    Bottino, D.: Ascaris suum sperm model documentation (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Antoine Spicher
    • 1
  • Olivier Michel
    • 1
  1. 1.LaMI, umr 8042 du CNRSUniversité d’Évry – GENOPOLEÉvryFrance

Personalised recommendations