Rule-based modeling and verification of business processes using ECAPE net
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.