運用一正規化模式來偵測商業流程規格中異常的Artifact 使用

Abstract

儘管已有許多商業流程模型被提出，卻鮮少針對artifact 的使用進行分析。由於不適當的artifact 操作，譬如說artifact 流程與控制流程不一致或是相衝突的artifact 運算，一個結構良好且擁有足夠資源的商業流程在執行時依然可能產生非預期的結果。因此，分析 artifact的使用是很重要的畢竟活動無法在沒有精確的資訊的情況下執行正確。本論文提出一個流程模型來描述商業流程並且在此模型上分析 artifact 的使用。總共有三類(十三種狀況)會影響流程執行的異常artifact 使用被確認出來並且使用系統化的方式來表達。除此之外，本論文提出偵測這些異常的演算法並以一個實際的例子作示範說明。

Although many business process models have been proposed, analyses on artifact usages are seldom discussed. A well-structured business process with sufficient resources may still fail or yield unexpected results during process execution due to inaccurate artifact specification e.g. inconsistency between artifact flow and control flow, or contradictions between artifact operations. Thus, the analyses on artifact usages are very important since activities cannot be executed properly without accurate information. This dissertation presents a process model for describing a business process and analyzes the artifact usages on this model. Three types with thirteen cases of artifact usage anomalies affecting process execution are identified and formulates and a set of algorithms to detect these anomalies in business process specifications is presented. Furthermore, an example is demonstrated to validate the usability of the proposed algorithms.