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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb, Faculty of organization and informatics
2020-01-01
|
| Series: | Journal of Information and Organizational Sciences |
| Subjects: | |
| Online Access: | https://hrcak.srce.hr/file/360294 |
| Summary: | 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. |
|---|---|
| ISSN: | 1846-3312 1846-9418 |