The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

The EMFG Modeling and Analysis for a Workflow

워크플로우의 EMFG 모델링과 분석

  • 허후숙 (부경대학교 교육대학원 전산교육) ;
  • 여정모 (부경대학교 전자컴퓨터정보통신공학부)
  • Published : 2003.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.

IT 산업의 발달로 인해 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조와 다양한 병행 처리 구조론 개념적인 설계가 가능한 EMFG(Extended Mark Row Graph)로 먼저 표현한 후 워크플로우를 모델링한다. 모델링된 EMFG를 시뮬레이션하여 워크플로우의 완료 가능 여부를 알 수 있는 수행완료 가능성 검증 방법과 수행완료 후에 나타날 수 있는 논리적 오류 검증 방범을 제안한다. 제안한 워크플로우의 EMFG 모델링 및 분석 방법을 사용하면 시각적이고 정형적인 설계가 가능하고 직관적인 수학적 해석이 가능하다.

Keywords

References

  1. A. Elmagarmidand W. Du, 'Workflow Management:State of the Art vs. State of the Market,' Advances in Workflow Managment System of the Market, A. Dogac(Ed.), NATO, pp.1-17, 1997
  2. D. Hollingsworth, 'Workflow Management Coalition - The Workflow Reference Model,' TC00-1003 issue 1.1, 1994
  3. Work Group1, 'Inerface 1 : Process Definition Interchange Process Model,' Workflow Management Coalition Specification - TC00-1016, 1998
  4. P. C. Attie, M. P. Singh, A. Sheth and M. Rusinkiewicz, 'Specifying and Enforcing Intertask Dependency,' VLDB conference, pp. 134-145, 1993
  5. James L.Peterson, 'Petri net theory and the modeling of system,' Prentice-Hall, 1981
  6. Rene David and Hassane Alla, 'Petri Nets for Modeling of Dynamic Systems a Survey,' Automatica, Vol.30, No.2, pp.175-202, 1994 https://doi.org/10.1016/0005-1098(94)90024-8
  7. C. S. Hwang and J. M. Lee, 'Analysis of Matrix Equation Based on Petri Net for Discrete System Control,' Proceedings of the 29th SICE Annual conference International Session, pp.639-696, July, 1990
  8. Nasreddine Aoumeur and Gunter Saake, 'A component-based Petri net model for specifying and validating cooperative information systems,' Data & Knowledge Engineering, 42, pp.143-187, 2002 https://doi.org/10.1016/S0169-023X(02)00025-3
  9. 김소연, 이강수, '워크플로우 모형화 및 관리시스템,' 정보처리논문지, 제3권 제5호, pp.18-30, 1996
  10. 한동일, 박세권, '워크플로 분석/설계를 위한 모델링 기법 개발,' 한국경영정보학회 96 추계학술대회논문집, pp.73-84, 1996
  11. 권종구, '에이전트 기반의 워크플ㄹ로우에 관한 연구,' 서울대학교 대학원 석사학위논문, 1998
  12. 정희택, 이도헌, 김문자, 류영철, '시간 제약을 포함한 워크플로우 모델링 및 검증,' 정보처리논문지, 제6권 제2호, pp.261-273, 1999
  13. 이성호, '페트리넷을 이용한 워크플로우 모델링 도구 개발,' 전남대학교 대학원 석사학위논문, 1999
  14. 신동일, 신동규, '워크플로우 관리 시스템의 설계 및 구현,' 정보처리논문지, 제7권 제5, pp.1609-1619, 2000
  15. 정희택, 이도헌, '페트리넷을 이용한 워크플로우 명세의 완료 가능성 및 무결성 검증,' 정보처리논문지, 제7권 제7호, pp.2028-2040, 2000
  16. 홍현기, '워크플로우 시스템 구축을 위한 프로세서 지향적인 방법론에 관한 연구,' 한독경상학회, 경상농촌, Vol.21, pp.221-242, 2000
  17. 이현, 박규석, '웹기반 분산워크플라우 관리시스템의 프로세스 엔진 설계,' 멀티미디어학회논문지, 제4권 제5호, pp.377-389, 2001
  18. 여정모, '마크흐름선도의 확장,' 부산대학교 대학원 석사학위논문, 1982
  19. 여정모, 황창선, '확장된 마크흐름선도와 시퀀셜제어시스템에의 응용,' 부산대학교 공과대학 연구보고, Vol.25, pp.209-219, 1983
  20. 여정모, '이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석,' 정보처리논문지, Vol.5, No.7, pp.1896-1907, 1998
  21. 김희정, 허후숙, 정안나, 여정모, '접속 행렬을 이용한 EMFG의 수학적 해석,' 한국멀티미디어학회 추계학술발표논문집, 제4권 제2호, pp.815-820, 2001
  22. 백형구, 허후숙, 정명희, 여정모, '조건아크를 이용한 릴레이 회로의 EMFG 변환,' 한국멀티미디어학회 추계학술발표논문집, 제4권 제2호, pp.821-826, 2001
  23. 김희정, 여정모, 서경룡, 'EMFG의 개선된 동작해석 알고리즘,' 제9-A권 제3호, pp.371-378, 2002 https://doi.org/10.3745/KIPSTA.2002.9A.3.371
  24. 허후숙, 김남혁, 박희광, 여정모, '워크플로우의 EMFG 모델링,' 한국멀티미디어학회 추계학술발표논문집, 제9권 제2호, pp.2301-2304, 2002