Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2009.04a
  • /
  • Pages.479-482
  • /
  • 2009
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Detecting Structural Anomalies in a BPMN-based Business Process Model using Graph Reduction Techniques

BPMN 기반의 비즈니스 프로세스 모델에서 그래프 축소 기법을 활용한 구조적 이상 현상 검출

  • Kim, Gun-Woo (Dept of Computer Science and Engineering, Hanyang University in Ansan) ;
  • Lee, Seung Hoon (Dept of Computer Science and Engineering, Hanyang University in Ansan) ;
  • Lee, Jeong Hwa (NAVER: Developer Center in Korea) ;
  • Son, Jin Hyun (Dept of Computer Science and Engineering, Hanyang University in Ansan)
  • 김건우 (한양대학교 컴퓨터공학과) ;
  • 이승훈 (한양대학교 컴퓨터공학과) ;
  • 이정화 (네이버 서비스 기술개발센터) ;
  • 손진현 (한양대학교 컴퓨터공학과)
  • Published : 2009.04.23
Download PDF
⟨ Previous Next ⟩

Abstract

급변하는 경영 환경에서 기업의 목표나 정책목적을 실현하기 위해 많은 기업들이 비즈니스 프로세스의 중요성을 인식하게 되면서 비즈니스 프로세스 관리에 대한 관심이 높아졌다. 이러한 비즈니스 프로세스를 관리하기 위해 일반적으로 모델링 작업을 수행하게 되는데 모델링 작업 시 예기치 못한 여러 가지 이상 현상을 포함 될 수 있다. 본 논문에서는 본 연구자가 발표한 선행 논문을 바탕으로 기존의 이상 현상 검출 기법 중 그래프 축소 기법을 확장하여 모델링 단계에서 정의된 비즈니스 프로세스 모델의 구조적 이상 현상을 검출하고 명제 논리학을 이용하여 이의 타당성을 증명하였다.

Keywords