Premium
A discrete event model for analysis and verification of time‐constrained business processes
Author(s) -
Boukelkoul Sofiane,
Maamri Ramdane,
Chihoub Mohamed
Publication year - 2020
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.5753
Subject(s) - devs , computer science , soundness , business process , business process modeling , business process model and notation , formalism (music) , notation , discrete event simulation , suite , process modeling , model checking , software engineering , programming language , modeling and simulation , work in process , simulation , engineering , mathematics , art , musical , operations management , arithmetic , archaeology , visual arts , history
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.