6. Bố cục của luận văn
1.5.1. Bài toán kiểm tra phù hợp
Sau khi trình bày các vấn đề liên quan đến phát hiện quy trình ở các phần trước, ở phần này, ta xem xét với trường hợp cả mô hình quy trình và bản ghi sự kiện đều đã được đưa ra. Kiểm tra phù hợp liên hệ các sự kiện trong bản ghi sự kiện vào các hoạt động trong mô hình quy trình và so sánh cả hai. Mục đích là để tìm sự tương đồng và khác biệt giữa hành vi mô hình và các hành vi quan sát. Kiểm tra phù hợp có liên quan đến sự sắp xếp kinh doanh và kiểm toán. Hơn nữa, các kỹ thuật kiểm tra phù hợp này cũng có thể được sử dụng để đo lường hiệu suất của thuật toán phát hiện quy trình và sửa chữa các mô hình không phù hợp với thực tế.
Hình 1.5: Kiểm tra phù hợp.
Kiểm tra địa phương Kiểm tra phù hợp toàn cục Kiểm tra địa phương Mô hình quy trình Bản ghi sự kiện
Hình 1.5 Minh họa các ý tưởng chính của kiểm tra phù hợp. Các hành vi của một mô hình quy trình và các hành vi ghi lại trong một bản ghi sự kiện được so sánh để thấy sự tương đồng và khác biệt. Kết quả phân tích nằm trong các biện pháp kiểm tra phù hợp toàn cục và địa phương. Việc giải thích sự không phù hợp phụ thuộc vào mục đích của mô hình. Nếu mô hình dùng để mô tả, sự khác biệt giữa mô hình và bản ghi cho thấy mô hình cần phải được cải thiện để nắm bắt thực tế tốt hơn. Nếu mô hình này là bản chuẩn, thì sự khác biệt này có thể được hiểu theo hai cách. Một số khác biệt tìm thấy có thể cho thấy những sai lệch không mong muốn hoặc khác biệt có thể cho thấy độ lệch mong muốn. Ví dụ, người lao động có thể đi làm lệch giờ để phục vụ khách hàng tốt hơn hoặc để xử lý các tình huống không lường trước của mô hình quy trình. Trong thực tế, tính linh hoạt và sự không phù hợp thường tương quan tích cực.
Khi kiểm tra phù hợp, hai góc độ quan trọng là để thấy độ lệch là: (a) mô hình này "sai" và không phản ánh thực tế ("Làm thế nào để cải thiện mô hình này?"), Và (b) Các trường hợp khác với các mô hình và hành động khắc phục là cần thiết ("Làm thế nào để cải thiện kiểm soát để thực thi một sự phù hợp tốt hơn?"). Kỹ thuật kiểm tra phù hợp nên hỗ trợ cả hai quan điểm. Do đó, hình. 1.5 cho thấy độ lệch ở cả hai bên.