ISBN-13: 9786131514784 / Francuski / Miękka / 2018 / 340 str.
Ce travail A(c)tend au cadre distribuA(c) et plus prA(c)cisA(c)ment A la surveillance de Web Services l'approche par reconnaissance de chroniques, adaptA(c)e au diagnostic de systA]mes A A(c)vA]nements discrets. Le formalisme des chroniques a A(c)tA(c) proposA(c) il y a quelques annA(c)es dans le but de surveiller des systA]mes dynamiques en temps rA(c)el. Une chronique, caractA(c)risA(c)e par un ensemble d'A(c)vA]nements temporellement contraints, dA(c)crit les situations A surveiller. Il existe des algorithmes efficaces de reconnaissance de chroniques A la volA(c)e, mais toujours dans un cadre centralisA(c). Or, il est maintenant admis que les approches distribuA(c)es sont plus adaptA(c)es A la surveillance de systA]mes rA(c)els. La contribution de cette thA]se est donc d'A(c)tendre l'approche A base de chroniques au contexte distribuA(c). Nous proposons ainsi une extension du formalisme des chroniques ainsi que deux architectures dA(c)centralisA(c)es, nommA(c)es Matrac et CarDeCRS dont le but commun est, en fusionnant des diagnostics locaux calculA(c)s par des reconnaisseurs de chroniques, d'obtenir un diagnostic global permettant d'A(c)laborer un plan de rA(c)paration.
Ce travail étend au cadre distribué et plus précisément à la surveillance de Web Services lapproche par reconnaissance de chroniques, adaptée au diagnostic de systèmes à évènements discrets. Le formalisme des chroniques a été proposé il y a quelques années dans le but de surveiller des systèmes dynamiques en temps réel. Une chronique, caractérisée par un ensemble dévènements temporellement contraints, décrit les situations à surveiller. Il existe des algorithmes efficaces de reconnaissance de chroniques à la volée, mais toujours dans un cadre centralisé. Or, il est maintenant admis que les approches distribuées sont plus adaptées à la surveillance de systèmes réels. La contribution de cette thèse est donc détendre lapproche à base de chroniques au contexte distribué. Nous proposons ainsi une extension du formalisme des chroniques ainsi que deux architectures décentralisées, nommées Matrac et CarDeCRS dont le but commun est, en fusionnant des diagnostics locaux calculés par des reconnaisseurs de chroniques, dobtenir un diagnostic global permettant délaborer un plan de réparation.