Elaboration d’une approche dirigée par les modèlesmétiers pour la modélisation et la vérification de la composition des services web en se basant sur les systèmes multi-agents

Abstract

La composition de services web, concerne la combinaison de plusieurs services pour obtenir de nouvelles fonctionnalités, devient de plus en plus populaire et présente une étape nécessaire à la réalisation de la collaboration inter-entreprises (B2B). Pour mettre en œuvre cette collaboration un développeur doit élaborer une spécification qui permet de modéliser le comportement global du système, vérifier formellement ce modèle pour assurer la qualité du système puis passer à l’implémentation du service composé, dans ce travail nous passons par tous ces phases (spécification ; vérification formelle et implémentation).A chaque étape nous proposons une solution en utilisant un ensemble d’approcheset techniques,enfin nous appliquons ces solutions à un exemple illustratif (étude de cas). La partie spécification consiste à modéliser les processus métiers de la composition des services web. On peut décrire ces processus à l’aide de langages de modélisation associés au concept BPM (Business Process Management). Cette description devient plus difficile, complexe et non structurée lorsque le nombre de services est en augmentation, ce qui rend les parties vérification et implémentation difficilement abordables, ce problème nécessite de fournir une architecture bien structurée qui permet aux services de se composer de manière simple mais puissante, et permet également d'ajouter et supprimer des services de manière transparente sans affecter autres services. Les systèmes multi-agents (SMA) sont composés d'agents autonomes qui interagissent et coordonnent pour atteindre leurs intentions. Cela les rend particulièrement adaptés à la modélisation composite et complexe des systèmes d'information. Certains modèles multi-agents, tel que le Système Multi-Agent Réactif Décisionnel (SMARD), présentent ainsi une architecture hiérarchique bien structurée et permettent de modéliser les processus métier d’une manière simple, puissante et transparente tout en facilitant par la suite la vérification des contraintes et la génération du code exécutable. Cette phase de spécification est basée donc sur le système SMARD tout en utilisant les normes de BPM et spécialement la notation BPMN (Business Process Management Notation).

Comme il est préférable de détecter les erreurs le plus tôt possible dans le cycle de développement, dès l’étape de spécification. L’étape suivante est la vérification formelle. Une solution proposée consiste à transformer les modèles métiers élaborés dans la partie de modélisation en spécifications formelles car la notation BPMN est souvent critiquée par son manque de formalisme. Nous proposons d’utiliser l’algèbre de processus LOTOS(Langage Of Temporal Ordering Specification) qui présente l’avantage d’être pris en charge par des outils de vérification formelle tel que le framework CADP (Construction and Analysis of Distributed Processes). Grâce à CADP, nous avons pu automatiser la validation des propriétés comportementales d’un modèle métierafin de prouver que ce modèle est correct.

Lorsque le modèle de composition est validé, l’étape suivante est l’implémentation qui consiste à générer le code exécutable BPEL (Business Process Execution Language) à partir de la spécification. Pour faciliter la réutilisation future de ce service composé il est indispensable de le publier dans un annuaire de services.