Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Workflow System Modeling using Activity Diagram

액티비티 다이어그램을 이용한 워크플로우 시스템 모델링

  • 고은정 (전북대학교 컴퓨터과학과) ;
  • 이상영 (남서울대학교 보건행정학과) ;
  • 유철중 (전북대학교 컴퓨터과학과) ;
  • 장옥배 (전북대학교 컴퓨터과학과)
  • Published : 2005.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링하는데 유용하게 사용된다 그러나 워크플로우 시스템에서 중요시 되는 시멘틱 정보 표현의 경우 OMG가 제공하는 UML 액티비티 다이어그램에 대한 시멘틱 정보를 표현하기 위한 지침만으로는 정확한 시멘틱 정보의 표현이 어렵다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(State Machine) 시멘틱을 확장한 후 액티비티 다이어그램에 적용하여 워크플로우 시스템을 모델링하는 방안을 제시한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱에 대한 정확한 정의를 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

Keywords

References

  1. Object Management Group, 'Unified Modeling Language Specification 1.4,' 2001
  2. E. Chang, E. Gautama, and T. S. Dillon, 'Extended Activity Diagrams for Adaptive Workflow Modeling,' IEEE 2001 Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 413-418, 2001 https://doi.org/10.1109/ISORC.2001.922866
  3. Weber, Ehrig, and Reisig, 'Petri Net Technology,' Petri Net Technologies for Modelling Communication Based Systems, Vol. 2, pp. 93-104, 2001
  4. W. M. P. van der Aalst, 'The Application of Petri Nets to Workflow Management,' The Journal of Circuits, Systems and Computers, Vol. 8(1), pp. 21-66, 1998 https://doi.org/10.1142/S0218126698000043
  5. R. Eshuis and R. Wieringa, 'A Comparison of Petri Net and Activity Diagram Variants,' In Proceedings 2nd International Colloquium on Petri Net Technologies for Modeling Communication Based Systems, Berlin, Germany, 2001
  6. R. Eshuis and R. Wieringa, 'Verification Support for Workflow Design with UML Activity Graphs,' 24th International Conference on Software Engineering, pp. 166-176, 2002 https://doi.org/10.1145/581339.581362
  7. Schader, M., and Korthaus, A., 'Modeling Business Process as Part of the BOOSTER Approach to Business Object Oriented System Development Based on UML,' Second International Enterprise Distributed Object Computing Workshop Proceedings, pp. 56-67, 1998 https://doi.org/10.1109/EDOC.1998.723242
  8. J. Rumbaugh, G. Booch, and Ivar Jacobson, The Unified Modeling Language User Guide, Addision-Wesly, 1999
  9. Ricardo M. Bastos, Duncan Dubugras A. Ruiz, 'Extending UML Activity Diagram for Workflow Modeling in Production Systems,' Proceedings of the 35th Hawaii International Conference on System Sciences, pp. 123-134, 2002
  10. Roberto W. S. Rodrigues, 'Formalising UML Activity Diagrams using Finite State Processes,' UML 2000 Workshop, 2000
  11. 류재광, 김광훈, '실시간 협업지원 그룹 ICN 에디터의 설계 및 구현', 한국인터넷정보학회, Vol. 2(5), 2001
  12. Yang Dong and Zhang ShenSheg, 'Using Picalculus to Formalize UML Activity Diagram for Business Process Modeling,' 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), pp. 47-54, 2003
  13. R. Eshuis and R. Wieringa, 'An Execution Algorithm for UML Activity Graphs,' Proc. <> 2001, pp. 47-61, 2001
  14. Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer, 'Toward Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams,' IEEE 2001, pp. 80-87, 2001 https://doi.org/10.1109/HCC.2001.995242
  15. Martin Gogolla and Mark Richters, 'Expressing UML Class Diagrams Properties with OCL,' LNCS, pp. 85-114, 2002 https://doi.org/10.1007/3-540-45669-4_6
  16. Y. Burevich, Specification and Validation Methods, Oxford University Press, 1995
  17. Wuwei Shen, Kevin Compton, and James K. Huggins, 'A Toolset for Supporting UML Static and Dynamic Model Checking,' 26th International Computer Software and Applications Conference(COMPSAC 2002), IEEE Computer Society, Vol. 3, pp. 147-152, 2002
  18. E. Borger, A. Cavarra, and E. Riccobene, 'An ASM Semantics for UML Activity Diagram,' AMAST 2000, pp. 292-308, 2000
  19. Hammer, D. K., Hanish, A. A., and Dillon, T. S., 'Modeling Behavior and Dependability of Object-Oriented Real-time Systems,' Journal of Computer Systems Science and Engineering, Vol. 13(3), pp. 139-150, 1998
  20. 원재강, 김학성, 이문영, 김광훈, 정관희, '워크플로우 표준화 동향 분석', 한국인터넷정보학회, Vol. 1(1), 2001
  21. Haake, J. M., and Wang, W., 'Flexible Support for Business Processes: Extending Cooperative Hypermedia with Process Supports,' In Proceedings of the International ACM SIGGROUP-GROUP 97, pp. 341-350, 1997
  22. Clarence A. Ellis and Gary J. Nutt, 'Office Information Systems and Computer Science,' Computing Surveys, Vol. 12, No. 1, 1980 https://doi.org/10.1145/356802.356805
  23. Ortner W., and Starty C. 'Virtualization of Organizations: Consequences for Workflow Modeling,' Proceedings of the 32nd Hawaii International Conference on System Sciences, 1999 https://doi.org/10.1109/HICSS.1999.772950
  24. Stary C., 'Integrating Workflow Representation into User Interface Design Representation,' Software Concepts and Tools Springer, 1997
  25. 김광훈, 워크플로우 기술 I, TTA 저널, Vol. 85, pp. 107-111, 2001
  26. Jablonski, S., Bussler, C., 'Workflow Management-Modeling Concepts, Architecture and Implementation,' Int. Thomson Publishing, London, 1996