Une théorie pour la gestion de la qualité de service dans les orchestrations de services monotones

Résumé

Nous étudions la question de la gestion de la qualité de service dans les orchestrations de services des systèmes répartis à large échelle, spécifiquement dans le cas réaliste où les flux de contrôle et de données sont interdépendants et où les indicateurs de qualité sont multi-dimensionnels. Nous nous plaçons dans un cadre probabiliste pour capturer les incertitudes. Un point clé est la question de monotonie par rapport à la qualité de service : comment faire pour être sûr que l’amélioration d’un service composant ne peut pas faire décroitre la qualité de service de l’ensemble ? Nous proposons une théorie et une méthodologie pour les orchestrations monotones. La composition des qualités de service est assurée par un calcul formel, défini par une sémantique d’ordre partiel de réseaux de Petri. Elle fournit la base d’une approche par contrat. Sa mise en oeuvre est illustrée par une intégration au langage de script ORC développé à Austin par J. Misra, à travers un tissage des aspects fonctionnels et non-fonctionnels.