Sciences Monastir

Etablir et s’assurer de la qualité de service (QdS) d’un composant tel qu’un service Web représente un enjeu crucial puisque ceci per-met d’établir une relation de confiance entre le fournisseur d’un service et un client en attente d’une certaine fiabilité. Cependant, contrairement aux spécifications bien établies dans le domaine fonc-tionnel des services Web (telles que WSDL, SOAP ou UDDI), il n’existe pas de standards officiellement reconnus par la commu-nauté en ce qui concerne la description et l’établissement de pro-priétés de QdS. Pour autant, plusieurs travaux visent à apporter des réponses à cette lacune par le biais des contrats de service (SLA: Service Level Agreement) dont l’objectif est de permettre la réa-lisation d’un accord entre consommateur et fournisseur de service portant sur le niveau de QdS que doit fournir le service. L’objectif du travail présenté est de proposer un style architectu-ral pour permettre la vérification formelle des contrats structurels et des contrats de QdS d’une composition de services Web avec l’ADL ACME. Pour se faire, nous modélisons en premier lieu le méta-modèle d’un service Web décrivant les aspects structurels et ceux de QdS. Puis, nous spécifions les propriétés et les contraintes non fonctionnelles avec CQML et WSLA. Enfin, nous formalisons les deux contrats de qualité de service, CQML et WSLA, avec ACME en se référant à ARMANI qui fournit un langage de pré-dicats assez puissant pour assurer formellement une composition fiable de Services Web