Sphères de comportement pour la modélisation et l'exécution de procédés flexibles. (Behavioural Spheres for Flexible Business Process Modelling and Execution)

L'objectif de la these consiste a proposer une nouvelle approche, appelee "Spheres de comportement" pour la modelisation et l'execution de procedes flexibles. Il s'agit d'assurer une flexibilite dans la gestion de proprietes comportementales qu'elles soient transactionnelles, operationnelles ou organisationnelles. De telles proprietes concernent non seulement des activites considerees individuellement (ce que permettent les modeles de procedes actuels), mais egalement des groupes d'activites d'un procede. La premiere contribution de cette these consiste a separer la specification des proprietes comportementales de celle du procede. La solution que nous proposons permet de definir des "spheres de comportement" associant un comportement a un groupe d'activites du procede. Cela a permis, apres une definition des principes fondamentaux d'une telle solution, d'identifier quels sont les comportements dont la representation en termes de spheres induit une plus grande flexibilite de la modelisation et de l'execution des procedes metiers. La seconde contribution consiste en l'etude du cas particulier de la propriete transactionnelle de l'isolation dans les procedes metiers. Cela a abouti a la definition de la notion de "sphere d'isolation" et d'etudier ses caracteristiques en termes de cohesion et de coherence, donnant lieu a deux nouveaux criteres de serialisabilite. La troisieme contribution de ce travail consiste a deceler les anomalies engendrees par l'execution d'activites cooperatives et la contribution des spheres d'isolation a la gestion flexible de telles anomalies de cooperation. La derniere contribution de ce travail consiste a proposer une demarche permettant la mise en œuvre des spheres de comportement dans les plateformes de procedes a base de Web Services. La mise en œuvre a consiste a modeliser des spheres de comportement dans la notation BPMN et a transformer une telle notation en contextes de coordination WS-Coordination couple au langage BPEL. La finalite d'une telle mise en œuvre, dite "de bout en bout", est de connecter la modelisation des spheres de comportement (BPMN) a l'execution du procede metier (BPEL et WS-Coordination).