Résumé en français

La qualité de service (QoS) des services Web est un facteur clé de leur réussite. Ceci nécessite le développement de nouvelles méthodes afin de l'analyser. Nous proposons ici des familles de modèles majorant le temps de réponse des services Web composites pour deux types de composition : le « fork and merge » statique et aléatoire. Pour le premier cas, la complexité de résolution des modèles bornants est en O(nn) où n est le nombre de services alors que la complexité de résolution du modèle exact est en O(n2 ). Pour le deuxième cas, la complexité de résolution des modèles bornants reste en O(nn) alors que la complexité de résolution du modèle exact est en O(n3 ). De plus, disposer d'une famille de modèles bornants permet de choisir le modèle bornant en fonction des paramètres du modèle exact. Les résultats numériques montrent l'intérêt de notre approche en terme de complexité et de qualité de la borne.