Preliminary communication

https://doi.org/10.31341/jios.44.2.4

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

Sofiane Boukelkoul orcid.org/0000-0003-4019-0446 ; LIRE Laboratory, University of Abdelhamid Mehri – Constantine 2, Algeria
Ramdane Maamri orcid.org/0000-0001-7962-6775 ; LIRE Laboratory, University of Abdelhamid Mehri – Constantine 2, Algeria

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.

Keywords

Business Process; DEVS; DSDEVS; Dynamic structure; Configurable Business Processes

Hrčak ID:

247531

URI

https://hrcak.srce.hr/247531

Publication date:

9.12.2020.

Visits: 888 *