A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

  • Sofiane Boukelkoul LIRE Laboratory, Software Technologies and Information Systems Department, University of Abdelhamid Mehri Constantine-2
  • Ramdane Maamri LIRE Laboratory, Software Technologies and Information Systems Department, University of Constantine 2 – Abdelhamid Mehri
Keywords: Business Process, DEVS, DSDEVS, Dynamic structure, Configurable Business Processes

Abstract

This paper presents a DSDEVS-based model “Dynamic Structure Discrete Event System specification” for modeling and simulating business processes with dynamic structure regarding to different contexts. Consequently, this model, formally, improves the reuse of configurable business processes. Thus, the proposed model allows the analysts to personalize their configurable business processes in a sound manner by verifying a set of structure properties, such as, the lack of synchronization and the deadlock by means of simulation. The implementation was done in DEVS-Suite simulator, which is based on DEVSJAVA models.

Author Biography

Ramdane Maamri, LIRE Laboratory, Software Technologies and Information Systems Department, University of Constantine 2 – Abdelhamid Mehri

Ramdane Maamri is a Professor at the Constantine 2 University – Abdelhamid Mehri, Algeria. He is the head of the TLSI department and the LIRE laboratory. His research focuses on ambient intelligence, distributed systems, business processes and multi-agent systems

Published
2020-12-08
How to Cite
[1]
S. Boukelkoul and R. Maamri, “A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes”, JIOS, vol. 44, no. 2, Dec. 2020.
Section
Articles