Modélisation et analyse de processus biologiques dans des algèbres de processus
Institution:
Paris 7Disciplines:
Directors:
Abstract EN:
The focus of this thesis is modelling and analyzing Systems biology using process algebra. We apply three process calculi into systems bioloqy: the π -calculus and a variant the I π -calculus: the k -calculus and its finer-qrained lanquage. The mk -calculus biqraphical reactive Systems. There are three parts of my thesis. First, we introduce the signal transduction with aberrance. A new extension of the I π -calculus, theI π -calculus is introduced to model signal transduction with aberrance. The calculus is obtained by adding two aberrant actions into the I π -calculus. It is well-defined and bioloqicallv visible. The I π -calculus shows its expressive capability. However, it needs more information about its terms in the process of simulation, especially in the simulation of aberrant biochemical processes. Therefore, two auxiliary systems, a tag system and a typing system, are introduced to help understanding I π -calculus model. The tag system is more intuitive. But it may be redundant in the recordings of information of terms. The simple typing system, however, is enough to deal with it. We show that the tag system is equal to the typing System in terms of expressive power. Second, we propose the rigorous question of self-assembly in the protein-protein language, K -calculus introduced by Vincent Danos and Cosimo Laneve. We use of reversible rules to embed the coarse one (the K -calculas)into thé finer one (the I π -calculus). We prove that this simulation is correct mathematically Finally, we use bigraphs to model and analyze Systems biology. First we give an example to show how to model biochemical processes using bigraphical reactive Systems (BRSs for short). We take thé normal ras activation as our instance. Then the expressive power of the bigraphical models is discussed. We indicate how the K -calculus. The protein-protein language can be translated into BRSs by one example, which shows that BRSs is a suitable model in bioloqical studying as well.
Abstract FR:
Dans cette thèse, trois calculs de processus sont étudiés et appliqués à l'analyse de processus biologiques : une variante du π -calcul introduite ici, le I π -calcul: le k-calcul de Danos et Laneve et sa variante à grain plus fin, le mk-calcul: et les systèmes réactifs biqraphiques de Milner. Le manuscrit comporte trois parties. Dans la première partie, nous modélisons la transduction du signal, et plus spécifiquement le processus d'activation de la protéine "ras". On introduit une nouvelle extension du π -calcul. Le I π -calcul, pour modéliser ce processus biologique en présence d'aberrance. Le calcul est obtenu en ajoutant deux actions aberrantes au Iπ -calcul. Le Iπ -calcul quoique déjà assez expressif pour exprimer l'aberrance. Peut être encore précisé par l'introduction d'informations supplémentaires dans la syntaxe, soit sous forme de "taqs" soit sous forme de types. Les tags sont plus intuitifs, mais ils introduisent de la redondance, qui est éliminée dans la présentation de cette information sous forme de types. Nous montrons l'équivalence entre les deux espèces de décoration. Le système de types / tags présenté ici est très rudimentaire. Mais notre espoir est de l'enrichir pour intégrer des paramètres quantitatifs tels que la température, la concentration, etc. . . Dans la modélisation des processus biologiques. Dans la seconde partie, nous abordons d'un point de vue formel la question de l'auto-assemblage dans le kappa-calcul, un langage de description d'interactions protéine-protéine Nous définissons un sous-ensemble de règles de calcul réversibles nous permettant d'assurer un codage sans blocage du calcul "à gros grain" (le K-calcul) dans un calcul "à grain fin" (le mk-calcul). Nous prouvons la correction de cette simulation de manière interne (à l'aide des règles réversibles), améliorant ainsi les résultats de Danos et Laneve. Enfin, dans une partie plus prospective, nous suggérons comment l'on peut utiliser les bigraphes pour modéliser et analyser les processus biologiques. Nous montrons d'abord commment coder l'exemple "ras" dans ce formalisme. Puis nous indiquons sur un exemple comment l'on peut traduire le K-calcul dans les bigraphes.