企業營運良窳與其流程的正確性息息相關；然而流程在設計階段不易被驗證，錯誤經常在實際運作時才發現，企業卻已蒙受損失。因使，一個可以在流程設計階段便提供錯誤檢驗的塑模工具可大幅提升流程設計的應用。統一塑模語言(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.

致謝	II
主目錄	VII
圖目錄	IX
表目錄	XVI
第一章	緒論	1
第二章	文獻探討	10
　第一節	統一塑模語言	10
　第二節	派翠網路	14
　第三節	統一塑模語言驗證方式探討	16
　第四節	圖形轉換探討	18
　　一、活動圖圖形與派翠網路圖形	18
　　二、派翠網路於UCLA圖形之應用	25
第三章	研究方法	28
　第一節	研究架構	28
　第二節	圖形轉換原則	32
　第三節	系統架構分析	44
　第四節	系統實作	54
第四章 實例驗證	68
　第一節	系統操作	68
　第二節	錯誤檢核	73
　第三節	案例實證	77
第五章	結論與未來展望	118
參考文獻	120

圖目錄
圖 1　企業流程管理生命週期	3
圖 2　企業流程塑模之過程	5
圖 3　塑模語言分類圖	7
圖 4　A2P砌塊結構	19
圖 5　動作、寄送訊息動作、接收事件動作之A2P砌塊結構	20
圖 6　開始之A2P砌塊結構	20
圖 7　結束之A2P砌塊結構	20
圖 8　控制/物件流之A2P砌塊結構	21
圖 9　分支節點之A2P砌塊結構	22
圖 10　合併節點之A2P砌塊結構	22
圖 11　分叉節點之A2P砌塊結構	23
圖 12　會合節點之A2P砌塊結構	23
圖 13　分隔之A2P砌塊結構	24
圖 14　物件節點之A2P砌塊結構	24
圖 15　OR邏輯輸出之派翠網路於UCLA圖形應用	25
圖 16　OR邏輯輸入之派翠網路於UCLA圖形應用	26
圖 17　AND邏輯輸出之派翠網路於UCLA圖形應用	26
圖 18　AND邏輯輸入之派翠網路於UCLA圖形應用	27
圖 19　系統架構示意圖	29
圖 20　流程設計人員使用案例分析圖	30
圖 21　自動轉換系統使用案例分析圖	32
圖 22　「開始」轉換示意圖	34
圖 23　「結束」轉換示意圖	35
圖 24　「動作」轉換示意圖	36
圖 25　「分支」轉換示意圖	38
圖 26　「合併」轉換示意圖	38
圖 27　「分叉」轉換示意圖	39
圖 28　「會合」轉換示意圖	40
圖 29　「控制/物件流」轉換示意圖	41
圖 30　「分隔」轉換示意圖 使用案例分析	41
圖 31　 活動圖元件與派翠網路轉換對照表	43
圖 32　系統主幹簡要類別圖	45
圖 33　系統資料簡要類別圖	47
圖 34　系統整體簡要類別圖	48
圖 35　使用者介面行為循序圖	50
圖 36　核心主控行為循序圖	51
圖 37　讀取分析行為循序圖	52
圖 38　轉換產生行為循序圖	53
圖 39　使用者介面之程式片段	54
圖 40　轉換按鈕觸發之程式片段	55
圖 41　轉換主程式之程式片段	56
圖 42　讀取XMI資料及產生對應XMINode資訊之程式片段	56
圖 43　產生有向圖形之程式片段	57
圖 44　走訪有向圖形之程式片段	58
圖 45　將XMINode節點資料轉換為PNML結構之程式片段	58
圖 46　連接PNML圖形之程式片段	59
圖 47　開始、動作與結束之派翠網路轉換結果	60
圖 48　開始、動作與結束轉換後之PNML檔案語意檢查結果	60
圖 49　開始、動作與結束轉換後之PNML檔案內容	61
圖 50　分支與合併之派翠網路轉換結果	62
圖 51　分支與合併轉換後之PNML檔案語意檢查結果	62
圖 52　分支與合併轉換後之PNML檔案內容	64
圖 53　分叉與會合之派翠網路轉換結果	65
圖 54　分叉與會合轉換後之PNML檔案語意檢查結果	65
圖 55　分叉與會合轉換後之PNML檔案內容	67
圖 56　astah工具描繪活動圖	69
圖 57　astah工具輸出流程活動圖	69
圖 58　儲存可擴展性中介交換標記語言(XMI)檔案	70
圖 59　儲存可擴展性中介交換標記語言(XMI)檔案	70
圖 60　選擇、設定及執行轉換程式	71
圖 61　轉換程式執行成功及其顯示訊息	71
圖 62　查看已轉換成功之派翠網路標記語言檔案	72
圖 63　WoPeD工具開啟派翠網路標記語言之檔案	72
圖 64　WoPeD工具呈現已轉換成功之派翠網路	73
圖 65　活動圖缺少開始節點	74
圖 66　活動圖缺少開始節點檢核並顯示錯誤訊息	74
圖 67　活動圖缺少結束節點	74
圖 68　活動圖缺少結束節點檢核並顯示錯誤訊息	74
圖 69　活動圖之動作節點缺少輸入流	75
圖 70　活動圖之動作節點缺少輸入流檢核並顯示錯誤訊息	75
圖 71　活動圖之動作節點缺少輸出流	76
圖 72　活動圖之動作節點缺少輸出流檢核並顯示錯誤訊息	76
圖 73　活動圖含有動作節點指回前動作節點之情況	77
圖 74　含有無窮迴圈情況之活動圖轉換後之派翠網路圖	77
圖 75　有無窮迴圈情況之可到達樹圖檢閱	77
圖 76　「請購與採購」活動圖與派翠網路圖	81
圖 77　「請購與採購」可到達樹	82
圖 78　「請購與採購」設定轉換屬性XOR- split	83
圖 79　「請購與採購」設定轉換屬性XOR- join	83
圖 80　「請購與採購」可到達樹屬性檢閱(1)	84
圖 81　「請購與採購」可到達樹屬性檢閱(2) -1	84
圖 82　「請購與採購」可到達樹屬性檢閱(2) -2	85
圖 83　「請購與採購」可到達樹屬性檢閱(3) -1	85
圖 84　「請購與採購」可到達樹屬性檢閱(3) -2	86
圖 85　「請購與採購」可到達樹屬性檢閱(4) -1	86
圖 86　「請購與採購」可到達樹屬性檢閱(4) -2	87
圖 87　「請購與採購」可到達樹屬性檢閱(5) -1	87
圖 88　「請購與採購」可到達樹屬性檢閱(5) -2	88
圖 89　「請購與採購」可到達樹屬性檢閱(5) -3	88
圖 90　「行事曆設定」設定轉換屬性 AND- split	91
圖 91　「行事曆設定」設定轉換屬性 AND- join	91
圖 92　「行事曆設定」活動圖與派翠網路圖	92
圖 93　「行事曆設定」可到達樹圖	93
圖 94　「行事曆設定」可到達樹屬性檢閱(1)	94
圖 95　「行事曆設定」可到達樹屬性檢閱(2)	94
圖 96　「行事曆設定」可到達樹屬性檢閱(3)	95
圖 97　「行事曆設定」可到達樹屬性檢閱(4)	95
圖 98　「員工請假」活動圖與派翠網路圖	99
圖 99　「員工請假」可到達樹圖	100
圖 100　「員工請假」設定轉換屬性 AND-split-join	101
圖 101　「員工請假」設定轉換屬性 XOR-split	101
圖 102　「員工請假」設定轉換屬性 XOR-join	101
圖 103　「員工請假」可到達樹屬性檢閱(1)	102
圖 104　「員工請假」可到達樹屬性檢閱(3) -1	103
圖 105　「員工請假」可到達樹屬性檢閱(3) -2	103
圖 106　「員工請假」可到達樹屬性檢閱(4) -1	104
圖 107　「員工請假」可到達樹屬性檢閱(4) -2	104
圖 108　「員工請假」可到達樹屬性檢閱(5)	105
圖 109　大型活動圖A	108
圖 110　大型活動圖B	109
圖 111　大型活動圖C	110
圖 112　大型活動圖D	111
圖 113　大型活動圖A之派翠網路圖	112
圖 114　大型活動圖B之派翠網路圖	112
圖 115　大型活動圖C之派翠網路圖	113
圖 116　大型活動圖D之派翠網路圖	113
圖 117　大型活動圖A之可到達樹圖	114
圖 118　大型活動圖B之可到達樹圖	115
圖 119　大型活動圖C之可到達樹圖	116
圖 120　大型活動圖D之可到達樹圖	117

表目錄
表 1　民國95年後經濟成長率整理表	1
表 2　大型活動圖執行轉換時間表	107

[1]　	經濟部統計處，表B-2經濟成長率及貢獻度，2012, http://www.moea.gov.tw/Mns/dos/content/ContentLink.aspx?menu_id=6711。
[2]　	管郁君&林芸慧&林碩俊，企業營運模式的新思維，ERP學術與實務研討會，2005。
[3]　	游佳萍，企業流程分析模式之設計與實作，國立中山大學資訊管理學系研究所碩士論文，1997。
[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.
[6]　	Hao Jiang, Yisheng Dong, Junzhou Luo, "An Effective Approach to Verify the Correctness of Workflow Process Models Based on Petri Net", Journal of Southeast University (English Edition), Vol. 18 No.4, 2002.
[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.
[8]　	Huaiqing Wang, Qingtian Zeng, "Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets", IEEE Transactions On Systems, Man, And Cybernetics - Part A: Systems And Humans, Vol. 38, No. 4, 2008.
[9]　	Sinan Si Albir原著，陳志昌編譯，UML技術手冊，O'REILLY，1999。
[10]　	Luciano Baresi, "Some Preliminary Hints on Formalizing UML with Object Petri Nets", Integrated Design and Process Technology, 2002.
[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.
[12]　	Simona Bernardi, Susanna Donatelli, Jos’e Merseguer, "From UML Sequence Diagrams and Statecharts to analysable Petri Net models", WOSP Proceedings of the 3rd international workshop on Software and performance, pp. 35-45, 2002.
[13]　	Rik Eshuis, Roel Wieringa, "Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets", H. Ehrig et al. (Eds.): Petri Net Technology , LNCS 2472, pp. 321–351, 2003.
[14]　	James L. Peterson, "Petri Net Theory and the Modeling of Systems", Englewood Cliffs, N.J. : Prentice-Hall, 1981.
[15]　	Tim Weilkiens, Bernd Oestereich, “UML 2 Certification Guide”, Elsevier Inc. 2007.
[16]　	WfMC (2002),  “Workflow process definition interface - XML process definition language: document number WfMC-TC-1025”, Workflow Management Coalition, Lighthouse Point, FL, USA
[17]　	World Wide Web Consortium  (http://www.w3.org/Consortium/)
[18]　	XML Validator  (http://www.w3schools.com/xml/xml_validator.asp)
[19]　	Andreas Eckleder, Thomas Freytag, “WoPeD – A tool for teaching, analyzing and visualizing workflow nets”, Petri Net Newsletter 75, 2008
[20]　	H.E. Eriksson, M. Penker, “Business Modeling with UML : Business patterns at work”, Magnus Penker, 1999
[21]　	Jim Heumann, “Introduction to Business Modeling Using the Unified Modeling Language (UML)”, Requirements Management Evangelist, Rational Software, 2001
[22]　	T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol. 77, No 4, pp. 541-580, 1989
[23]　	Committee Draft ISO/IEC 15909, “High- level Petri Nets – Concepts, Definitions and Graphical Notation”, Ver. 3.4, Oct., 1997
[24]　	Grady Booch, James Rumbaugh, Ivar Jacobson, “The Unified Modeling Language User Guide (2nd Edition)”, Addison-Wesley Professional, 2005
[25]　	L.C. Briand, Y. Labiche, S. He, “Automating regression test selection based on UML designs”, Information and Software Technology, 2009
[26]　	T.S. Staines, “Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets”, ECBS’08, IEEE, pp. 191-200, 2008
[27]　	F. Meng, D. Chu, D. Zhan, “Transformation from Data Flow Diagram to UML2.0 Activity Diagram”, PIC’10, IEEE, pp.1010-1014, 2010
[28]　	M. Soeken,  R. Wille, M. Kuhlmann, M. Gogolla, R. Drechsler, “Verifying UML/OCL Models Using Boolean Satisfiability”, EDDA, pp. 1341-1344, 2010
[29]　	J. Conallen, “Modeling Web Application Architectures with UML”,  Communications of the ACM, Vol. 4, No 10, pp. 63-70,  1999
[30]　	O Macek, K Richta, “The BPM to UML activity diagram transformation using XSLT”,  DATESO’09, Vol. 471, pp. 119–129, Spindleruv Mlyn, Czech Republic, 2009
[31]　	M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, X. Li, “UML Activity Diagram-Based Automatic Test Case Generation For Java Programs”,  Proceedings of the 2006 international workshop on Automation of software test, pp. 2-8, 2006
[32]　	William H. Ford, William R. Topp, “Data Structures with Java”, Pearson, 2004
[33]　	http://dom4j.sourceforge.net/dom4j-1.6.1/index.html
[34]　	Tadao Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings Of The IEEE, Vol. 77, No.4, Apr., 1989
[35]　	Muhammad Usman, Aamer Nadeem, Tai-hoon Kim, Eun-suk Cho, “A Survey of Consistency Checking Techniques for UML Models”, 2008 IEEE, DOI 10.1109/ASEA.2008.40
[36]　	Johan Lilius, Iv’an Porres Paltor, “vUML: a Tool for Verifying UML Models”, Automated Software Engineering, 14th IEEE, pp.255-258, 1999
[37]　	Timm Schafer , Alexander Knapp , Stephan Merz, “Model Checking UML State Machines and Collaborations” , Electronic Notes in Theoretical Computer Science, Vol. 55, Issue 3 , pp.19-24,  2001.
[38]　	http://www.wfmc.org/
[39]　	“Workflow Management Coliation Terminology & Glossary”, WFMC-TC-1011, Issue 3.0, pp.10, Feb., 1999
[40]　	J. Mendling, “Detection and Prediction of Errors in EPC Business Process Models ”, PhD thesis, Vienna University of Economics and Business Administration (WU Wien, Austria, May, 2007
[41]　	Paul J. M. Frederiks , Theo P. van derWeide., “Information modeling:The process and the required competencies of its participants”, Data & Knowledge Engineering, Vol.58, No.1,pp. 4-20, 2006
[42]　	R.S. Aguilar Saven, “Business process modelling: review and framework”, International Journal of Production Economics, Vol. 90, No.2, pp.129-149 , 2004