A Novel Petri Nets-Based Modeling for the Correctness of Interactive Business Process Models

Abstract:

Business Process Management (BPM) is the discipline that combines knowledge from Information Technology and knowledge from management sciences and applied them on operational business processes. By identifying, modeling, managing, verifying and optimizing the internal business process, the company gets a robust system. The multi communication between the several companies having the same or different mark name is one of the challenges things. The global business process is the general view of business process in interaction including the multiple process instances involved in the multi-communication. In order to check the correctness of the global system we provide a new design model of the system and we model it in a modular way. We introduce also a novelPetri Nets-based model called Composite Colored Business Process Communication Net (CCBPN), which aims to compose atomic business process models with rich communication’s operators. Our objective is to ensure the correctness and consistency of the global business process.

nsdlogo2016