Une évolution continue des paramètres, des contraintes et des besoins du procédé métier, non complètement prévisible initialement, exige des systèmes de gestion de procédés une conception continue et un modèle de procédé fiable. Dans cette thèse, nous nous intéressons à assurer une conception réactive par l'analyse des traces d'exécutions assurant une re-ingénierie du procédé métier et une fiabilisation des exécutions.<br /><br />Pour ce faire, nous introduisons d'abord un modèle de workflow transactionnel qui étend les systèmes de workflows en les fusionnant avec les modèles transactionnels avancés. Nous proposons, par la suite, des techniques d'analyse de traces d'exécutions pour la découverte de workflow et l'amélioration de leurs comportements transactionnels. Notre approche commence par la collecte des traces d'exécution. Nous construisons, ensuite, par des techniques d'analyse statistique, une représentation intermédiaire spécifiant des dépendances élémentaires entre les activités. Ces dépendances sont raffinées pour découvrir le modèle de workflow transactionnel. L'analyse des disparités entre le modèle découvert et le modèle initialement conçu nous permet de détecter des lacunes (anomalies) de conception, concernant particulièrement les mécanismes de recouvrement. En fonction de ces observations, nous appliquons finalement un ensemble de règles d'amélioration et/ou de correction du schéma initial.<br /><br />La contribution majeure de notre proposition est qu'elle permet de tenir compte des besoins d'évolution du procédé observés dans la phase d'exécution. Ceci nous permet d'assurer une conception continue garantissant, parmi d'autres, des exécutions correctes et fiables.

No description available.