The EMFG Modeling for a Workflow

워크플로우의 EMFG 모델링

  • Heo, Hu-Suk (Computer Science Education, Pukyong National University) ;
  • Kim, Nam-Hyuk (Computer Science Education, Pukyong National University) ;
  • Park, Hee-Kwang (Department of Computer and Information, Pukyong National University) ;
  • Yeo, Jeong-Mo (Division of Electronics, Computer and Telecommunication Engineering, Pukyong National University)
  • 허후숙 (부경대학교 교육대학원 전산교육) ;
  • 김남혁 (부경대학교 교육대학원 전산교육) ;
  • 박희광 (부경대학교 산업대학원 전산정보학과) ;
  • 여정모 (부경대학교 전자컴퓨터정보통신공학부)
  • Published : 2002.11.15

Abstract

IT 산업의 발달로 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조를 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 표현하고 이를 이용하여 워크플로우를 모델링한다. 모델링된 EMFG로 도달가능트리를 구현하여 워크플로우의 수행완료 가능성과 논리적 오류의 존재 여부를 검증한다. 또한 논리적 오류가 발생할 경우에 이를 제거하는 방법을 제안하고 이를 통해 워크플로우의 정형적 설계와 동적 분석을 가능하게 한다.

Keywords