A discrete event model for analysis and verification of time‐constrained business processes. (6th May 2020)

• Record Type: Journal Article
• Authors: Boukelkoul, Sofiane; Maamri, Ramdane; Chihoub, Mohamed
• Other Names: Schifanella Claudio guestEditor.; Bracciali Andrea guestEditor.; Benkrid Soumia guestEditor.; Moussa Rim guestEditor.; Badir Hassan guestEditor.; Lo Moussa guestEditor.; Bellatreche Ladjel guestEditor.
• Is Part Of: Concurrency and computation. Volume 33:Number 1(2021)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2020-05-06
• Subjects: Business process -- DEVS -- model checking -- modeling and simulation -- time constraints; Parallel processing (Electronic computers) -- Periodicals; Parallel computers -- Periodicals; 004.35
• DOI: 10.1002/cpe.5753
• Languages: English
• ISSNs: 1532-0626

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.