A Rule-based Approach to Model and Verify Flexible Business Processes
Résumé
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.