臺灣博碩士論文加值系統

商業流程的日益龐雜，如何提供有效且快速的流程建模和分析工具，是ㄧ項不可忽視的議題。針對不同階級的管理者或是使用者，所欲了解的流程廣度和細緻度亦不同。如公司內負責訂單流程的人員，該人員所在意的是訂單工作流程(Workflow)的細節，屬細部的商業流程;而公司的決策人員，如要進行公司產能擴充的方案，則必須從公司整個商業運作流程來考量，其所涉及的資料範圍則較廣。
然而，目前的商業流程建模工具，皆是以階層方式，將工作流程由簡至繁展開，欲建構商業流程者，必須先從大方向的概念思考起，一步步的將流程予以細部和實際化，最終便可完成商業活動中細部的工作流程。但若反向思考，若已存在一個細部的工作流程，是否有辦法可以讓龐繁的工作流程，經過處理後，變成簡化的流程且不失流程原來的意義，使流程可更加明確的傳達訊息。
因此，本研究希望可提供方法讓使用者可針對自我不同的需求進行細部工作流程的階層化(Hierarchical)，對龐大且複雜的流程進行逐步分析並且區塊化，使用者可藉由階層式的匯集，將繁雜的工作流程表達成功能樹(Function Tree)模式的商業流程，進而快速且明確的瞭解流程所欲表達的概念和意義。
在本研究中，以ARIS一商業流程建模工具繪製非結構化EPC流程，使用EPC Tools驗證工作流程結構的正確性，找出流程中的結構錯誤。而後將和有結構錯誤或是衝突之非結構化的工作流程予以改正。再利用對應控制元素(Corresponding control elements)的概念，告知使用者流程中可區塊的區域，而後將龐雜的流程予以階層化，進而表達成功能樹模式的商業流程。

With the increasing complicacy of business process, to offer an effective and efficient process modeling/analyzing tool is an important issue. By different class of management or user, the need of breadth and depth of process are also different. Like the staff who manages the order process, what he aims to is the detail order procedure. But if the staff is a policymaker, what he cares about is the general idea of the process, which can help him make decisions quickly.
At present, most of the process modeling tools applied hierarchical modeling concepts to construct a process. At first, from a general idea step by step expand a process to a detailed workflow. This kind of modeling used a simple to complicated way to build up a realizable and specific workflow.
In this research, an approach to allow have user have their own way to simplify workflow was proposed. User can hierarchically simplify workflow step by step and then transform complicated workflow into a function tree model. By using the function tree model, People can grasp the concept of the analzying process quickly and clearly. In order to reach the goal of the research, a software EPC Tool was used to detect the structure errors in EPC workflow and propose the rules to correct the structure errors. With using the concept of corresponging control elements, a workflow can be divided into different blocks. The final step was to find out where those blocks locate in and then to transform the workflow into a function tree model.

研究摘要 I
Abstract II
致謝 III
目錄 IV
圖目錄 VII
表目錄 X
第一章 緒論 1
1.1 研究背景與動機 1
1.2 研究目的 3
1.3 研究問題定義 3
1.4研究流程 5
1.5 研究論文架構 6
第二章 文獻探討 7
2.1 商業流程中建模工具的介紹 7
2.1.1 Integrated DEFfinition (IDEF) 7
2.1.2 Architecture of Integrated Information Systems(ARIS) 8
2.1.3 事件驅導流程鍊(Event-driven Process Chains,EPC) 9
2.2 工作流程的規格（Workflow Specifications） 10
2.2.1 工作流程結構之介紹 11
2.2.2 工作流程中的衝突（Workflow Conflict） 12
2.3 工作流程的驗證(Workflow verification) 13
2.3.1 Petri nets 法 14
2.3.2 圖像縮減法（Graph Reduction） 14
2.3.3 基於邏輯法（Logic-based） 14
2.3.4 EPC流程正確性之檢查與模擬 16
2.4 商業流程簡化之相關應用 20
2.4.1 視覺化簡要概念應用 20
2.4.2 數學模式縮減法 21
第三章 研究方法 22
3.1 概念分析階段 24
3.2 設計階段 26
3.2.1 研究資料準備 26
3.2.2 偵測EPC流程中的結構錯誤 29
3.2.3 EPC流程結構之修正 31
3.2.3.1 不適當巢狀結構之結構修正方式 32
3.2.3.2相對應控制元的型態修正方法 33
3.2.4 流程區塊化 36
3.2.5 商業流程功能樹模式 45
第四章 實證研究 51
4.1 實作資料準備 52
4.2 EPC流程結構與區塊化 57
4.2.1 EPC Tools 驗證流程結構之正確性 57
4.2.2 修正EPC流程結構 60
4.2.3 EPC流程區塊化 64
4.3功能樹模式呈現 69
第五章 結論與建議 75
5.1結論 75
5.2 研究貢獻 75
5.3 未來研究建議 76
參考文獻 77
附錄 81
一. 相對應控制元素(Corresponding control elements ) 81
二. 相對應控制元的錯誤型態配對 82
三. 不適當的巢狀結構 82
四. 不適當巢狀結構之結構轉換 84

【1】Cheng, A. L., Li, K. P., and Keng Leng, G. R., “IDEF:a comprehensive
modeling methodology for the development of manufacturing enterprise
systems,” International Journal of Production Research, Volume 37, 1999.
【2】Kim, C. H., Weston, R. H., Hodgson, A., and Lee, K. H., “The complementary
use of IDEF and UML modeling approaches,” Computers in Industry, 2003.
【3】Doniavi, A., Mileham, A. R., and Newnes, L. B., “A systems approach to
photolithography process optimization in an electronics manufacturing
environment,” International Journal of Production Research, Volume 38, 2000.
【4】Peters, L., and Peters, J., “Using IDEFO for Dynamic Process Analysis,” IEEE
International Conference on Robotics and Automation, 1997.
【5】Basu, A., and Blanning, R. W., “ WorkFlow Analysis,” Information Systems Research, 2000.
【6】Mendling, J., Moser, M., Neumann, G., Verbeek, E., H. M. W., Dongen van, B.
F., and Aalst van der, W. M. P., “ Faulty EPCs in the SAP Reference Model,
“Business Process Management 2006, LNCS 4102, pp. 451–457, 2006.
【7】Mendling, J., Aalst van der, W. M. P., Dongen van, B. F., and Verbeek, E.,
“Errors in the SAP Reference Model,” BPT render, Juner 2006.
【8】Cuntz , N., and Kindler, E., “ On the semantics of EPCs: Efficient calculation and
simulation,” EPK 2004:Geschäftsprozessmanagement mit Ereignisgesteuerten
Prozessketten,Proceedings, pp. 7-26, 2004.
【9】Rensburg van, A., “ Implementing IDEF techniques as simulation modeling specifications,” Computers Ind Engng, 1994.
【10】Scheer, A. W., and Nüttgens, M., “ARIS Architecture and Reference Models for Business Process Management,” Business Process Management - Models, Techniques,and Empirical Studies, LNCS 1806, pp.366-379, 2000.
【11】Aalst van der, W. M. P., “Formalization and Verification of Event-Driven
Process Chains,” Information and Software Technology 41, 1999.
【12】Jablonski, S., and Bussler, C., “Workflow Management: Modeling Concepts,
Architecture, and Implementation,” International Thomson Computer Press, 1996.
【13】Aalst van der, W. M. P., Hofstede ter, A. H. M., Kiepuszewski, B., and Barros,
A. P., “ Workflow Patterns,” Distributed and Parallel Databases, 2003.
【14】Wiley, J., Sons, and Lawrence, P., “Workflow Management Coalition,” Workflow
Handbook, 1997.
【15】Aalst van der, W. M. P., “Verification of WF-nets,” Application and Theory of
Petri Nets, volume 1248 of Lecture Notes in Computer Science, 1997.
【16】Aalst van der, W. M. P., and B. Kiepuszewski, “Verification of Workflow Task
Structures: A Petri-net- based approach,” Information Systems, 2000.
【17】Sadiq, W., and Orlowska, M. E., “On correctness issues in conceptual modeling
Of workflows,” In Proceedings of the 5th European Conference on
Information Systems, 1997.
【18】Liu, R., and Kumar, A., “An analysis and Taxonomy of unstructured workflows,” 3rd International Conference, BPM 2005.
【19】Hofstede ter, A. H. M., Orlowska, M. E., and Rajapakse, J., “Verification
Problems in Conceptual Workflow Specifications,” Data & Knowledge
Engineering, January 1998.
【20】Dongen van, B. F., Aalst van der, W. M. P., and Verbeek, H. M. W.
“Verification of EPCs:Using reduction rules and Petri nets,” Advanced
Information Systems Engineering, 17th International Conference, 2005.
【21】Verbeek, H. M. W., Basten, T., and Aalst van der, W. M. P., “ Diagnosing
workflow processes using Woflan,” The Computer Journal, 2001.
【22】Aalst van der, W. M. P., “ Woflan: a Petri-net-based workflow analyzer,”
Computing Science Reports, 1999.
【23】Sadiq, W., and Orlowska, M. E., “Analyzing Process Models Using Graph
Reduction Techniques,” Information Systems,2000.
【24】Lin, H., Zhao, Z., Li, H., and Chen, Z., “A Novel Graph Reduction Algorithm
to Identify Structural Conflicts,” In Proceedings of the Thirty-Fourth Annual
Hawaii International Conference on System Science, IEEE 2002.
【25】Sadiq, W., and Orlowska, M. E., “On Capturing Process Requirements of
workflows based business information systems,” Proceedings of the 4th
International Conference on Business Information Systems, 2000.
【26】Bi, H. H., and Zhao, J. L., “ Applying Propositional Logic to Workflow
Verification,” Information Technology and Management, 2004.
【27】Clarke, E. M., Grumberg, O., and Peled, D. A., “Model checking,” MIT Press,
1999.
【28】Huth, M., and Ryan, “Logic in Computer Science: Modelling and reasoning
aboutsystems,” Cambridge University Press, 2000.
【29】Streit, A., Pham, B., and Brown, R., “Visualization support for managing large business process specifications business process,” Lecture notes in computer
science, 2005.
【30】Zerguini, L., and Hee van, K. M., “A New Reduction Method for the Analysis
of Large Workflow Models,” Proceedings of the Joint Annual Conference of
the GI Special Interest Groups, 2004.
【31】Mikolajczak, B., and Wang, Z., “Stepwise Abstractions of Workflow Systems
using Petri Net Morphisms,” Networking, Sensing and Control, IEEE 2004.
【32】Bednarczyk, M. A., and Borzyszkowski, A. M., “General Morphisms of Petri
Nets,” Lecture notes in computer science, 2004.
【33】Mendling, J., and N¨uttgens, M., “Transformation of ARIS Markup Language
to EPML,” In: M. Nüttgens, F.J. Rump, eds.: Proc. of the 3rd GI Workshop on
Event-Driven Process Chains (EPK 2004), 2004.
【34】Mendling, J., and N¨uttgens, M., “EPC Markup Language (EPML) – An
XML-Based Interchange Format for Event-Driven Process Chains (EPC),”
Technical Report JM-2005-03-10.Vienna University of Economics and
Business Administration, 2005.
【35】Barborka, P., Helm, L., Köldorfer, G., Mendling, J., Neumann van, G. B.,
Dongen, F., Verbeek, E., and Aalst van der, W. M. P., “ Integration of
EPC-related Tools with ProM,” In: Proc. of the 5th GI Workshop on
Event-Driven Process Chains (EPK 2006), 2006.
【36】陳會安，XML理論與實務-Java的XML應用程式開發，2005。