使用統一模式語言與派翠網路表示工作流程之程序定義

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：13

、訪客IP：3.135.202.224

姓名

陳錫民(Shi-Min Chen) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

使用統一模式語言與派翠網路表示工作流程之程序定義
(Using UML and Petri Nets for Workflow Process Definition)

相關論文

★ 應用智慧分類法提升文章發佈效率於一企業之知識分享平台	★ 家庭智能管控之研究與實作
★ 開放式監控影像管理系統之搜尋機制設計及驗證	★ 資料探勘應用於呆滯料預警機制之建立
★ 探討問題解決模式下的學習行為分析	★ 資訊系統與電子簽核流程之總管理資訊系統
★ 製造執行系統應用於半導體機台停機通知分析處理	★ Apple Pay支付於iOS平台上之研究與實作
★ 應用集群分析探究學習模式對學習成效之影響	★ 應用序列探勘分析影片瀏覽模式對學習成效的影響
★ 一個以服務品質為基礎的網際服務選擇最佳化方法	★ 維基百科知識推薦系統對於使用e-Portfolio的學習者滿意度調查
★ 學生的學習動機、網路自我效能與系統滿意度之探討-以e-Portfolio為例	★ 藉由在第二人生內使用自動對話代理人來改善英文學習成效
★ 合作式資訊搜尋對於學生個人網路搜尋能力與策略之影響	★ 數位註記對學習者在線上學習環境中反思等級之影響

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

近年來許多企業都面臨了提昇競爭力、降低成本及迅速地推出產品與服務等問題。工作流程(workflow)技術提供了新的方法幫助企業有效地管理商業程序(business process)，根據工作關係、組織結構、員工能力及現有的資源進行分配與排程，其縮短處理時間、善用企業資源、並提昇企業整體的效率。而程序定義(process definition)是工作流程的核心，程序定義定義了所有相關商業程序的資訊，這些資訊包含了企業程序中的所要完成工作、參與的資源及有關規則與條件，最後交由工作流程管理系統(Workflow Management System)執行。由於程序定義的完整性與正確性會影響整個企業程序的執行結果，因此如果我們能夠完整且無誤的表達出程序定義，將可以避免執行後的錯誤。
所以在本篇論文中，我們針對工作流程的程序定義之模式化(modeling)提出整合UML (Unified Modeling Language)與派翠網路(Petri Nets)的方法。我們的方法主要分為四個模式化階段：(1) 程序需求獲取(elicitation)階段；(2)邏輯設計階段；(3) 程序定義分析階段；(4) 實際工作配置階段。

摘要(英)

Recently many enterprises face the pressures, such as market competition, reduction of cost and rapid development of new products and services. The workflow technique provides a new mechanism to help enterprises manage business processes efficiently, which is according to relationship of works, organization structures, capabilities of members and all of resources. The workflow technique reduces the time of process, allocates resource powerfully and improves the performance of enterprises. Furthermore, process definition is the core of workflow. Process definition defines all of necessary information related to business process. The information contains constituent tasks, participated resources, rules and conditions. The process definition will be executed by the workflow management system eventually. Therefore, the integrity and accuracy of process definition will affect the result of execution.
In this paper, we propose UML(Unified Modeling Language) and Petri Nets approach for workflow modeling. Our approach consists of four phases: (1) process requirement elicitation phase; (2) logical design phase; (3) properties analysis phase; (4) physical deployment phase.

關鍵字(中)

★ 統一模式語言
★ 程序定義
★ 工作流程
★ 派翠網路

關鍵字(英)

★ UML
★ process definition
★ workflow
★ Petri Nets

論文目次

第一章緒論……………………………………………………………..1
1.1 研究背景………………………………………………………..1
1.2 研究動機………………………………………………………..3
1.3 論文架構………………………………………………………..4
第二章相關研究………………………………………………………..5
2.1 相關工作流程的模式化方法…………………………………..5
2.2 UML…………………………………………………………….8
2.3 派翠網路………………………………………………………10
第三章程序需求的獲取………………………………………………14
3.1 商業程序……………………………………………………….14
3.2 Use Case Diagram……………………………………………..15
第四章邏輯設計………………………………………………………21
4.1 Activity Diagram與工作流程基本要素………………………22
4.2 Use Case Diagram與Activity Diagram的推導原則………….26
4.3 Class Diagram…………………………………………………..28
第五章工作流程程序定義的分析……………………………………31
5.1 派翠網路模型的轉換規則……………………………………31
5.2 分析工作流程程序定義………………………………………36
第六章實際工作的配置………………………………………………44
第七章結論……………………………………………………………46
7.1 結語……………………………………………………………46
7.2 未來研究………………………………………………………47
參考文獻………………………………………………………………..48
附錄一工作流程相關產品與研究……………………………………54
附錄二工作流程專門用語……………………………………………55

參考文獻

[Aals96] W.M.P van der Aalst,” Three Good Reasons for Using a Petri-net-based Workflow Management System,” Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pp. 179-201, Camebridge, Massachusetts, 1996.
[Aals97]W.M.P. van der Aalst,” Verification of Workflow Nets,” Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pp. 7-426, pringer-Verlag, Berlin, 1997.
[Aals98]W.M.P. van der Aalst, “Modeling and Analysis Interorganizational Workflows,” Application of Concurrency to System Design, 1998.
[Armi94]J. W. Armitage, and M. I. Kellner, “A conceptual schema for process definitions and models,” Proceedings of Third International Conference on the Applying the Software Process, pp. 153 —165, 1994.
[Bocc99]A. Boccalatte, D. Giglio, M., ” A case tool for information system project and development,” IEEE SMC '99 Conference Proceedings. IEEE International Conference on Volume: 3, pp. 1042 -1047 vol.3, 1999.
[Booc94]Grady Booch, “Object Oriented Analysis and Design 2nd ed,” The Bejamin/Cummings Publishing Company Inc., California, 1994.
[Booc99]G. Booch, J. Rumbough, and I. Jacobson, “The Unified Modeling Language User Guide”, Addison-Wesley, 1999.
[Buss94]C. Bussler, and S. Jablonski, “An approach to ingrate workflow modeling and organization modeling in a enterprise,” Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994.
[Carl98]Steinar carlsen, “Action port model: a mixed paragigm conceptual workflow modeling language,” In Proceedings. 3rd IFCIS International Conference 1998, pp. 300—309, 1998.
[Casa97]F. Casati, P. Grefen, B. Pernici, G. Pozzi, and G. Sánchez, “WIDE workflow model and architecture,” http://dis.sema.es/projects/WIDE/Documents, 1997.
[CCIT88]CCITT, “Specification and description language,” recommendation z.100, blue book, 1988.
[Covè98]C. Covès, D. Crestani, F. Prunet,” Design and analysis of workflow processes with Petri nets,” IEEE International Conference on Systems, Man, and Cybernetics, Volume: 1, pp. 101 -106, 1998.
[Das97]S. Das, K. Kochut, J. Miller, A. Sheth, and D. Worah, “ ORBWork: A Reliable Distributed CORBA-based Workflow Enactment System for METEOR_2,” Technical Report#UGA-CS-TR-97-001, Department of Computer Science, University of Georgia, 1997.
[Dica97]A. DiCaterino, K. Larsen, M. Tang, and W. Wnag, “An introduction to workflow management systems,” Models for Action Project Working Memo CTG.MFA-002, 1997.
[Ferr97]A. M. Ferraro, and E.H. Rogers, “Petri nets in the evaluation of collaborative systems,” IEEE International Conference on Computational Cybernetics and Simulation, Volume: 4, pp. 3918 —3923, 1997.
[Folh99]R. S. S. Filho, J. Wainer, E. R. M. Madeira, C Ellis, “CORBA based architecture for large scale workflow,” Autonomous Decentralized Systems, Integration of Heterogeneous Systems. Proceedings. The Fourth International Symposium on, pp.: 276 —283, 1999.
[Fowl98]M. Fowler, and K. Scoot, “UML Distilled: Applying the standard Object Modeling Language,” Addison-Wesley, 1998.
[Hare97]David Harel and Eran Gery, “Executable object modeling with statecharts,” IEEE Computer, pp. 31-42, 1997
[Huan98]Shou-Hsuan Stephen Huang, “Building business processes using a state transition model on World Wide Web,” Proceedings of IEEE Workshop on ASSET-98, pp.2-7, 1998.
[Jaco92]I. Jacobson, M. Christerson, P. Jonsson, G. Övergaard, “Object-Oriented Software Engineering,” Addison-Wesley, 1992.
[Jens91]K. Jensen and G. Rozenberg, “High-level Petri Nets: Theory and Application,” Springer-Verlag, 1991.
[Jens92]Kurt Jensen, “Coloured Petri Nets. Basic concepts, analysis methods and practical use,” EATCS monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1992.
[Joos94]Stef Joosten, “Trigger modeling for workflow analysis,” In Proc. CON’94 Workflow Management, pp236-247, 1994.
[Lawr97] P. Lawrence, Workflow Management Coalition, “Workflow Handbook 1997,” Wiley and Sons Ltd, New York, 1997.
[Lei97]Yu Lei and Munindar P. Singh, “A comparison of workflow metamodels,” http://osm7.cs.byu.edu/ER97/workshop4/ls.html, 1997
[Leve87]N. G. Leveson and J. L. Stolzy, “Safety Analysis Using Petri Nets,” IEEE Trans. on Software Engineering, vol. SE-13, no. 3, pp. 386-397, Mar. 1987.
[Leym94]Frank Leymann and Dieter Roller, “Business process management with flowmark”, In Proc. Of COMPCON Spring 1994 IEEE, 1994.
[Medi92]R. Medina-Mora, T. Winogard, R.Flores, and F. Flores, “The Action Workflow approach to workflow management technology,” In ACM, Proceedings of the Conference On Computer-Supported Cooperative Work, 1992.
[Merl76]P. M. Merlin and D. J. Farber, “Recoverability of Communication Protocols Implications of a Theoretical Study,” IEEE Trans. on Communication, vol. COM-24, no. 9, pp. 1036-1043, Sept. 1976.
[Mill96] J. A. Miller, A. P. Sheth, K. J. Kochut and X. Wang, “CORBA-Based Run-Time Architectures for Workflow Management Systems,” Journal of Database Management, Special Issue on Multidatabases, vol. 7, no. 1, pp. 16-27, 1996.
[Mull97]Pierre-Alain Muller, “Instant UML,” Wrox Press Ltd., 1997.
[Mura89] Tadao Murata, “Petri Nets: Properties, Analysis and Application,” Proceeding of IEEE, Vol.77 No.4 p.541-580, 1989.
[Odel94]James Odell, “Events and their Specification,” Journal of OO Programming, 1994.
[Ortn99]W. Ortner, and C. Stary, “Virtualization of organizations: consequences for workflow modeling,” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999.
[Pete81]James L. Peterson, “Petri net theory and the modeling of systems”, Central book company, Taiwan, 1981.
[Petr62]C. A. Petri, “Kommunikation mit Automation,” PhD thesis, Institut für intstrumentelle Mathematik, Boon, 1962.
[Rati97]Rational Software and UML partners, “UML Notation Guide,” http://www.rational.com/uml, 1997.
[Rati97]Rational Software and UML partners, “UML Summary,” http://www.rational.com/uml, 1997.
[Reis85]W. Reisig, “Petri Nets: a introduction,” monographs in Theoretical Computer Science: an EATCS series 4, Springer-Verlag, Berlin, 1985.
[Rumb91]J. Rumbaugh, M, Blaha, W. Premerlani, F. Eddy, W. Lorensen, “Object-Oriented Modeling and Design,” Englewood Cliffs, N.J.: Prentice-Hall, 1991.
[Sánc97]G. Sánchez, “The WIDE workflow model and language,” http://dis.sema.es/projects/WIDE/Documents, 1997.
[Suzu89]I. Suzuki and H. Lu, “Temporal Petri Nets and Their Application to Modeling and Analysis of a HandShake Daisy Chain Arbiter,“ IEEE Trans. on Computer, vol. 38, no. 5, pp. 696-704, May 1989.
[Veij95]J. Veijalanen, A. Lehtola, and O. Pihlajamaa, “Research Issues in Workflow Systems,” October 2,1995.
[Wata98]H. Watanabe, H. Tokuoka, W. Wu, M. Saeki,” A technique for analysing and testing object-oriented software using coloured Petri nets,” Proceedings. 1998 Asia Pacific, pp. 182 —190, 1998.
[WfMC95] WfMC Workflow management Coalition, “The Workflow Reference Model (WFMC-TC00-1003),” Technical report, Workflow Management Coalition, Hampshire HK, 1995.
[WfMC98] WfMC Workflow management Coalition, “Interface 1: Process Definition Interchange Process Model (WfMC -TC1016-P),” Technical report, Workflow Management Coalition, Hampshire HK, 1998.
[WfMC99]WfMC Workflow management Coalition, “Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011),” Technical report, Workflow Management Coalition, Hampshire HK, 1999.
[Yang 98]S.J.H. Yang, C.C. Chen, J. Lee, and W.T. Huang, “NCUPN: A Petri Nets Modeling and Analysis Toolkit,” in OOTSIG98, pp. 31-36, Kaohsuing, Taiwan, NSC-88-2213-E-008-005, Sept. 1998.
[Yang99]S.J.H. Yang and C.C. Chen, “A Petri-nets-based Approach for Workflow and Process Automation,” in the International Journal of Artificial Intelligence Tools, vol. 8, no. 2, pp. 193-205, NSC-88-2213-E-008-005, 1999.

指導教授

楊鎮華(Stephen J.H. Yang)

審核日期

2000-7-6

推文