Une synthèse sur les méthodes formelles issues de l'informatique pour la modélisation des systèmes biologiques. Différentes approches liées à la sémantique, au langage et à leurs liens avec les données permettent de mettre en lumière les défis de la biologie systémique, en particulier les méthodes symboliques qui établissent les propriétés qualitatives des modèles.