본 논문은 이벤트 로그와 선언적 프로세스 모델 간의 적합성 검사를 위한 새로운 알고리즘 DeclareAligner를 제시한다. 기존 접근 방식의 확장성 및 효율성 문제를 해결하기 위해 A* 탐색 알고리즘을 활용하여 최적의 정렬을 계산한다. DeclareAligner는 제약 위반 해결에 기여하는 작업만 수행하고, 최적의 해결책으로 향하는 맞춤형 휴리스틱을 사용하며, 비생산적인 분기를 조기에 제거하고 전처리 및 여러 수정을 통합된 작업으로 통합하여 프로세스를 간소화한다. 8,054개의 합성 및 실제 정렬 문제를 사용한 평가 결과, 기존 최고 성능보다 훨씬 우수한 효율성으로 최적의 정렬을 계산할 수 있음을 보여준다.
