Méthodes et Outils d'évaluation des systèmes transactionnels répartis

Ce livre se situe dans le cadre du d veloppement de m thodes et d'outils d' valuation de performances des syst mes transactionnels r partis. A cette fin, les m thodes stochastiques sont tr s souvent utilis es et conduisent fr quemment l' tude de cha nes de Markov issues de mod les v nements discrets. Mais la complexit des syst mes tudi s provoque le ph nom ne bien connu d'explosion combinatoire engendrant des cha nes de Markov de grande taille. Pour palier cette difficult , nous nous int ressons aux m thodes de bornes et aux r ductions li es aux sym tries de comportement. Ces m thodes cherchent tablir des encadrements des mesures de performances fond s sur une analyse du mod le sans g n rer la cha ne de Markov compl te. Dans une premi re partie de ce travail, nous proposons une m thode de bornes fond e sur une agr gation priori du mod le. Dans la deuxi me partie de ce travail, nous proposons des m thodes de r duction de complexit fond e sur les sym tries de comportement en utilisant les r seaux de Petri stochastiques bien form s, un outil bien adapt l' tude de syst mes complexes sym triques. Nos nouveaux outils d velopp s permettent d'avoir des crit res raffin s.