Rule-based modeling and verification of business processes using ECAPE net - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Rule-based modeling and verification of business processes using ECAPE net

Amghar Youssef
Benharkat Aïcha-Nabila
Zakaria Maamar

Résumé

In this paper we discuss the need to ensure that the business processes are at the same time robust and agile. The aim of our work is to improve the business process management by offering a flexible modeling to implement changes quickly and verification of a business process by identifying errors in the process specification. To achieve these objectives, we propose a new model grounded on a new formalism issued from ECA model. In this model, a business rule has an Event/Condition/Action/Post condition/Event triggered (ECAPE) formalism. To represent this formalism as well as the functioning in a business process, a new colored Petri net, called ECAPE net, is used in order to define formally a business process and to detect errors by taking account of the identified properties of this ECAPE net.
Fichier non déposé

Dates et versions

hal-01437707 , version 1 (17-01-2017)

Identifiants

  • HAL Id : hal-01437707 , version 1

Citer

Mohamed Boukhebouze, Amghar Youssef, Benharkat Aïcha-Nabila, Zakaria Maamar. Rule-based modeling and verification of business processes using ECAPE net. 13th IEEE International Enterprise Distributed Object Computing Conference (EDOC), Sep 2009, Auckland, New Zealand. pp.74-86. ⟨hal-01437707⟩
82 Consultations
0 Téléchargements

Partager

More