Methodes et Outils d'evaluation des systemes transactionnels repartis

Ce livre se situe dans le cadre du dveloppement de mthodes et d'outils d'valuation de performances des systmes transactionnels rpartis. A cette fin, les mthodes stochastiques sont trs souvent utilises et conduisent frquemment l'tude de chanes de Markov issues de modles vnements discrets. Mais la complexit des systmes tudis provoque le phnomne bien connu d'explosion combinatoire engendrant des chanes de Markov de grande taille. Pour palier cette difficult, nous nous intressons aux mthodes de bornes et aux rductions lies aux symtries de comportement. Ces mthodes cherchent tablir des encadrements des mesures de performances fonds sur une analyse du modle sans gnrer la chane de Markov complte. Dans une premire partie de ce travail, nous proposons une mthode de bornes fonde sur une agrgation priori du modle. Dans la deuxime partie de ce travail, nous proposons des mthodes de rduction de complexit fonde sur les symtries de comportement en utilisant les rseaux de Petri stochastiques bien forms, un outil bien adapt l'tude de systmes complexes symtriques. Nos nouveaux outils dvelopps permettent d'avoir des critres raffins.