Browse > Article

Workflow System Modeling using Activity Diagram  

Ko Eun-Jung (전북대학교 컴퓨터과학과)
Lee Sang-Young (남서울대학교 보건행정학과)
Yoo Cheol-Jung (전북대학교 컴퓨터과학과)
Jang Ok-Bae (전북대학교 컴퓨터과학과)
Publication Information
Journal of KIISE:Software and Applications / v.32, no.6, 2005 , pp. 473-485 More about this Journal
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.
Keywords
workflow; modeling; semantics; activity diagram;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Weber, Ehrig, and Reisig, 'Petri Net Technology,' Petri Net Technologies for Modelling Communication Based Systems, Vol. 2, pp. 93-104, 2001
2 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
3 R. Eshuis and R. Wieringa, 'An Execution Algorithm for UML Activity Graphs,' Proc. <> 2001, pp. 47-61, 2001
4 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
5 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   DOI
6 J. Rumbaugh, G. Booch, and Ivar Jacobson, The Unified Modeling Language User Guide, Addision-Wesly, 1999
7 원재강, 김학성, 이문영, 김광훈, 정관희, '워크플로우 표준화 동향 분석', 한국인터넷정보학회, Vol. 1(1), 2001
8 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
9 E. Borger, A. Cavarra, and E. Riccobene, 'An ASM Semantics for UML Activity Diagram,' AMAST 2000, pp. 292-308, 2000
10 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
11 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
12 Clarence A. Ellis and Gary J. Nutt, 'Office Information Systems and Computer Science,' Computing Surveys, Vol. 12, No. 1, 1980   DOI   ScienceOn
13 Jablonski, S., Bussler, C., 'Workflow Management-Modeling Concepts, Architecture and Implementation,' Int. Thomson Publishing, London, 1996
14 Ortner W., and Starty C. 'Virtualization of Organizations: Consequences for Workflow Modeling,' Proceedings of the 32nd Hawaii International Conference on System Sciences, 1999   DOI
15 Stary C., 'Integrating Workflow Representation into User Interface Design Representation,' Software Concepts and Tools Springer, 1997
16 김광훈, 워크플로우 기술 I, TTA 저널, Vol. 85, pp. 107-111, 2001
17 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   DOI
18 Martin Gogolla and Mark Richters, 'Expressing UML Class Diagrams Properties with OCL,' LNCS, pp. 85-114, 2002   DOI
19 Y. Burevich, Specification and Validation Methods, Oxford University Press, 1995
20 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   DOI   ScienceOn
21 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
22 류재광, 김광훈, '실시간 협업지원 그룹 ICN 에디터의 설계 및 구현', 한국인터넷정보학회, Vol. 2(5), 2001   과학기술학회마을
23 R. Eshuis and R. Wieringa, 'Verification Support for Workflow Design with UML Activity Graphs,' 24th International Conference on Software Engineering, pp. 166-176, 2002   DOI
24 Object Management Group, 'Unified Modeling Language Specification 1.4,' 2001
25 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   DOI
26 Roberto W. S. Rodrigues, 'Formalising UML Activity Diagrams using Finite State Processes,' UML 2000 Workshop, 2000