Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
Hi-index | 0.00 |
There are many works done and successful results for workflow, but few researchers work in artifact analysis. A workflow execution may fail because of incorrect structures, or resource conflict. It might also fail due to inaccurate artifact manipulation e.g., inconsistency between data flow and control flow, contradictions between artifact operations..., etc. This paper identifies six types of artifact inaccuracy impacting on workflow execution. Moreover, algorithms to detecting artifact inaccuracies in workflow specifications are demonstrated.