EDOC - Rule-Based Modeling and Verification of Business Processes Using ECAPE Net.
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.
Business | Computer Sciences | Electrical and Computer Engineering
Boukhebouze, Mohamed; Amghar, Youssef; Benharkat, Aïcha-Nabila; and Maamar, Zakaria, "EDOC - Rule-Based Modeling and Verification of Business Processes Using ECAPE Net." (2009). All Works. 1387.
Indexed in Scopus