A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
-
Published:2020-12-09
Issue:2
Volume:44
Page:257-273
-
ISSN:1846-9418
-
Container-title:Journal of information and organizational sciences
-
language:
-
Short-container-title:J. inf. organ. sci. (Online)
Author:
Boukelkoul Sofiane1,
Maamri Ramdane1ORCID
Affiliation:
1. University of Abdelhamid Mehri – Constantine 2, LIRE Laboratory, 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.
Publisher
Faculty of Organisation and Informatics
Subject
Library and Information Sciences,Computer Science Applications,Information Systems