Qualitative and Quantitative Analysis of （定性和定量的分析）.pdfVIP

WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS Kwan Hee Han, Seock Kyu Yoo, Bohyun Kim Qualitative and Quantitative Analysis of Workflows Based on the UML Activity Diagram and Petri Net * ** *** KWAN HEE HAN , SEOCK KYU YOO , BOHYUN KIM Department of Industrial Systems Engineering, Engineering Research Institute, Gyeongsang National * ** University, KOREA , VMS Soutions Co., Ltd., Deajeon, KOREA , Korea Institute of Industrial *** Technology, Ansan, KOREA * ** *** hankh@gsnu.ac.kr , skyoo@ , bhkim@kitech.re.kr Abstract: Since business workflows are closely related to enterprise performance, successfule execution of workflow is a critical driving force for strategic advantages of enterprise. Therefore, it is quite essential to customer satisfaction and productivity enhancement that structural errors in workflow instances must be detected and their performance must be evaluated before their enactments. For a structural verification and performance evaluation of workflows, this paper integrates the strengths of UML activity diagram and Petri net, proposes the mapping scheme from UML activity diagram to Petri net, verify the structural errors of workflow using the reachability tree analysis, and finally predict the workflow performance before