معلومات
مدير الأطروحة :
سنة البداية :
نهابة 2015
الجامعة :
Université Constantine 2
تاريخ المناقشة
تاريخ المناقشة :
17 October 2021
أعضاء لجنة المناقشة :
Allaoua Chaoui
Nabil Belala
Elhilali Kerkouche
Chafia Bouanaka
Toufik Maarouk
Irina A. Lomazova
التفاصيل
Titre :
Un cadre formel pour l'analyse et la vérification des processus métiers

Résumé :

Le sujet proposé s’inscrit dans le cadre de l’analyse et la vérification des processus métiers. Un processus métier est une suite d’activités qui peuvent s’exécuter en séquence ou de manière concurrente pour arriver à un but commun. Ces activités pouvant appartenir à plusieurs tiers (des personnes ou des applications). La gestion des processus métiers (BPM, pour Business Process Management) comporte plusieurs tâches. On peut citer la modélisation, l’exécution, la gestion du point de vue cycle de vie, la supervision et l’optimisation de performances. Un exemple concret de ce qu’on peut représenter par un processus métier est la composition de services Web. Ces derniers mettent en œuvre ce qu’on appelle l’architecture orientée service (SOA). 

L’objectif du travail consiste en l’élaboration d’un cadre d’analyse et de vérification des processus métiers. Ce cadre « formel » considérera plusieurs aspects importants comme l’aspect temps qui concerne les contraintes sur la réalisation des activités d’une part et leurs durées d’autre part, et éventuellement l’aspect stochastique. Ce travail complètera d’autres travaux de l’équipe autour de la spécification « formelle » des processus métier [1,2]. 

L’élément de départ sera la considération de modèles adaptés comme le modèle des HL-DToN (pour High Level Time open WorkFlow Nets with Action Duration) développé au sein de l’équipe [3] basé sur le modèle des DTPN [4]. 

Références bibliographiques : 

[1] Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni: Formal Modeling and Analysis of Business Process Timed Constraints. Formalisms for Reuse and Systems Integration 2015: 149-172, 2014 

[2] Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni: Formalizing Timed BPEL by D-LOTOS. IJERTCS 5(2): 1-21 (2014) 

[3] Khalil Mecheraoui, « Spécification formelle des processus métiers par l’utilisation des réseaux de Petri temporellement temporisés », Mémoire de Magistère, Ecole Normale Supérieure en Informatique, Alger, Novembre 2015. 

[4] Nabil Belala, Djamel Eddine Saïdouni, Radja Boukharrou, Ahmed Chaouki Chaouche, Adel Seraoui, Asma Chachoua, “Time Petri Nets with Action Duration: A True Concurrency Real-Time Model”. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 4(2):62-83, April-June 2013. IGI Publishing. 


Mots clés :
Processus métiers Analyse Vérification Réseaux de Petri