Separation of Concerns in Analysis of Artifact Anomalies within Workflow Models

Workflows which realize parts of business goals in a particular order automate the business processes within enterprises. To guarantee the correctness of workflow execution, analyses on structural integrity of workflows are essential. However, comparing to the sequential activities, the activities executed in orders, the anomalies caused by parallel activities are far more complicated for analysis. Therefore, separation of concerns among sequential and parallel issues while doing analysis can reduce the complexity among analysis time and human recognition. In this paper, we propose an innovative methodology considering sequential and parallel issues separately within workflow models to detect anomalies in a given workflow. As a result, the cost for anomaly detection is lowered and the complexity for human recognition of the anomaly issues is reduced.