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

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

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...

Full description

Bibliographic Details
Main Authors: Sofiane Boukelkoul, Ramdane Maamri
Format: Article
Language:English
Published: University of Zagreb, Faculty of organization and informatics 2020-01-01
Series:Journal of Information and Organizational Sciences
Subjects:
Business Process
DEVS
DSDEVS
Dynamic structure
Configurable Business Processes
Online Access:https://hrcak.srce.hr/file/360294
id doaj-e0a7510ea0f04c5d8d5c4b162fd53da1
record_format Article
spelling doaj-e0a7510ea0f04c5d8d5c4b162fd53da12021-09-02T15:26:55ZengUniversity of Zagreb, Faculty of organization and informaticsJournal of Information and Organizational Sciences1846-33121846-94182020-01-01442257273A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business ProcessesSofiane Boukelkoul0Ramdane Maamri1LIRE Laboratory, University of Abdelhamid Mehri – Constantine 2, AlgeriaLIRE Laboratory, University of Abdelhamid Mehri – Constantine 2, AlgeriaThis 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.https://hrcak.srce.hr/file/360294Business ProcessDEVSDSDEVSDynamic structureConfigurable Business Processes
collection DOAJ
language English
format Article
sources DOAJ
author Sofiane Boukelkoul
Ramdane Maamri
spellingShingle Sofiane Boukelkoul
Ramdane Maamri
A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
Journal of Information and Organizational Sciences
Business Process
DEVS
DSDEVS
Dynamic structure
Configurable Business Processes
author_facet Sofiane Boukelkoul
Ramdane Maamri
author_sort Sofiane Boukelkoul
title A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
title_short A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
title_full A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
title_fullStr A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
title_full_unstemmed A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
title_sort dsdevs-based model for verifying structural constraints in dynamic business processes
publisher University of Zagreb, Faculty of organization and informatics
series Journal of Information and Organizational Sciences
issn 1846-3312
1846-9418
publishDate 2020-01-01
description 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.
topic Business Process
DEVS
DSDEVS
Dynamic structure
Configurable Business Processes
url https://hrcak.srce.hr/file/360294
work_keys_str_mv AT sofianeboukelkoul adsdevsbasedmodelforverifyingstructuralconstraintsindynamicbusinessprocesses
AT ramdanemaamri adsdevsbasedmodelforverifyingstructuralconstraintsindynamicbusinessprocesses
AT sofianeboukelkoul dsdevsbasedmodelforverifyingstructuralconstraintsindynamicbusinessprocesses
AT ramdanemaamri dsdevsbasedmodelforverifyingstructuralconstraintsindynamicbusinessprocesses
_version_ 1721173626513784832

Similar Items