EDOC - Rule-Based Modeling and Verification of Business Processes Using ECAPE Net.
Document Type
Conference Proceeding
Publication Date
9-1-2009
Abstract
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.
First Page
74
Last Page
86
Disciplines
Business | Computer Sciences | Electrical and Computer Engineering
Recommended Citation
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.
https://zuscholars.zu.ac.ae/works/1387
Indexed in Scopus
no
Open Access
no