Title

EDOC - Rule-Based Modeling and Verification of Business Processes Using ECAPE Net.

Author First name, Last name, Institution

Mohamed Boukhebouze
Youssef Amghar
Aïcha-Nabila Benharkat
Zakaria Maamar

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

Indexed in Scopus

no

Open Access

no

Share

COinS