La modélisation des processus métier constitue une étape importante dans
le cycle de vie d’un processus car elle permet la spécification des
connaissances métier. Dans ce contexte, notre problématique se situe à
deux niveaux : (1) au niveau abstraction où les préoccupations
algorithmiques d’un coté et les règles de gestion de l’autre, sont
souvent mélangées ce qui rend difficile l’évolution de la modélisation
des processus. (2) Le niveau Analyse : en dépit des outils permettant
le passage d’une spécification de processus de haut niveau (BPMN, UML
AD) à un processus exécutable (BPEL, XPDL), rien ne garantit la qualité
du processus généré. Les deux problèmes que nous cherchons à résoudre
sont donc la *flexibilité* et la *vérification *des processus. En
particulier, sur le plan théorique, nous visons à proposer : (1) un
nouveau langage déclaratif basé sur les règles métier qui hérite de la
syntaxe des langages impératif les plus utilisés dans l’industrie (BPEL,
XPDL) et qui permet une construction automatique des scénarios
d’exécution à partir de la définition de l’ensemble de règles. (2) Un
algorithme de traduction de ce nouveau langage déclaratif vers d’autre
langages d’exécution impératifs des processus et cela dans le but
d’offrir un pont entre les BPMS et BRMS. (3) Des méthodes de
vérification formelle pour chaque phase de cycle de vie d’un processus
métier.