Vérification et Evaluation des Workflows basées sur les Réseaux de Petri Stochastiques Non Markoviens

Résumé

Dans ce rapport de thèse, Nous abordons, D’abord, la notion de workflows et leurs différents technologies élaborées dans l’objectif d’avoir une représentation standard d’automatisation d’un processus métier. Ensuite, nous montrons l’importance et l’influence du concept de temps dans un système workflow. Ensuite, nous illustrons l’évolution d’un outil semi-formel (RdP) élaboré pour spécifier et vérifier le comportement dynamique des systèmes complexes. De plus, nous montrons leur efficacité dans la vérification et l’analysée des propriétés liées au comportement temporel. Ensuite Nous introduisons l’aspect non markovien liée aux réseaux de Petri, qui se résume dans la mémorisation des événements antérieurs (mémoire du passé). Sachant que l’évolution du système est spécifiée par des lois non exponentielles. Au dernier lieu, nous montrons l’évolution des extensions Non Markovien des RdPS et leurs sémantiques d’application dans la modélisation. Puis, nous proposons un modèle nommé (NM-WSPN)en tant qu’une combinaison entre les réseaux de Petri stochastiques non-markoviens et les WF-nets. Aussi, nous montrons son importance dans la spécification, la vérification (solidité) et l'évaluation des performances dans le contexte du processus métier de développement logiciel (DevOps). Finalement, nous proposons un modèle nommé (NM-WPTSPN) en tant qu’extension NM-WSPN. Cette extension est dotée d'une orientation P-temporisées (P-Timed)avec des intervalles de séjour dynamiques déterminés en fonction du centre de gravité des densités. Ensuite, nous illustrons la démarche de spécification, de vérification et d’analyse sur un workflow d'FMS. Le temps de séjour dynamique des jetons dans des places et le mécanisme de tir des transitions reposent non seulement sur l'aspect stochastique et déterministe, mais aussi sur d'autres prés-conditions. D'ailleurs, les deux modèles proposés sont enrichis d'un outil formel, basé sur le temps écoulé, pour prédire le retard d'exécution et estimer le temps d'exécution lors d'une séquence de transitions. Les hypothèses sur les conditions de temps écoulé sont remarquées lorsqu'une longue période de temps est détectée entre les événements observables dans un processus métier.

Citer ce document

Accès au document

Ce document est hébergé sur son dépôt institutionnel d'origine.

Auteur(s)

Statistiques

Consultations : 4

Téléchargements : 0