Download - Plan
5/16/2018 Plan - slidepdf.com
http://slidepdf.com/reader/full/plan557200ec4979599169a059c1 1/3
Il faut être concis et précis, écrivez seulement l'essentiel pour chaque point.
Chapitre I: Les workflows flexibles et adaptables ( inspirer des travaux dehicheur, boukhebouze, article Survey BP modeling approach, article analysrule modeling lgs, travail de brahim, d'autres travaux)1. Processus métiers1.1 Introduction1.2 Processus métiers1.3 Le langage BPEL1.3 Modélisation des processus métiers1.3.1 modèles basés sur les graphes1.3.2.modèles basés sur les regles1.3.3 Comparaison
2. Workflows2.1 Concepts et terminologies workflows2.2 Classification des workflows2.3 Modélisation des processus workflows2.4 Les processus workflows flexibles2.4.1 Classification des exceptions dans les processus workflows2.4.2 Classification de la flexibilité des processus workflows
Chapitre II: Vérification des processus workflows ( inspirer des travaux de
hicheur, boukhebouze, brahim et article verificformelle et d'autres travaux)1. fondation formelle1.1 Introduction1.2 Réseaux de Petri1.3 Workflow Nets1.4 Réseaux de Petri de haut niveau1.5 Réseaux de Petri algébriques1.5.1 Rappel sur les spécifications algébriques1.5.2 Les ECATNets (Extended Concurrent Algebraic Term Nets)1.6 Réseaux de Petri Récursifs1.6.1 Concepts de base des réseaux de Petri récursifs
1.6.2 Propriétés des réseaux de Petri récursifs1.6.3 Expressivité et analyse des réseaux de Petri récursifs2 Logique de réécriture et le système Maude 1592.1 Logique de réécriture2.1.1 Théorie de réécriture2.1.2 Déduction dans la logique de réécriture2.1.3 Théorie de réécriture généralisée et théorie de réécriture temps-réél .2.1.4 Reflection et stratégie de réécriture2.2 Le système MAUDE2.2.1 Spécification des Systèmes .
2.2.2 Prototypage rapide et analyse formelle sous Maude2.3 Calcul Méta-niveau dans Maude2.4 Plates Formes de Maude Utilisées
5/16/2018 Plan - slidepdf.com
http://slidepdf.com/reader/full/plan557200ec4979599169a059c1 2/3
2.5 Conclusion3. etat de l'art sur les travaux de recherche pour la vérification desprocessus workflow flexibles
Notre approche de verification des processus metiers flexibles basés sur les
reglesChapitre III: demarche et implementation
Conclusions et perspectives