A Rule-based Approach to Model and Verify Flexible Business Processes

Mohamed Boukhebouze (1) , Amghar Youssef (1) , Benharkat Aïcha-Nabila (1) , Zakaria Maamar

1 SOC - Service Oriented Computing

Ce papier présente un modèle basé sur des règles actives pour améliorer la gestion des processus métiers ou processus d’affaire sur le plan de la flexibilité et de la vérification. Dans ce modèle, les règles ECA décrivent les règles métiers d’une organisation et sont étendues de sorte à prendre en compte les conditions de terminaison de l’exécution d’une activité à travers notamment des post-conditions et des post-évènements). Cela conduit au formalisme ECAPE qui a l’avantage de permettre de construire : le modèle de processus métier, un réseau de Petri pour vérifier le bon fonctionnement du modèle et un graphe permettant le calcul du coût des changements suite à une modification d’une règle de gestion.

Domaines: Informatique [cs]

Mohamed Boukhebouze, Amghar Youssef, Benharkat Aïcha-Nabila, Zakaria Maamar. A Rule-based Approach to Model and Verify Flexible Business Processes. International Journal of Business Process Integration and Management, 2011, 4, 5, pp.287-307. ⟨10.1504/IJBPIM.2011.043389⟩. ⟨hal-01354370⟩