淡江大學覺生紀念圖書館 (TKU Library)
進階搜尋


下載電子全文限經由淡江IP使用) 
系統識別號 U0002-2102201310005600
中文論文名稱 統一塑模語言模型之輔助分析工具:活動圖之派翠網路自動轉換系統
英文論文名稱 UML modeling analysis tool : an automated activity-diagram to Petri-Net conversion system
校院名稱 淡江大學
系所名稱(中) 資訊管理學系碩士在職專班
系所名稱(英) On-the-Job Graduate Program in Advanced Information Management
學年度 101
學期 1
出版年 102
研究生中文姓名 陳雅玲
研究生英文姓名 Ya-Ling Chen
學號 799630081
學位類別 碩士
語文別 中文
口試日期 2012-12-29
論文頁數 122頁
口試委員 指導教授-鄭啟斌
委員-林東清
委員-廖賀田
中文關鍵字 統一塑模語言  派翠網路  流程設計  自動轉換系統  可延伸標記語言 
英文關鍵字 Unified Modeling Language(UML)  Petri Net  Workflow design  automated conversion system  Extensible Markup Language(XML) 
學科別分類
中文摘要 企業營運良窳與其流程的正確性息息相關;然而流程在設計階段不易被驗證,錯誤經常在實際運作時才發現,企業卻已蒙受損失。因使,一個可以在流程設計階段便提供錯誤檢驗的塑模工具可大幅提升流程設計的應用。統一塑模語言(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
論文使用權限
  • 同意紙本無償授權給館內讀者為學術之目的重製使用,於2013-02-22公開。
  • 同意授權瀏覽/列印電子全文服務,於2013-02-22起公開。


  • 若您有任何疑問,請與我們聯絡!
    圖書館: 請來電 (02)2621-5656 轉 2281 或 來信