IE interfaces (산업공학)

Korean Institute of Industrial Engineers (대한산업공학회)
권호 표지

A Workflow Analysis Using the Transformation of an UML Activity Diagram into a Petri Net

UML 활동 다이어그램의 페트리넷 변환을 통한 워크플로 분석

  • Han, Kwan-Hee (Department of Industrial & Systems Engineering, Gyeongsang National University)
  • 한관희 (경상대학교 산업시스템공학부)
  • Received : 2004.02.20
  • Accepted : 2004.04.13
  • Published : 2004.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity diagram into a Petri net for the analysis of a workflow. By combining the strengths of easy-to-use functionality of an activity diagram and the analysis power of a Petri net, workflow analysts in the enterprise can model and analyze various kinds of workflow definition more easily and accurately.

Keywords

References

  1. 한관희, 황태일(2003), UML/XML 기반의 비즈니스 프로세스 정의 도구, 산업공학지, 16(2), 156-166
  2. Adam, N. R, Atluri, V., Huang, W. K.(1998), Modeling and Analysis of Workflow Using Petri nets, Journal of Intelligent Systems, 10(2), 131-158
  3. Bastos, R.M. and Ruiz, D. D. A.(2002), Extending UML Activity Diagram for Wotkflow Modeling in Production Systems, Proceedings of the 35th Annual Hawaii International Conference on System Science(HICSS - 35), Big Island, Hawaii
  4. Bosilj-Vuksic, V., Giaglis, G.M. and Hlupic, V.(2000), IDEF Diagrams and Petri Nets for Business Process Modeling: Suitability, Efficacy and Complementary Use, Proceedings of the International Conference on Enterprise Information Systems(ICEIS 2000), 242-247, Stafford, UK
  5. Donatelli, S. and Franceschinis, G.(1996), PSR Methodology: Integrating Hardware and Software Models, Proceedings of Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, 133-152, Springer, Berlin
  6. Dumas, M. and ter Hofstede. A. H. T.(2001), UML Activity Diagram as a Workflow Specification Language, Proceedings of the International Conference on the Unified Modeling Language(UML), Toronto, Canada
  7. Eriksson, H.-E. and Penker, M.(2000), Business Modeling with UML, John Wiley and Sons, New York
  8. Eshuis, R. and Wieringa, R.(2003), Comparing Petri Net and Activity Diagram Variants for Worklflow Modeling - A Quest for Reactive Petri Nets, Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science 2472, 321-351, Springer, Berlin
  9. Hammer, M. and Champy, J.(1993), Reengineering the Corporation: a Manifesto for Business Revolution, Harper Business, New York
  10. Hollingsworth, D.(1995), The Workflow Reference Model Version 1.1, Document Number TC00-1003, Workflow Management Coalition, Hamsphire, UK
  11. Hruby, P.(1998), Structuring Specification of Business Systems with UML, OOPSLA-98 Business Object Workshop Proceedings, Vancouver, Canada
  12. Liu, D., Wang, J., Chan, S. C F., Sun, J., Zhang, L.(2002), Modeling Workflow Processes with Colored Petri Nets, Computers in Industry, 49(3), 267-281
  13. Lopez-Grao, J. P., Merseguer, J. and Campos, J.(2004), From UML Activity Diagram to Stochastic Petri Nets: Application to Software Performance Engineering, Fourth International Workshop Proceedings on Software and Performance(WOSP 2004), Redwood City, CA, USA
  14. Marshall, C(2000), Enterprise Modeling with UML, Addison Wesley, Reading, MA
  15. Mayer, R. J., Menzel, C P., Painter, M. K., deWitte, P. S., Blinn, T. and Perakath, B.(1995), Information Integration for Concurrent Engineering IDEF3 Process Description Capture Method Report, KBSI Systems Inc., Texas.
  16. OMG(2000), Workflow Management Facility Specification V1.2, Object Management Group,http://www.omg.org
  17. OMG(2003), OMG Unified Modeling Language Specification VI.5: Part 10-Activity Diagrams, Object Management Group, http://www.omg.org
  18. Peterson, J L.(1981), Petri NetTheory andthe Modeling of Systems, Prentice Hall, Englewood Clifs, NJ
  19. Reisig, W.(1985), Petri Nets: An Introduction, Springer Verlag, Berlin
  20. Salimifard, K., Wright, M.(2001), Petri Net-Based Modeling of Workflow Systems: An Overview, European Journal of Operations Research, 134(3), 664-676
  21. Sheer, A.-W.(1999), ARIS Business Process Modeling, Springer-Verlag, Berlin
  22. van der Aalst, W. M. P.(1998), The Application of Petri Nets to Workflow Management, the Journal of Circuits, Systems and Computers, 8(1), 21-66
  23. van der Aalst, W. M. P.(1999), Woflan: A Petri Net Based Workflow Analyzer, Systems Analysis, Modeling, Simulation, 35(3), 345-357
  24. van der Aalst, W. M. P., ter Hofstede, A. H. M.(2000), Verification of Workflow Task Structures: A Petri-Net Approach, Information Systems, 25(1),43-69.
  25. van der Aalst, W. M. P., van Hee, K.(2002), Workflow Management- Model, Methods, and Systems, The MIT Press, Massachusetts
  26. WfMC(1999), Workflow Management Coalition Terminology & Glossary: Document Number WFMC-TC-1011, Workflow Management Coalition, Hamsphire, UK
  27. Wirtz, G., Weske, M. and Giese, H.(2000), Extending UML with Workflow Modeling Capabilities, Lecture Notes in Computer Science 1901, 30-41, Springer-Verlag, Berlin