[논문 리뷰] Artifact Lifecycle Discovery

Viara Popova, Dirk Fahland외 1명|arXiv (Cornell University)|2013. 03. 11.

Business Process Modeling and Analysis참고 문헌 20인용 수 8

한 줄 요약

이 논문은 원시 이벤트 로그에서 Guard-Stage-Milestone (GSM) 표기법을 사용한 아티팩트 라이프사이클 모델을 탐색하기 위한 유연하고 모듈화된 도구 체인을 제안한다. 이는 기존의 아티팩트 중심이 아닌 프로세스 마이닝 기법의 재사용을 가능하게 한다. 로그를 아티팩트 중심의 트레이스로 분해하고, 발견된 페트리 네트워크 모델을 데이터에 의존하는 가드 조건을 갖춘 GSM으로 변환함으로써, 비즈니스 프로세스에서 복잡한 n대m 관계와 동적 제약 조건을 지원한다.

ABSTRACT

Artifact-centric modeling is a promising approach for modeling business processes based on the so-called business artifacts - key entities driving the company's operations and whose lifecycles define the overall business process. While artifact-centric modeling shows significant advantages, the overwhelming majority of existing process mining methods cannot be applied (directly) as they are tailored to discover monolithic process models. This paper addresses the problem by proposing a chain of methods that can be applied to discover artifact lifecycle models in Guard-Stage-Milestone notation. We decompose the problem in such a way that a wide range of existing (non-artifact-centric) process discovery and analysis methods can be reused in a flexible manner. The methods presented in this paper are implemented as software plug-ins for ProM, a generic open-source framework and architecture for implementing process mining tools.

연구 동기 및 목표

• 복잡한 데이터 의존성과 n대m 관계를 가진 아티팩트 중심 시스템에 전통적인 프로세스 마이닝 기법을 적용하는 데 도전하는 문제를 해결한다.
• 사전에 정의된 프로세스 경계 없이 원시이고 케이스에 관계없는 이벤트 로그에서 실행 가능하고 인간이 읽을 수 있는 GSM 모델을 발견할 수 있도록 한다.
• 기존의 아티팩트 중심이 아닌 프로세스 마이닝 도구를 활용할 수 있도록 아티팩트 라이프사이클 탐색 문제를 재사용 가능한 단계로 분해한다.
• 이벤트 로그 분석과 페트리 네트워크 의미론을 기반으로 GSM 모델의 자동 생성을 위한 데이터에 의존하는 가드 조건을 지원한다.
• 다중 아티팩트 인스턴스 간의 복잡한 상호작용, 즉 동기화 및 조건부 전이를 모델링할 수 있도록 한다.

제안 방법

• 원시 이벤트 로그—비정형적이고 케이스에 관계없는 자료—를 처리하여 아티팩트 인스턴스를 추출하고, 각 아티팩트 인스턴스별로 이벤트를 그룹화하여 아티팩트 중심의 트레이스를 형성한다.
• 각 아티팩트 중심 로그에 표준 프로세스 발굴 기법(예: 알파 마이너, 히우리스틱스 마이너)을 적용하여 페트리 네트워크로 표현된 저수준의 프로세스 모델을 생성한다.
• 이벤트 순서와 데이터 속성을 기반으로 마일스톤, 스테이지, 가드 조건을 식별하여 결과 페트리 네트워크 모델을 GSM 표기법으로 변환한다.
• 인과관계와 순서 제약 조건을 표현하기 위해 시간적 조건과 데이터 의존성 조건(예: executedAfter, hasBeenAchieved, lastToggled 비교)을 사용하여 가드를 표현한다.
• 시간적 조건의 논리적 결합(예: tokenAvailable(t_p, t_o) = ⋀_{t_s ∈ Alt(t_p,t_o)} executedAfter(t_p, t_s))을 사용하여 토큰 가용성과 활성화 논리를 모델링한다.
• 제어 흐름과 데이터 흐름의 역동성을 반영하는 명시적 가드를 갖춘 GSM 모델을 생성하여, 속성 값(예: answer = accept/reject, quality = acceptable)에 기반한 조건부 전이를 지원한다.

실험 결과

연구 질문

• RQ1 기존의 아티팩트 중심이 아닌 프로세스 마이닝 기법을 어떻게 변형하여 GSM 표기법으로 아티팩트 라이프사이클 모델을 탐색할 수 있는가?
• RQ2 원시 비정형 이벤트 로그를 아티팩트 중심 트레이스로 변환하기 위한 분해 전략은 무엇인가?
• RQ3 이벤트 로그에서 유도된 페트리 네트워크 모델을 의미론적으로 정확한 가드 조건을 갖춘 GSM 모델로 매핑하는 방법은 무엇인가?
• RQ4 이벤트 로그 데이터를 기반으로 하여 올바른 토큰 가용성과 전이 발화를 보장하는 형식적 조건은 무엇인가?
• RQ5 속성 값, 시간 순서 등 데이터 의존성 제약 조건을 자동으로 추출하고 GSM 모델의 가드로 인코딩할 수 있는가?

주요 결과

• 제안된 도구 체인은 로그를 아티팩트 중심 트레이스로 분해하고 표준 프로세스 마이닝 알고리즘을 재사용함으로써 원시 이벤트 로그를 실행 가능한 GSM 모델로 성공적으로 변환한다.
• 이 방법은 한 고객 주문이 여러 개의 자재 주문으로 이어지는 것과 같이 복잡한 n대m 관계를 지원하며, 기존의 단일 프로세스 모델로는 구현이 불가능한 상황을 다룰 수 있다.
• 결과로 생성된 GSM 모델의 가드는 executedAfter 및 hasBeenAchieved와 같은 시간적 및 데이터 의존성 조건을 자동으로 생성하여 올바른 인과적 순서를 보장한다.
• 이 방법은 속성 값(예: answer = accept/reject)에 기반한 조건부 전이를 모델링할 수 있어 더 유연하고 현실적인 프로세스 행동을 가능하게 한다.
• 도구 체인은 ProM 플러그인으로 구현되어 기존의 프로세스 마이닝 생태계와 통합 가능하며 향후 기능 개선을 위한 확장성도 제공한다.
• 이 방법은 계층적이고 병렬적인 구조를 가진 라이프사이클 모델을 탐색할 수 있으며, GSM의 직관적이고 모듈화된 성격을 반영하면서도 실행 가능한 의미론을 유지한다.