Translated Titles

UML modeling analysis tool : an automated activity-diagram to Petri-Net conversion system





Key Words

統一塑模語言 ; 派翠網路 ; 流程設計 ; 自動轉換系統 ; 可延伸標記語言 ; Unified Modeling Language(UML) ; Petri Net ; Workflow design ; automated conversion system ; Extensible Markup Language(XML)



Volume or Term/Year and Month of Publication


Academic Degree Category




Content Language


Chinese Abstract

企業營運良窳與其流程的正確性息息相關;然而流程在設計階段不易被驗證,錯誤經常在實際運作時才發現,企業卻已蒙受損失。因使,一個可以在流程設計階段便提供錯誤檢驗的塑模工具可大幅提升流程設計的應用。統一塑模語言(Unified Modeling Language)由於其結構完整且圖形明瞭易懂,普遍使用於企業流程塑模或軟體工程設計,可惜其本身並無錯誤驗證機制。本研究開發一個統一塑模語言與派翠網路(Petri Net)的自動轉換系統,透過可延伸標記語言標準將統一塑模語言之活動圖轉換為派翠網路圖。藉由派翠網路之流程屬性驗證工具,可在流程塑模階段立即發覺潛在錯誤,以提升流程設計之效率與正確性。本研究以數個流程設計實例說明所開發之自動轉換系統的可行性。

English Abstract

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.

Topic Category 商管學院 > 資訊管理學系碩士在職專班
社會科學 > 管理學
  1. [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.
  2. [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.
  3. [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.
  4. [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.
  5. [10]  Luciano Baresi, "Some Preliminary Hints on Formalizing UML with Object Petri Nets", Integrated Design and Process Technology, 2002.
  6. [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.
  7. [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.
  8. [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.
  9. [14]  James L. Peterson, "Petri Net Theory and the Modeling of Systems", Englewood Cliffs, N.J. : Prentice-Hall, 1981.
  10. [17]  World Wide Web Consortium (http://www.w3.org/Consortium/)
  11. [20]  H.E. Eriksson, M. Penker, “Business Modeling with UML : Business patterns at work”, Magnus Penker, 1999
  12. [21]  Jim Heumann, “Introduction to Business Modeling Using the Unified Modeling Language (UML)”, Requirements Management Evangelist, Rational Software, 2001
  13. [22]  T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol. 77, No 4, pp. 541-580, 1989
  14. [25]  L.C. Briand, Y. Labiche, S. He, “Automating regression test selection based on UML designs”, Information and Software Technology, 2009
  15. [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
  16. [27]  F. Meng, D. Chu, D. Zhan, “Transformation from Data Flow Diagram to UML2.0 Activity Diagram”, PIC’10, IEEE, pp.1010-1014, 2010
  17. [28]  M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, R. Drechsler, “Verifying UML/OCL Models Using Boolean Satisfiability”, EDDA, pp. 1341-1344, 2010
  18. [29]  J. Conallen, “Modeling Web Application Architectures with UML”, Communications of the ACM, Vol. 4, No 10, pp. 63-70, 1999
  19. [32]  William H. Ford, William R. Topp, “Data Structures with Java”, Pearson, 2004
  20. [34]  Tadao Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings Of The IEEE, Vol. 77, No.4, Apr., 1989
  21. [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
  22. [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.
  23. [39]  “Workflow Management Coliation Terminology & Glossary”, WFMC-TC-1011, Issue 3.0, pp.10, Feb., 1999
  24. [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
  25. [42]  R.S. Aguilar Saven, “Business process modelling: review and framework”, International Journal of Production Economics, Vol. 90, No.2, pp.129-149 , 2004
  26. [1]  經濟部統計處,表B-2經濟成長率及貢獻度,2012, http://www.moea.gov.tw/Mns/dos/content/ContentLink.aspx?menu_id=6711。
  27. [2]  管郁君&林芸慧&林碩俊,企業營運模式的新思維,ERP學術與實務研討會,2005。
  28. [3]  游佳萍,企業流程分析模式之設計與實作,國立中山大學資訊管理學系研究所碩士論文,1997。
  29. [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.
  30. [9]  Sinan Si Albir原著,陳志昌編譯,UML技術手冊,O'REILLY,1999。
  31. [15]  Tim Weilkiens, Bernd Oestereich, “UML 2 Certification Guide”, Elsevier Inc. 2007.
  32. [16]  WfMC (2002), “Workflow process definition interface - XML process definition language: document number WfMC-TC-1025”, Workflow Management Coalition, Lighthouse Point, FL, USA
  33. [18]  XML Validator (http://www.w3schools.com/xml/xml_validator.asp)
  34. [19]  Andreas Eckleder, Thomas Freytag, “WoPeD – A tool for teaching, analyzing and visualizing workflow nets”, Petri Net Newsletter 75, 2008
  35. [23]  Committee Draft ISO/IEC 15909, “High- level Petri Nets – Concepts, Definitions and Graphical Notation”, Ver. 3.4, Oct., 1997
  36. [24]  Grady Booch, James Rumbaugh, Ivar Jacobson, “The Unified Modeling Language User Guide (2nd Edition)”, Addison-Wesley Professional, 2005
  37. [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
  38. [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
  39. [33]  http://dom4j.sourceforge.net/dom4j-1.6.1/index.html
  40. [36]  Johan Lilius, Iv’an Porres Paltor, “vUML: a Tool for Verifying UML Models”, Automated Software Engineering, 14th IEEE, pp.255-258, 1999
  41. [38]  http://www.wfmc.org/
  42. [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