一個工作流程圖的遞增分析方法

Abstract

工作流程能按照排定的商業程序順序自動化達成商業目的。為了保證工作流程的正確性，分析其結構的完整性非常重要。然而，相對於順序性的程序，平行性的程序異常更加難以分析。因此，在偵測異常行為時，分開考量順序性與平行性的問題能減少其複雜度，並且讓人類更易理解。在此篇論文中，我們引進了一個創新的方法，根據給定的工作流程，分開順序性與平行性的工作流程異常偵測。我們證明了順序性、與平行性的分析方法的正確性。我們也提出一個遞增性的方法，在每次修改工作流程之後做出分析，以避免處理整個工作流程內的資料。因此，能這個方法能降低異常分析的花費，並且讓人類更容易理解問題。

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. We also propose an incremental method which analyze the workflow after each modification, without concerning of the whole workflow. As a result, the cost for anomaly detection is lowered and the complexity for human recognition of the anomaly issues is reduced.