Gestion des déviations dans la mise en œuvre des procédés logiciels
Institution:
Toulouse 2Disciplines:
Directors:
Abstract EN:
In this thesis, we propose an original approach to process enactment evolution, based on formal management of process deviations. Deviations are defined as operations that violate process constraints. Once a deviation is detected, a deviation-tolerance model attached to the preset process is used to decide whether to accept or to reject the deviation. Detecting deviations consists to compare the enactable process model and the observed process of actual development through a monitoring system of user actions. The observed process is captured in observed process model. His behavioral and dynamic aspects are described in terms of the process elements life cycles. The observed model, is described in terms of current states of process elements, and history of operations performed by human actors. Both models are translated into first-order logic representation. Detecting and analysis of deviations are based on a formal approach exploiting this logical representation. The decision rests on a rules-based tolerance model that expresses decision to make with respect to contexts in which deviations occur. The method relevance lies in its ability to offer two managing deviations methods depending on the enactment context : acceptance of deviations after dynamic adaptation of process model for deviations that are considered as major ones, or mere tolerance, without changing process model for deviations considered as minor ones. Thus, treatment differs depending on the context of the desired evolution of process model. We have validated our approach with a case study that illustrates this approach. A prototype of a PSEE exploiting this approach has been developped.
Abstract FR:
Dans cette thèse, nous proposons une démarche originale afin de gérer l’évolution des procédés lors de leur mise en œuvre, basée sur la gestion des déviations. Une déviation est considérée comme une action utilisateur qui viole l'une des contraintes du modèle de procédé. La détection des déviations consiste à comparer le modèle du procédé mis en œuvre, appelé « modèle de procédé », et le processus réel de développement observé via un système de monitoring des actions des utilisateurs. Le processus observé est capturé dans un « modèle observé ». Les aspects dynamiques et comportementaux sont décrits en termes de cycles de vie des éléments de procédé. Les deux modèles sont traduits en une représentation en logique des prédicats du 1er ordre. La détection et l'analyse des déviations sont basées sur une démarche formelle exploitant ces prédicats logiques. La prise de décision s'appuie, elle, sur un modèle de tolérance à base de règles exprimant la décision à prendre en tenant compte des contextes dans lesquels les déviations se produisent. La pertinence de la méthode réside dans sa capacité à proposer deux modes de gestion des déviations selon le contexte de la mise en œuvre : acceptation des déviations après adaptation dynamique du modèle de procédé pour les déviations considérées comme mineures. Ainsi, le traitement diffère en fonction du contexte de l'évolution du modèle de procédé souhaitée. Nous avons validé notre approche sur une étude de cas qui illustre la démarche employée. Un prototype opérationnel d'environnement exploitant cette démarche a été développé.