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

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

1 SOC - Service Oriented Computing
2 CITZU - CIT, Zayed University, Dubai

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.

Domaines: Informatique [cs]

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⟩