Soundness analytics of composed logical workflow nets
Journal article
Liu, W., Wang, L., Feng, X., Qi, M., Yan, C. and Li, M. 2017. Soundness analytics of composed logical workflow nets. International Journal of Parallel Programming. https://doi.org/10.1007/s10766-017-0536-8
Authors | Liu, W., Wang, L., Feng, X., Qi, M., Yan, C. and Li, M. |
---|---|
Abstract | Cooperative systems with passing value indeterminacy and batch processing can be well modeled by composed logical workflow nets. Soundness guarantees no deadlock and livelock and each activity has potential to be executed. The soundness of composed logical workflow nets can be judged by reachability graphs. But reachability graphs can cause state space explosion. Path nets, single line nets, composed path nets and composed single line nets are proposed in the paper. They are used to determine soundness of logical workflow nets and composed logical workflow nets based on net structures and logical expressions avoiding reachability graphs. The presented concepts and techniques are applied to judge soundness of e-commerce transaction processes modeled by composed logical workflow nets, and they are illustrated by an example. |
Keywords | Net structure; soundness; composed logical workflow nets; logical expression |
Year | 2017 |
Journal | International Journal of Parallel Programming |
Publisher | Springer |
ISSN | 0885-7458 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/s10766-017-0536-8 |
Publication dates | |
Online | 20 Oct 2017 |
Publication process dates | |
Deposited | 03 Apr 2018 |
Accepted | 13 Oct 2017 |
Accepted author manuscript | |
Output status | Published |
https://repository.canterbury.ac.uk/item/88q1q/soundness-analytics-of-composed-logical-workflow-nets
Download files
162
total views156
total downloads2
views this month1
downloads this month