Pha 1: Ánh xạ mơ hình q trình và nhật ký sự kiện. Tức là ánh xạ những tác vụ
trong mơ hình quá trình với những sự kiện trong nhật ký sự kiện.
Ví dụ sau minh họa quá việc ánh xạ mơ hình q trình và nhật ký sự kiện
Bảng 3.1: Ví dụ ánh xạ mơ hình q trình và nhật ký sự kiện Tác vụ trong mơ hình Sự kiện trong nhật ký Nhãn sự kiện sau khi ánh xạ A1 A A B1 B B C1 C C D1 D D
Pha 2: Xử lý, trong pha này chúng ta thực hiện ba quá trình thành phần.
Quá trình phát lại nhật ký sự kiện trên mơ hình q trình, thực hiện phương pháp phát lại được giới thiệu ở mục 3.1, để tính độ đo fitness được trình bày trong mục 2.2.1.
Q trình phân tích khơng gian trạng thái, thực hiện xây dựng tập quan hệ giữa các tác vụ trong mơ hình q trình và tập quan hệ giữa các sự kiện trong nhật ký sự kiện để tính độ đo precision nâng cao được trình bày trong mục 2.2.2.
Q trình phân tích cấu trúc thực hiện phân tích những cấu trúc tác vụ ẩn và tác vụ trùng lặp trong mơ hình để tính độ đo structure nâng cao được trình bày trong mục 2.2.3.
Pha 3: Tính tốn các độ đo fitness, precision, structure theo những công thức đã
được đề cập trong mục 2.2.1, 2.2.2, và 2.2.3, dựa trên những kết quả thu được trong pha xử lý
Pha 4: Đánh giá, tức là dựa vào những độ đo thu được từ pha 3 để đánh giá sự phù hợp của mơ hình q trình và nhật ký sự kiện.
3.4. Tóm tắt chƣơng ba
Trong chương này, khóa luận đã trình bày chi tiết về giải thuật phát lại được dùng trong quá trình phát lại để tính tốn các độ đo phù hợp được trình bày trong chương hai. Ngồi ra khóa luận đưa ra mơ hình giải quyết bài tốn. Trong đó, khóa luận tập trung vào thay đổi một khía cạnh trong phương thức phát lại, đó là cố gắng sinh ra một không gian trạng thái đầy đủ hơn để tìm kiếm đường đi ngắn nhất (chuỗi những thanh chuyển có thể cháy ngắn nhất) dẫn đến kích hoạt các thanh chuyển khơng được kích hoạt trực tiếp đang được yêu cầu trong quá trình phát lại,
nhằm hướng tới thu được kết quả phát lại chính xác hơn. Đồng thời, khơng gian
trạng thái đó cũng được sử dụng trong q trình phân tích khơng gian trạng thái để tính độ đo precision, do đó một khơng gian trạng thái đầy đủ hơn có thể sẽ cho kết quả độ đo precision chính xác hơn.
Trong chương tiếp theo, khóa luận trình bày về q trình thực nghiệm với mơ hình giải quyết bài toán và thực nghiệm với phương pháp phát lại thay đổi trên dữ liệu nhật ký sự kiện.
Chƣơng 4: THỰC NGHIỆM
Dựa vào mơ hình đề xuất ở chương ba, chúng tôi tiến hành thực nghiệm mơ hình giải quyết bài tốn bằng cách sử dụng plugin Conformance Checker tích hợp trong bộ cơng cụ mã nguồn mở ProM 5.2. Bước 1 của thực nghiệm, chúng tôi thực nghiệm mơ hình giải quyết bài tốn với giải thuật phát lại và giải thuật phát lại thay đổi, trên bộ dữ liệu một - DL1 (gồm một nhật ký sự kiện và bốn mơ hình quá trình tương ứng) được tạo ra một cách nhân tạo nhằm kiểm tra tính đúng đắn của mơ hình giải quyết bài tốn (trong bộ dữ liệu đó mức độ phù hợp của mỗi mơ hình so với nhật ký sự kiện đã được biết trước). Bước 2 của thực nghiệm, chúng tôi thực nghiệm tương tự Bước 1 trên bộ dữ liệu hai – DL2 (gồm tập những cặp mơ hình q trình và nhật ký sự kiện tương ứng, trong đó số tác vụ trong mơ hình q trình và số sự kiện trong nhật ký sự kiện lớn hơn so với DL1) để đánh giá sự thay đổi trong giải thuật phát lại có ảnh hưởng như thế nào đến kết quả thu được của các độ đo. Lý do chúng tôi chọn tập dữ liệu này là bởi trong thay đổi đề xuất, chúng tôi mở rộng không gian trạng thái để có thể tăng độ chính xác trong quá trình phân tích và xử lý, do đó cần mơ hình q trình có kích thước tương đối lớn để có thể kiểm chứng sự thay đổi nếu có.
Mơi trường và cơng cụ thực nghiệm
Cấu hình phần cứng:
Bảng 4.1: Cấu hình hệ thống thử nghiệm
Thành phần Chỉ số
CPU 2.0 GHz Core Duo Intel
RAM 2GB OS Windows7 Bộ nhớ ngoài 250GB Các phần mềm sử dụng: Bảng 4.2: Các phần mềm sử dụng STT Tên Phần mềm Nguồn 1 Eclipse – SDK 3.5
win32 http://w w w.eclips e .org / downloads 2 ProM 5.2 http://w w w.pr o m t ools . org/pr o m 5/
4.1. Dữ liệu thực nghiệm
4.1.1. Dữ liệu sử dụng trong bƣớc một của quá trình thực nghiệm (DL1)
Nguồn dữ liệu: Tải dữ liệu về từ trang web:
http://w w w.proce s s m i n ing.org/ _ media/pr o ces s m i ningbo o k/chapt e r_7 . zip Bộ dữ liệu này là bộ dữ liệu được sử dụng làm ví dụ trong chương bảy của tài liệu tham khảo [1]. Nó bao gồm một nhật ký sự kiện và bốn mơ hình q trình tương ứng: