6. Bố cục của luận văn
1.5.2.Kiểm tra phù hợp theo trường hợp replay
Một cách tiếp cận ngây thơ đối với việc kiểm tra sự phù hợp sẽ được chỉ đơn giản là đếm phần các trường hợp có thể được "phân tích hoàn toàn" (tức là tỷ lệ các trường hợp tương ứng để thực hiện chuỗi dẫn từ [bắt đầu] đến [kết thúc]). Số liệu phù hợp ngây thơ này ít thích hợp cho các quy trình thực tế hơn vì trên thực tế, một trường hợp không thể được phân tích hoàn toàn nhưng hầu hết các sự kiện trong trường hợp đó có thể thực hiện lại. Sử dụng các số liệu phù hợp ngây thơ, các dấu vết sẽ chỉ đơn giản là được phân loại là phù hợp hoặc không phù hợp mà không quan trọng sự kiện bên trong. Do đó, ta sử dụng một khái niệm phù hợp được xác định ở cấp độ của sự kiện hiệu quả hơn là dấu vết đầy đủ.
Trong tính toán phù hợp ngây thơ vừa mô tả, ta dừng phát lại một dấu vết khi ta gặp phải một vấn đề và đánh dấu nó như không phù hợp. Bây giờ ta chỉ cần tiếp tục phát lại các dấu vết trên các mô hình nhưng ghi lại tất cả các tình huống mà một quá trình chuyển đổi buộc phải thực hiện mà không được kích hoạt, tức là, ta đếm tất cả các thẻ còn thiếu. Các loại thẻ bao gồm: Thẻ sản xuất, thẻ tiêu thụ, thẻ còn lại, thẻ bị thiếu. Các loại thẻ bao gồm: Thẻ sản xuất (thẻ p), thẻ tiêu thụ (thẻ c), thẻ còn lại (thẻ r), thẻ bị thiếu (thẻ m). Thẻ p được tạo ra khi bắt đầu một hoạt động, thẻ c được tạo khi kết thúc một hoạt động, thẻ m tạo ra khi một hoạt động không bị thiếu, thẻ r và các thẻ còn lại ở các vị trí bị thiếu hoặc lỗi.
Sau ghi phát lại toàn bộ các trường hợp, ta tính toán độ phù hợp bằng cách tính tỉ lệ các thẻ theo công thức sau:
Công thức trên tính độ phù hợp cho 1 trường hợp, để tính độ phù hợp cho cả bản ghi sự kiện, ta sử dụng công thức sau:
fitness(L,N) =
Giá trị của giá trị của độ phù hợp là từ 0 (phù hợp rất kém; không có các thẻ được sản xuất được tiêu thụ và tất cả các thẻ được tiêu thụ là mất tích) và 1 (phù hợp hoàn hảo, tất cả các trường hợp có thể được thực hiện lại mà không có bất kỳ vấn đề. Thông thường, độ phù hợp dựa trên sự kiện cao hơn so với phù hợp ngây thơ dựa trên trường hợp. Bên cạnh đó, thông qua số lượng thẻ ở từng vị trí, phát lại bản ghi sự kiện trên mô hình cũng có thể đưa ra một số chẩn đoán các vấn đề phù hợp và cho thấy mức độ nghiêm trọng của chúng.
Như hình 1.6 cho thấy, một bản ghi sự kiện có thể được chia thành hai loại: bản ghi sự kiện chỉ chứa các trường hợp phù hợp và bản ghi sự kiện chỉ bao gồm các trường hợp không phù hợp. Mỗi một bản ghi sự kiện có thể được sử dụng để phân tích thêm.
Hình 1.6: kiểm tra sự phù hợp cung cấp các biện pháp phù hợp toàn cục như fitness (L, N) và chẩn đoán địa phương.
Kiểm tra phù hợp toàn cục
Kiểm tra địa phương
Bản ghi sự kiện mới: phục vụ các kỹ thuật khai phá dữ liệu, quy
trình Phát lại
ơng
Ý tưởng để phát lại bản ghi sự kiện trên các mô hình quy trình không giới hạn trong lưới Petri mà có thể thực hiện trên các ngôn ngữ mô hình khác. Trong phần này, ta tập trung hoàn toàn vào phù hợp. Đây chỉ là một trong bốn tiêu chí chất lượng được trình bày trong phần 1.3.2. Để kiểm tra sự phù hợp, ba tiêu chí khác cũng có liên quan. Kỹ thuật phát lại cũng có thể được sử dụng để phân tích chính xác và tổng quát.