Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2003.10D.7.1189

The EMFG Modeling and Analysis for a Workflow  

Heo, Hu-Sook (부경대학교 교육대학원 전산교육)
Yeo, Jeong-Mo (부경대학교 전자컴퓨터정보통신공학부)
Publication Information
The KIPS Transactions:PartD / v.10D, no.7, 2003 , pp. 1189-1196 More about this Journal
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.
Keywords
EMFG: Extended Mark Flow Graph; Workflow; Petri Net; Modeling;
Citations & Related Records
Times Cited By KSCI : 11  (Citation Analysis)
연도 인용수 순위
1 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   DOI   ScienceOn
2 신동일, 신동규, '워크플로우 관리 시스템의 설계 및 구현,' 정보처리논문지, 제7권 제5, pp.1609-1619, 2000   과학기술학회마을
3 권종구, '에이전트 기반의 워크플ㄹ로우에 관한 연구,' 서울대학교 대학원 석사학위논문, 1998
4 이성호, '페트리넷을 이용한 워크플로우 모델링 도구 개발,' 전남대학교 대학원 석사학위논문, 1999
5 이현, 박규석, '웹기반 분산워크플라우 관리시스템의 프로세스 엔진 설계,' 멀티미디어학회논문지, 제4권 제5호, pp.377-389, 2001
6 여정모, 황창선, '확장된 마크흐름선도와 시퀀셜제어시스템에의 응용,' 부산대학교 공과대학 연구보고, Vol.25, pp.209-219, 1983
7 정희택, 이도헌, '페트리넷을 이용한 워크플로우 명세의 완료 가능성 및 무결성 검증,' 정보처리논문지, 제7권 제7호, pp.2028-2040, 2000   과학기술학회마을
8 홍현기, '워크플로우 시스템 구축을 위한 프로세서 지향적인 방법론에 관한 연구,' 한독경상학회, 경상농촌, Vol.21, pp.221-242, 2000
9 여정모, '마크흐름선도의 확장,' 부산대학교 대학원 석사학위논문, 1982
10 여정모, '이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석,' 정보처리논문지, Vol.5, No.7, pp.1896-1907, 1998   과학기술학회마을
11 김희정, 허후숙, 정안나, 여정모, '접속 행렬을 이용한 EMFG의 수학적 해석,' 한국멀티미디어학회 추계학술발표논문집, 제4권 제2호, pp.815-820, 2001   과학기술학회마을
12 백형구, 허후숙, 정명희, 여정모, '조건아크를 이용한 릴레이 회로의 EMFG 변환,' 한국멀티미디어학회 추계학술발표논문집, 제4권 제2호, pp.821-826, 2001
13 D. Hollingsworth, 'Workflow Management Coalition - The Workflow Reference Model,' TC00-1003 issue 1.1, 1994
14 김희정, 여정모, 서경룡, 'EMFG의 개선된 동작해석 알고리즘,' 제9-A권 제3호, pp.371-378, 2002   과학기술학회마을   DOI
15 허후숙, 김남혁, 박희광, 여정모, '워크플로우의 EMFG 모델링,' 한국멀티미디어학회 추계학술발표논문집, 제9권 제2호, pp.2301-2304, 2002   과학기술학회마을
16 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
17 Work Group1, 'Inerface 1 : Process Definition Interchange Process Model,' Workflow Management Coalition Specification - TC00-1016, 1998
18 P. C. Attie, M. P. Singh, A. Sheth and M. Rusinkiewicz, 'Specifying and Enforcing Intertask Dependency,' VLDB conference, pp. 134-145, 1993
19 Rene David and Hassane Alla, 'Petri Nets for Modeling of Dynamic Systems a Survey,' Automatica, Vol.30, No.2, pp.175-202, 1994   DOI   ScienceOn
20 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
21 김소연, 이강수, '워크플로우 모형화 및 관리시스템,' 정보처리논문지, 제3권 제5호, pp.18-30, 1996   과학기술학회마을
22 한동일, 박세권, '워크플로 분석/설계를 위한 모델링 기법 개발,' 한국경영정보학회 96 추계학술대회논문집, pp.73-84, 1996
23 James L.Peterson, 'Petri net theory and the modeling of system,' Prentice-Hall, 1981
24 정희택, 이도헌, 김문자, 류영철, '시간 제약을 포함한 워크플로우 모델링 및 검증,' 정보처리논문지, 제6권 제2호, pp.261-273, 1999