近年來許多企業都面臨了提昇競爭力、降低成本及迅速地推出產品與服務等問題。工作流程(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.

[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.