한국정보과학회 2006 가을 학술발표논문집, v. 33, No. 2 (C), Page. 1 - 5
Abstract
과거에 비해 최근에 비즈니스 프로세스가 다양해지고 복잡해짐에 따라 비즈니스 프로세스를 디자인할 때 발생할 수 있는 문제점이 점차 증가하고 있다. 그로인해 비즈니스 프로세스 검증의 중요성이 높아지 고 있지만 많은 검증 방법이 제안되고 있지 않은 실정이다. 한편, 최근 BPMI에서 주도하는 BPMN(Business Process Modeling Notation)은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로 써 BPMN을 지원하는 디자인 툴을 이용하면 다양하고 복잡한 프로세스 환경을 일반화된 형태로 디자인 하고 분석할 수 있다. 이 논문에서는 이러한 BPMN으로 디자인할 때 발생할 수 있는 문제점들을 효율적 으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있는 에러들을 사전에 검증하여 예기치 못한 큰 비용을 줄일 수 있다.