A discrete event model for analysis and verification of time‐constrained business processes

Abstract

Summary In the purpose of analyzing and checking time constraints in business processes, we propose to model and simulate them in the “discrete event system specification” (DEVS) formalism. The proposed model will contain atomic DEVS models representing the activities, supervised by, other DEVS control models, and based on one to one mapping. Hence, guaranteeing a close concordance with the temporal requirements. Thus, the simulation of the model results in outputs about the successful execution regarding to the temporal constraints soundness. Therefore, the modeler will be able to predict unsuitable temporal behavior. Thus, the model responds to the lack of modeling tools that do not offer enough formal specification of time constraints at the earlier phases of design as in, the standard “business process management notation.” The proposed model handles different type of time constraints in business process such as intra‐activities, inter‐activities, and inter‐process time constraints. The proposed model is implemented into JAVADEVS using DEVS‐Suite platform.

Towards understanding and harnessing the potential of Africa in digitalization

“…The performances of this system are evaluated under realistic indoor PLC channel transfer function, noise conditions, and complexity analysis in terms of calculation time. The authors achieve the objectives and proof the effectiveness of the proposed scheme The ninth paper, entitled "A Discrete-Event Model for Analysis and Verification of Time-Constrained Business Processes" by Boukelkoul et al 9 presents an approach to handle temporal constraints' verification by using a simulation-based approach in the context of a business process. It presents an interesting formal approach enabling to transform BPMN models to a discrete event system specification formalism to check temporal constraints in the business process.…”

“…The ninth paper, entitled “A Discrete‐Event Model for Analysis and Verification of Time‐Constrained Business Processes” by Boukelkoul et al 9 . presents an approach to handle temporal constraints' verification by using a simulation‐based approach in the context of a business process.…”