Approches symboliques de la modélisation et de l'analyse des systèmes biologiques

La biologie des systèmes, ou biologie systémique, est une approche de la biologie qui consiste à englober la complexité des interactions entre les entités biologiques dans un tout systémique. Le but étant de comprendre l'émergence de propriétés physiologiques ou fonctionnelles. Approches symboliques de la modélisation et de l'analyse des systèmes biologiques présente les apports de méthodes formelles issues de l'informatique pour la modélisation de la dynamique des systèmes biologiques. Il traite plus spécifiquement des méthodes symboliques, c'est-à-dire qui peuvent établir des propriétés qualitatives des modèles. Cet ouvrage expose différentes approches liées à la sémantique, au langage, à la modélisation et à leur lien avec les données, et nous permet d'examiner des problèmes fondamentaux et des défis auxquels nous confronte la biologie des systèmes. Une première partie regroupe des travaux qui s'appuient sur les diverses données accessibles pour construire des modèles alors que la seconde présente des contributions autour des questions de la sémantique et des méthodes formelles.