본 논문의 목적은 특정 프로세스 마이닝 알고리즘의 기능적 정확성을 검증하고, 더 나아가 해당 알고리즘의 요구사항 충족 여부를 검증하는 데 있다. 프로세스 마이닝 알고리즘의 기능적 요구사항은 선형(순차), 분지적(선택적-OR), 결합적(병렬-AND), 반복적(반복-LOOP)과 같은 모든 구조적 프로세스 패턴을 프로세스 수행 이벤트 로그 데이터셋으로부터 탐지하고, 궁극적으로 발견된 모든 구조적 프로세스 패턴을 조립하여 구조화된 비즈니스 프로세스 모델을 구축하는 것이다. 본 논문에서 검증 및 검증의 대상으로 하는 알고리즘은 ρ-Algorithm(ρ-알고리즘)으로, 특히 표준화된 IEEE XES 이벤트 스트림 형식으로 특별히 준비된 데이터셋으로부터 구조화된 정보 제어 넷 프로세스 모델(SICN-oriented process model)을 발견하기 위해 고안되었다. 검증 및 검증을 수행하기 위해, 우리는 ρ-Algorithm을 기반으로 한 프로세스 마이닝 시스템을 성공적으로 개발하였고, 다음과 같은 상황 기반 마이닝 및 발견 시나리오에 적합한 네 가지 실제 데이터셋을 대상으로 총 네 차례의 실험을 수행하였다: Faultlessness Process, Matched-Pairing Violation but Sound Process, Matched-Pairing and Proper-Nesting Violation but Sound Process, 그리고 Nebulous Process (Adaptive Cases). 결론적으로 우리는 ρ-Algorithm이 이론적으로도 안전하며 기능적으로도 작동 가능하다는 점을 강하게 확신하며, 구현된 ρ-Algorithm 또한 비즈니스 프로세스 및 워크플로 인텔리전스 솔루션 중 하나로서 프로세스 마이닝 시스템에 실제로 적용 가능하다고 본다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.