plan

Il faut être concis et précis, écrivez seulement l'essentiel pour chaque point. Chapitre I: Les workflows flexibles et adaptables ( inspirer des travaux de hicheur, boukhebouze, article Survey BP modeling approach, article analys rule modeling lgs, travail de brahim, d'autres travaux) 1. Processus métiers 1.1 Introduction 1.2 Processus métiers 1.3 Le langage BPEL 1.3 Modélisation des processus métiers 1.3.1 modèles basés sur les graphes 1.3.2.modèles basés sur les regles 1.3.3 Comparaison 2. Workflows 2.1 Concepts et terminologies workflows 2.2 Classification des workflows 2.3 Modélisation des processus workflows 2.4 Les processus workflows flexibles 2.4.1 Classification des exceptions dans les processus workflows 2.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 formelle 1.1 Introduction 1.2 Réseaux de Petri 1.3 Workflow Nets 1.4 Réseaux de Petri de haut niveau 1.5 Réseaux de Petri algébriques 1.5.1 Rappel sur les spécifications algébriques 1.5.2 Les ECATNets (Extended Concurrent Algebraic Term Nets) 1.6 Réseaux de Petri Récursifs 1.6.1 Concepts de base des réseaux de Petri récursifs 1.6.2 Propriétés des réseaux de Petri récursifs 1.6.3 Expressivité et analyse des réseaux de Petri récursifs 2 Logique de réécriture et le système Maude 159 2.1 Logique de réécriture 2.1.1 Théorie de réécriture 2.1.2 Déduction dans la logique de réécriture 2.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éécriture 2.2 Le système MAUDE 2.2.1 Spécification des Systèmes . 2.2.2 Prototypage rapide et analyse formelle sous Maude 2.3 Calcul Méta-niveau dans Maude 2.4 Plates Formes de Maude Utilisées

Upload: sofiane-brahim

Post on 20-Jul-2015

10 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

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