Bonjour,

Je suis étudiant et je fais mon PFE autour de la vérification formelle des contrats de qualité de service pour une composition de Services Web. Pour cela, j'utilise l'outil Acme Studio (qui est basé sur Eclipse).

En effet, j'ai un problème avec l'outil Acme Studio (ADL: Acme/Armani), j'arrive à former des Règles de Qualité de Service (QoS) qui influencent l'aspect dynamique mais le problème est que l'outil ACME studio m'oblige évidement à appliquer l'aspect statique.

C'est pour cela que j'essaie de trouver un autre outil (similaire à ACME Studio) modélisant l'aspect dynamique pour la Formation des règles QoS.

Quelqu'un saurait-il m'indiquer un tel outil ?

Merci d'avance pour votre aide.