scholarly journals Hierarchical Activity-Based Models for Control Flows in Parallel Discrete Event System Specification Simulation Models

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Abdurrahman Alshareef ◽  
Hessam S. Sarjoughian
Keyword(s):  
Discrete Event ◽  
Simulation Models ◽  
Discrete Event System ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Parallel Discrete Event

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

2020 ◽  
Vol 44 (2) ◽  
pp. 257-273
Author(s):  
Sofiane Boukelkoul ◽  
Ramdane Maamri
Keyword(s):  
Business Processes ◽  
Discrete Event ◽  
Dynamic Structure ◽  
Discrete Event System ◽  
Structural Constraints ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Proposed Model ◽  
Structure Properties

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.

Sign in / Sign up

Export Citation Format

Share Document