Sphères de comportement pour la modélisation et l'exécution de procédés flexibles

Behavioural spheres for flexible process modelling and execution

• Auteur / Autrice : Adnene Guabtni
• Direction : Claude Godart
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2007
• Etablissement(s) : Nancy 1
• Partenaire(s) de recherche : autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques

Mots clés

Mots clés contrôlés

Travail collaboratif

Flux de travail

Résumé

L'objectif de la thèse consiste à proposer une nouvelle approche, appelée "Sphères de comportement" pour la modélisation et l'exécution de procédés flexibles. Il s'agit d'assurer une flexibilité dans la gestion de propriétés comportementales qu'elles soient transactionnelles, opérationnelles ou organisationnelles. De telles propriétés concernent non seulement des activités considérées individuellement (ce que permettent les modèles de procédés actuels), mais également des groupes d'activités d'un procédé. La première contribution de cette thèse consiste à séparer la spécification des propriétés comportementales de celle du procédé. La solution que nous proposons permet de définir des "sphères de comportement" associant un comportement à un groupe d'activités du procédé. Cela a permis, après une définition des principes fondamentaux d'une telle solution, d'identifier quels sont les comportements dont la représentation en termes de sphères induit une plus grande flexibilité de la modélisation et de l'exécution des procédés métiers. La seconde contribution consiste en l'étude du cas particulier de la propriété transactionnelle de l'isolation dans les procédés métiers. Cela a abouti à la définition de la notion de "sphère d'isolation" et d'étudier ses caractéristiques en termes de cohésion et de cohérence, donnant lieu à deux nouveaux critères de sérialisabilité. La troisième contribution de ce travail consiste à déceler les anomalies engendrées par l'exécution d'activités coopératives et la contribution des sphères d'isolation à la gestion flexible de telles anomalies de coopération. La dernière contribution de ce travail consiste à proposer une démarche permettant la mise en oeuvre des sphères de comportement dans les plateformes de procédés à base de Web Services. La mise en oeuvre a consisté à modéliser des sphères de comportement dans la notation BPMN et à transformer une telle notation en contextes de coordination WS-Coordination couplé au langage BPEL. La finalité d'une telle mise en oeuvre, dite "de bout en bout", est de connecter la modélisation des sphères de comportement (BPMN) à l'exécution du procédé métier (BPEL et WS-Coordination).

We aim to introduce a new approach, called "Behavioural Sphere", for flexible business process modelling and execution. One principle of such approach is to provide management flexibility for group-based behavioural properties such as transactional, operational or organisational properties. These properties concerns not only single activities but also groups of activities. Current business process models, setting properties at single activities level, do not allow the expressiveness of group-based behavioural properties. The first contribution of this thesis proposes a solution allowing us to define "Behavioural Spheres" to make a separation of concerns between process design and group-based behavioural properties definition. We contribute to define correctly the main principles of such solution and we analyse the impact of behavioural spheres on the flexibility of modelling and execution of business processes according to different behaviours. The second contribution concerns the case study of the isolation property as a particular behaviour in business process management. We define the notion of "Isolation Sphere" and we propose details on its characteristics in terms of cohesion and coherence, which reveal two new serialisability criteria. The third contribution of this work concerns the study of cooperation phenomena engedered by cooperative activities execution and we detailed how isolation spheres make it possible to manage such phenomena with more an more flexibility. Finally, the last contribution of this work concerns a proposal of behavioural sphere implentation in web services platforms. This is possible through adaptations made on the modelling part of such platforms, which is represented by the BPMN notation, and an extension of the execution part of web services platforms, which represents the WS-Coordination coordination contexts coupled with BPEL execution language. The implentation proposal covers all the parts of web services platforms, from the modelling to the execution.