統一塑模語言模型之輔助分析工具：活動圖之派翠網路自動轉換系統

UML modeling analysis tool : an automated activity-diagram to Petri-Net conversion system

陳雅玲(Ya-Ling Chen)

指導教授 ： 鄭啟斌

淡江大學/商管學院/資訊管理學系碩士在職專班/碩士(2013年)

https://doi.org/10.6846/TKU.2013.00793

摘要

企業營運良窳與其流程的正確性息息相關；然而流程在設計階段不易被驗證，錯誤經常在實際運作時才發現，企業卻已蒙受損失。因使，一個可以在流程設計階段便提供錯誤檢驗的塑模工具可大幅提升流程設計的應用。統一塑模語言(Unified Modeling Language)由於其結構完整且圖形明瞭易懂，普遍使用於企業流程塑模或軟體工程設計，可惜其本身並無錯誤驗證機制。本研究開發一個統一塑模語言與派翠網路(Petri Net)的自動轉換系統，透過可延伸標記語言標準將統一塑模語言之活動圖轉換為派翠網路圖。藉由派翠網路之流程屬性驗證工具，可在流程塑模階段立即發覺潛在錯誤，以提升流程設計之效率與正確性。本研究以數個流程設計實例說明所開發之自動轉換系統的可行性。

關鍵字

統一塑模語言 ； 派翠網路 ； 流程設計 ； 自動轉換系統 ； 可延伸標記語言

並列摘要

The performance of a company relies on the correctness of its business process. However, errors are difficult to be detected in the process design stage, until the process is implemented at which loss of the company has occurred. Thus, process modeling tools that can detect errors at the design stage are desirable. Unified Modeling Language(UML) is commonly used in industries for business process modeling and software engineering owing to the simple, clear, and fully structuralized diagrams it provides. This study develops an automated conversion system that can convert the activity diagrams formulated by Unified Modeling Language to their corresponding Ptri-net presentations, via the standard of Extensible Markup Language. Users can employ the analytic tools of Petri-net to identify protential errors of the process under design, and hence improve the efficiency and effectiveness of the design process. This study presents many practical cases of process design to demonstrate the feasibility of the proposed automated conversion system.

並列關鍵字

Unified Modeling Language(UML) ； Petri Net ； Workflow design ； automated conversion system ； Extensible Markup Language(XML)

參考文獻

[32]　 William H. Ford, William R. Topp, “Data Structures with Java”, Pearson, 2004

[11]　 Kwan Hee Han, Seock Kyu Yoo, Bohyun Kim, "Qualitative and Quantitative Analysis of Workflows Based on the UML Activity Diagram and Petri Net", WSEAS Transactions on Information Science and Applications, Issue 7, Vol. 6, 2009.

[4]　 Nabil R. Adam, Vijayalakshmi Atluri, Wei-Kuang Huang, "Modeling and Analysis of Workflows Using Petri Nets", Journal of Intelligent Information Systems, Vol. 10, pp.131–158, 1998.

[5]　 Wil M.P. van der Aalst, Arthur H.M. ter Hofstede, “Verification Of Workflow Task Structures : A Petri-Net-based Approach”, Information Systems Vol. 25, No. 1, pp. 43-69, 2000.

[7]　 JianQiang Li, YuShun Fan, and MengChu Zhou, "Performance Modeling and Analysis of Workflow", IEEE Transactions On Systems, Man, And Cybernetics - Part A: Systems And Humans, Vol. 34, No. 2, 2004.