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...
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01001088893/Details |
|---|---|
| Matična publikacija: |
Journal of information and organizational sciences (Online) 44 (2020), 2 ; str. 257-273 |
| Glavni autori: | Boukelkoul, Sofiane (Author), Maamri, Ramdane |
| Vrsta građe: | e-članak |
| Jezik: | eng |
| Predmet: | |
| Online pristup: |
https://doi.org/10.31341/jios.44.2.4 Journal of information and organizational sciences (Online) Hrčak |
| LEADER | 02090naa a22003854i 4500 | ||
|---|---|---|---|
| 001 | NSK01001088893 | ||
| 003 | HR-ZaNSK | ||
| 005 | 20210219121712.0 | ||
| 006 | m d | ||
| 007 | cr|||||||||||| | ||
| 008 | 210201s2020 ci a |o |0|| ||eng | ||
| 024 | 7 | |2 doi |a 10.31341/jios.44.2.4 | |
| 035 | |a (HR-ZaNSK)001088893 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 041 | 0 | |a eng |b eng | |
| 042 | |a croatica | ||
| 044 | |a ci |c hr | ||
| 080 | 1 | |a 004 |2 2011 | |
| 080 | 1 | |a 005 |2 2011 | |
| 100 | 1 | |a Boukelkoul, Sofiane |4 aut | |
| 245 | 1 | 2 | |a A DSDEVS-based model for verifying structural constraints in dynamic business processes |h [Elektronička građa] / |c Sofiane Boukelkoul, Ramdane Maamri. |
| 246 | 3 | |a Dynamic structure discrete event system specification-based model for verifying | |
| 300 | |b Ilustr. | ||
| 504 | |a Bibliografija: 29 jed. | ||
| 504 | |a Abstract. | ||
| 520 | |a 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. | ||
| 653 | 0 | |a Poslovni procesi |a Dinamičke strukture |a Personalizacija |a Diskretni sustavi | |
| 700 | 1 | |a Maamri, Ramdane |4 aut |9 HR-ZaNSK | |
| 773 | 0 | |t Journal of information and organizational sciences (Online) |x 1846-9418 |g 44 (2020), 2 ; str. 257-273 |w nsk.(HR-ZaNSK)000672813 | |
| 981 | |b Be2020 |b B02/20 | ||
| 998 | |b tino2102 | ||
| 856 | 4 | 0 | |u https://doi.org/10.31341/jios.44.2.4 |
| 856 | 4 | 0 | |u https://jios.foi.hr/index.php/jios/article/view/1320 |y Journal of information and organizational sciences (Online) |
| 856 | 4 | 0 | |u https://hrcak.srce.hr/247531 |y Hrčak |
| 856 | 4 | 1 | |y Digitalna.nsk.hr |