Description
Date depot: 1 janvier 1900
Titre: Composition Flexible de Services Web : Spécification et Vérification
Directeur de thèse:
Kamel BARKAOUI (CEDRIC)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Pour faire face à la vive concurrence sur les marchés des biens et services au niveau mondial (et les fusions et délocalisations qui en découlent) les organisations doivent faire preuve d’agilité et d'adaptabilité. Ainsi en particulier la nature des processus métiers mute progressivement d’une simple gestion de collaborations internes entre acteurs d’une même organisation vers des collaborations inter organisationnelles dans l’environnement ouvert de l’Internet.
Les services Web et plus généralement les architectures orientées services sont apparus comme le moyen standard pour construire et implémenter les interactions entre applications distribuées et hétérogènes, dans le cadre de ces collaborations inter organisationnelles. La mise en oeuvre des services Web au travers des trois standards XML : WSDL, UDDI et SOAP a largement facilité l’interopérabilité entre applications sur Internet dans le contexte des échanges inter-entreprises.
Cependant, cette infrastructure de base ne permet pas - en particulier dans le contexte de la composition de services Web (orchestration ou chorégraphie) - de faire face aux exigences de flexibilité qui sont imposées par le changement continu (et les déviations) de l’environnement.
Nous entendons par flexibilité la capacité de prendre en compte le besoin de changement non seulement au niveau de la phase conception- ce qui découle du pouvoir de description inhérent au langage de spécification utilisé - mais aussi et surtout le besoin de restructuration pouvant avoir lieu avant ou durant l’exécution du processus et sans être anticipé durant la phase de conception.
Les approches actuelles de modélisation et vérification formelle des services web composites cherchent presque exclusivement à s’assurer de la correction vis-à-vis de ces exigences de flexibilité identifiées lors de la conception aboutissant à une description fortement structurée sinon rigide.
L’objet de ce projet est de développer une nouvelle approche de spécification des services Web permettant d’intégrer la flexibilité lors de l’exécution (run-time). Cela devra se traduire par la capacité d’exprimer la reconfiguration dynamique et la coordination adaptative (aspect fonctionnel) que la mise au point des paramètres de qualité de service, de mécanismes de tolérance aux fautes (aspect extra-fonctionnel).
On cherchera à tirer parti de nos récentes contributions sur la spécification de la flexibilité (basée sur les réseaux de Petri algébriques et récursifs, la logique de réécriture, et les techniques avancées du génie logiciel telles que l’orientation aspect et les architectures logicielles) ainsi que des techniques de vérification structurelles, modulaires et compositionnelles permettant de vérifier la composition et l’adaptation de services Web à la volée.
Bibliographie
P. Papazoglou, P. Traverso, S. Dustdar, and F.Leymann. Service-Oriented Computing: a Research Roadmap. Int. J. Cooperative Inf. Syst., 17(2)pp 223–255, 2008.
Sidney Rosario, Albert Benveniste, Stefan Haar, and Claude Jard. Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations IEEE Transactions on Services Computing, Vol 1,n°4, 2008
Kamel Barkaoui, Hanifa Boucheneb and Awatef Hicheur. Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets in 5th International Workshop on Web Services and Formal Method (WS-FM 08), Roberto Bruni, Karsten Wolf (Eds). LNCS 5387, Springer, 2009.
Nasreddine Aoumeur Kamel Barkaoui and Manru Liu. Rapid prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions. In Proc. of 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP’09). IEEE Computer Society Press. To appear June 2009.
Doctorant.e: Eslamichalandar Maryam