Nghiên cứu kỹ thuật khai phá quy trình và ứng dụng để phân tích quy trình yêu cầu bồi thường tại sân bay.

BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG ĐỖ PHAN TRƯỜNG NGHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG ĐỂ PHÂN TÍCH QUY TRÌNH U CẦU BỒI THƯỜNG TẠI SÂN BAY Chuyên ngành: Hệ thống thơng tin Mã số: 60.48.01.04 TĨM TẮT LUẬN VĂN THẠC SĨ HỆ THỐNG THÔNG TIN Đà Nẵng - Năm 2016 Cơng trình hồn thành ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: TS PHẠM ANH PHƯƠNG Phản biện 1: TS Nguyễn Trần Quốc Vinh Phản biện 2: GS TS Nguyễn Thanh Thủy Luận văn bảo vệ trước Hội đồng chấm Luận văn tốt nghiệp thạc sĩ Hệ thống thông tin họp Đại học Đà Nẵng vào ngày 31 tháng năm 2016 Có thể tìm hiểu luận văn tại: - Trung tâm Thơng tin-Học liệu, Đại học Đà Nẵng - Thư viện trường Đại học Sư phạm, Đại học Đà Nẵng MỞ ĐẦU Tính cấp thiết đề tài Trong lĩnh vực hoạt động, quan, tổ chức, doanh nghiệp dù lớn hay nhỏ muốn thực cơng việc phải thực theo quy trình nghiệp vụ định sẵn Cùng với phát triển công nghệ thông tin, ngày có nhiều thơng tin quy trình nghiệp vụ lưu lại hệ thống thông tin dạng ghi kiện, ghi kiện có đặc điểm phản ánh cách trung thực, xác xảy thực tế Tuy nhiên, gần đây, thơng tin tổ chức, doanh nghiệp sử dụng để phân tích việc thực quy trình nghiệp vụ quan, tổ chức, doanh nghiệp Ý tưởng khai phá quy trình nghiệp vụ trích xuất thơng tin từ ghi kiện để khai phá mô hình quy trình nghiệp vụ Những mơ hình dùng để phân tích quy trình, phát vấn đề sai lệch từ đề xuất điều chỉnh, thiết kế lại quy trình cách xác mang lại hiệu công tác cao Với lợi ích mà mang lại, khai phá quy trình trở thành hướng nghiên cứu thu hút quan tâm nhà nghiên cứu lĩnh vực quản lý quy trình nghiệp vụ (BPM) giới nghiên cứu khoa học máy tính Trong năm gần đây, bên cạnh việc nghiên cứu cải tiến giải thuật khai phá quy trình, nhà nghiên cứu giới tập trung nghiên cứu ứng dụng kỹ thuật khai phá quy trình vào lĩnh vực cụ thể lĩnh vực y tế, giáo dục, tài kinh doanh, thương mại v.v… Ngày có nhiều nhà cung cấp phần mềm bổ sung chức khai thác quy trình vào cơng cụ họ Mục tiêu nghiên cứu - Tìm hiểu cách tổng quan khai phá quy trình nghiệp - Nghiên cứu số thuật toán sử dụng khai phá quy vụ trình nghiệp vụ Qua so sánh, đánh giá ưu nhược điểm thuật tốn - Sử dụng thuật tốn cơng cụ khai phá quy trình nghiệp vụ để minh họa ứng dụng khai phá quy trình xử lý yêu cầu bồi thường sân bay với liệu thực tế mô tả tài liệu W.M.P van der Aalst (2011), Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer Verlag, Berlin Đối tƣợng phạm vi nghiên cứu Đối tượng nghiên cứu - Kỹ thuật khai phá quy trình - Các thuật tốn khai phá quy trình - Cơng cụ khai phá quy trình ProM Phạm vi nghiên cứu - Tập trung nghiên cứu số thuật tốn ứng dụng khai phá quy trình nghiệp vụ - Sử dụng liệu kiện quy trình đăng kí u cầu bồi thường sân bay trình bày tài liệu W.M.P van der Aalst (2011), Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer - Verlag, Berlin để mô kỹ thuật khai phá quy trình - Phương pháp thu thập thơng tin: Tìm kiếm tài liệu từ sách, giáo trình, báo cáo, internet Phƣơng pháp nghiên cứu - Phương pháp so sánh: Tổng hợp đối chiếu tài liệu thu để đưa nhìn tổng quan kỹ thuật khai phá quy trình thuật tốn khai phá quy trình - Phương pháp chuyên gia: Tham vấn từ người có kinh nghiệm nhằm hoàn thiện nội dung cần nghiên cứu - Phương pháp thực nghiệm: Thực nghiệm khai phá quy trình xử lý yêu cầu bồi thường khách sân bay Bố cục đề tài - Chương 1: Tổng quan khai phá quy trình, giới thiệu ý tưởng, mục đích khai phá quy trình nghiệp vụ, giới thiệu kỹ thuật mơ hình quy trình số hạn chế kỹ thuật đó, giới thiệu tốn khai phá quy trình Q đó, cho thấy ý nghĩa tầm quan trọng việc ứng dụng khai phá quy trình nghiệp vụ quan, doanh nghiệp… - Chương 2: Một số thuật tốn khai phá quy trình, giới thiệu chi tiết ba số thuật toán thường sử dụng khai phá quy trình nghiệp vụ, là: thuật tốn khai phá quy trình Anpha, thuật tốn khai phá quy trình Heuristic thuật tốn khai phá quy trình di truyền, qua so sánh đánh giá ưu, nhược điểm thuật toán - Chương 3: Ứng dụng khai phá quy trình xử lý yêu cầu bồi thường sân bay, giới thiệu cách tổng quan cơng cụ khai phá quy trình ProM Qua ứng dụng ProM để khai phá quy trình xử lý yêu cầu bồi thường sân bay thuật tốn trình bày chương Kết khai phá góp phần mơ tả chi tết đánh giá cụ thể ưu nhược điểm thuật tốn khai phá quy trình trình bày - Phần Kết luận tổng kết kết đạt đưa hướng phát triển luận văn tương lai CHƢƠNG TỔNG QUAN VỀ KHAI PHÁ QUY TRÌNH 1.1 GIỚI THIỆU CHUNG VỀ KHAI PHÁ QUY TRÌNH Theo Van der Aalst: Ý tưởng khai phá quy trình để khám phá, giám sát cải thiện quy trình thực cách trích xuất tri thức từ ghi kiện có sẵn hệ thống thơng tin ngày Khai phá quy trình thiết lập liên kết, mặt quy trình thực tế liệu chúng, mặt khác quy tình thực tế mơ hình quy trình Chiết tách liệu phần thiếu nỗ lực khai thác quy trình liệu lưu hệ thống thông tin thường không cấu trúc sẵn Bản ghi kiện sử dụng ba loại khai phá quy trình Đó phát quy trình, kiểm tra phù hợp, cải thiện quy trình 1.2 MƠ HÌNH QUY TRÌNH VÀ PHÂN TÍCH MƠ HÌNH THEO QUY TRÌNH 1.2.1 Mơ hình hóa quy trình Ngày nay, hoạt động kinh doanh trở nên phức tạp Mơ hình q trình hỗ trợ quản lý phức tạp cách cung cấp nhìn sâu sắc mơ hình lập hồ sơ thủ tục Kết là, mơ hình quy trình sử dụng rộng rãi tổ chức Tạo mơ hình nhiệm vụ khó khăn dễ bị lỗi lỗi điển hình bao gồm: mơ hình mơ tả phiên lý tưởng thực tại, mơ hình khơng có khả để nắm bắt đầy đủ hành vi người mơ hình mức độ trừu tượng sai 1.2.2 Một số ngơn ngữ mơ hình quy trình a Mạng Petri Mạng Petri xem ngôn ngữ mang tính tượng trưng cao dễ dàng giao tiếp nhà thiết kế khác giới thuận lợi dễ dàng cho người sử dụng Trong lĩnh vực khai phá quy trình mạng Petri sử dụng rộng rãi để mơ hình hóa luồng quy trình dựa vào ghi kiện b Mạng Workflow Khi mơ hình hóa quy trình nghiệp vụ dạng mạng Petri ta thường quan tâm đến tập mạng Petri gọi mạng luồng công việc [10] (Workflow nets hay WF-nets) 1.2.3 Phân tích quy trình dựa mơ hình Phân tích quy trình dựa mơ hình bao gồm kiểm tra quy trình phân tích hiệu suất quy trình Kiểm tra quy trình tập trung vào đắn hệ thống quy trình Phân tích hiệu suất tập trung vào số dòng cơng việc, thời gian chờ, dịch vụ sử dụng mức độ 1.2.4 Giới hạn phân tích quy trình dựa mơ hình Kiểm định phân tích hiệu suất phụ thuộc nhiều vào sẵn có mơ hình chất lượng cao Khi mơ hình thực tế có điểm chung, phân tích dựa mơ hình khơng có ý nghĩa nhiều Khai phá quy trình giải vấn đề cách thiết lập kết nối trực tiếp mơ hình liệu kiện cấp thấp thực tế trình 1.2.5 Các thao tác nhật ký kiện mơ hình quy trình Play-out có đầu vào mơ hình mục tiêu thu thập số liệu thống kê khoảng tin cậy cách chạy liên tục mơ hình thơng qua mơ Play-in, tức là, hành vi mẫu lấy làm đầu vào mục tiêu xây dựng mơ hình Replay sử dụng ghi kiện mơ hình quy trình đầu vào Nhật ký kiện "tái lại" đỉnh mơ hình quy trình cho mục đích khác kiểm tra phù hợp, mở rộng mơ hình với tần số thơng tin thời gian, xây dựng mơ hình dự báo, hỗ trợ hoạt động 1.3 BÀI TỐN PHÁT HIỆN QUY TRÌNH 1.3.1 Nhật ký kiện Bản ghi kiện (event log) hay gọi ghi luồng cơng việc thành phần kỹ thuật khai phá quy trình xem đầu vào kỹ thuật khai phá quy trình Các ghi chứa thơng tin kiện quy trình xảy hệ thống, sử dụng để khai phá mơ hình, mở rộng mơ hình tồn hay tính tốn chất lượng 1.3.2 Phát quy trình a Đặc vấn đề phát quy trình Ta xác định mục tiêu mơ hình mạng Petri Ta sử dụng ghi kiện đơn giản làm đầu vào Mục tiêu khám phá lưới Petri "phát lại" ghi kiện đầu Có bốn tiêu chất lượng mơ hình quy trình phát hiện: tính phù hợp, tính xác, tính khái quát, tính đơn giản b Phát lại quy trình Phát sử dụng mơ hình quy trình một vài lần từ ghi kiện ban đầu điều khơng hiệu Thay vào cần có kỹ thuật để kiểm tra tính xác thuật tốn, phát lại quy trình, từ có biện pháp tối ưu thuật tốn mơ hình quy trình Điểm bắt đầu phát lại quy trình mơ hình quy trình Dựa mơ hình chạy nhiều thí nghiệm mơ ghi lại kiện mô ghi kiện Vấn đề đặc mơ hình phát lại N’ mơ hình gốc N có tương đương Tương đương xem xét nhiều mức độ khác Tất nhiên ý định phát lại quy trình khơng nhắm đến tên hay bố cục ban đầu mà tập trung nhiều vào hành vi so sánh mơ hình phát lại với mơ hình gốc 1.4 KIỂM TRA PHÙ HỢP 1.4.1 Bài tốn kiểm tra phù hợp Kiểm tra phù hợp liên hệ kiện ghi kiện vào hoạt động mơ hình quy trình so sánh hai Mục đích để tìm tương đồng khác biệt hành vi mơ hình hành vi quan sát Các hành vi mô hình quy trình hành vi ghi lại ghi kiện so sánh để thấy tương đồng khác biệt 10 sửa chữa mơ hình đánh giá thuật tốn q trình khám phá Hơn nữa, thông qua việc kiểm tra phù hợp ghi kiện kết nối với mơ hình quy trình cung cấp sở cho tất loại phân tích 1.5 MỞ RỘNG QUY TRÌNH Mơ hình quy trình mở rộng cách thêm quan điểm quan điểm tổ chức, quan điểm thời gian, quan điểm trường hợp, số quan điểm khác từ ta hiểu rõ tính hiệu mơ hình quy trình nắm khả ứng phó với nhiều trường hợp thực tiễn quy trình, từ có có biện pháp khắc phục, sửa chữa quy trình cho hiệu tương thích với thực tế 1.5.1 Thêm quan điểm tổ chức Các ghi kiện ln có số thuộc tính, thuộc tính thơng thường ln có thuộc tính nguồn lực liên quan đến hoạt động quy trình Bằng cách phân tích ghi kiện vậy, phân tích mối quan hệ nguồn lực hoạt động 1.5.2 Thêm quan điểm thời gian xác suất Các quan điểm thời gian liên quan tới thời gian tần số kiện Trong hầu hết ghi kiện, kiện có nhãn thời gian Sự diện nhãn thời gian cho phép phát vướng mắc, phân tích mức dịch vụ, giám sát việc sử dụng tài nguyên, dự đốn thời gian xử lý trường hợp chạy lại 11 1.5.3 Thêm quan điểm trƣờng hợp Các kỹ thuật khai phá định sử dụng nhằm mục đích tìm quy tắc giải thích lựa chọn đặc điểm trường hợp Khi đó, kỹ thuật phân loại định sử dụng để tìm nguyên tắc 12 CHƢƠNG II MỘT SỐ THUẬT TOÁN KHAI PHÁ QUY TRÌNH 2.1 THUẬT TỐN ALPHA Thuật tốn Alpha xem thuật toán khái phá quy trình giải thỏa đáng hoạt động đồng thời 2.1.1 Đầu vào thuật toán Đầu vào thuật toán Alpha ghi kiện Tuy nhiên, thuật toán Alpha xem xét đến trường mã trường hợp trường hoạt động mà không xem xét đến trường nhãn thời gian nguồn lực Ngoài ra, để khám phá cấu trúc quy trình, thuật tốn Alpha không sử dụng tần suất xuất vết kiện ghi kiện, tức tần suất xuất vết kiện không cung cấp thêm thơng tin cho q trình khai phá 2.1.2 Thuật toán: Thuật toán Alpha sử dụng khái niệm >W, →W, ||W #W để thu thơng tin quy trình Thuật tốn Alpha miêu tả việc khám phá quy trình dựa mạng Petri Thuật toán Alpha biến đổi ghi kiện W thành mạng Petri (Pw, Tw, Fw) Thuật tốn sử dụng phép tính tốn học bản, mối quan hệ >W, →W, ||W #W; chức first last để lấy phần tử cuối từ vết kiện 13 2.1.3 Ý tƣởng thuật toán Alpha Thuật toán Alpha cho hai hoạt động x y kết nối với thơng qua vị trí x →W y Nếu hoạt động x y xảy đồng thời, chúng xảy theo thứ tự nào, tức x nối y ngược lại Vì vậy, thuật tốn Alpha cho hoạt động x y xảy đồng thời x ||W y Nếu x →W y x →W z, phải có nhiều vị trí để nối chúng lại với cho x với y nhánh x với z nhánh khác Nếu y ||w z nên có nhiều điểm để thực đồng thời Nếu y #w z nên có điểm để đảm bảo có nhánh chọn 2.1.4 Giới hạn thuật toán Alpha Thuật toán Alpha tập trung dành riêng cho quan điểm điều khiển luồng, khơng thể sử dụng để phân tích quan điểm khác Mặc dù vậy, thuật toán Alpha khám phá thành công số vấn đề thường gặp khai phá quy trình Hai lớp vấn đề mà thuật toán Alpha khơng giải là: (i) vấn đề logic (ii) vấn đề kết từ kiện ghi nhận bị lỗi, kiện có khơng với trạng thái “bình thường” kiện không đầy đủ 2.2 THUẬT TỐN KHAI PHÁ QUY TRÌNH HEURISTIC (HM) HM tập trung khai phá quan điểm điều khiển luồng mơ hình quy trình HM xem xét thự tự kiện trường hợp, thứ tự kiện trường hợp không 14 quan trọng Tuy nhiên, HM quan tâm đến tần suất xuất vết kiện ghi kiện Chính điều giúp HM dễ dàng đối phó với kiện lỗi, kiện có tần suất thấp, kiện khơng đầy đủ, v.v 2.2.1 Đầu vào đầu thuật toán Đầu vào HM ghi kiện đầu mơ hình quy trình biểu diễn dạng mạng Causal thay biểu diễn dạng mạng Petri thuật toán Alpha HM quan tâm đến tần suất xuất vết kiện ghi kiện 2.2.2 Thuật toán khai phá quy trình Heuristic Để xây dựng mơ hình quy trình ghi kiện, ghi phân tích phụ thuộc vào quan hệ nhân quả, ví dụ hoạt động ln theo sau hoạt động khác có khả tồn mối quan hệ phụ thuộc hai hoạt động - Bước 1: Khai phá đồ thị phụ thuộc - Bước 2: Khai phá điểm tách/nhập - Bước 3: Khai phá phụ thuộc khoảng cách xa 2.2.3 Kết luận thuật toán khai phá quy trình Heuristic HM xây dựng dựa ý tưởng thuật toán Alpha Tuy nhiên, khác với thuật toán Alpha, HM sử dụng tần suất xuất vết kiện ghi kiện để xác định khả xảy “phụ thuộc quan hệ” hoạt động hay tồn vòng lặp cấu trúc khác Chính điểm khác biệt làm cho HM có khả đối phó tốt với kiện lỗi, kiện xảy hay kiện khơng đầy đủ, khai phá thành cơng 15 quy trình có cấu trúc vòng lặp ngắn cấu trúc phụ thuộc khoảng cách xa đơn giản Tuy nhiên, cấu trúc phụ thuộc khoảng cách xa phức tạp hay cấu trúc có hoạt động trùng lặp thuật tốn khai phá quy trình Heuristic khơng thể khai phá thành cơng 2.3 THUẬT TỐN KHAI PHÁ QUY TRÌNH DI TRUYỀN (GPM) Thuật tốn di truyền phương pháp nghiên cứu cố gắng để bắt chước quy trình tiến hóa Thuật tốn bắt đầu với quần thể ban đầu chứa cá thể Mỗi cá thể gán với đơn vị đo độ phù hợp chất lượng cá thể Trong khai phá quy trình, cá thể xem mơ hình quy trình phù hợp hàm ước lượng cho biết cá thể mơ trạng thái ghi kiện tốt đến mức Sự tiến hóa quần thể thực cách lựa chọn cá thể thích hợp tạo cá thể cách sử dụng toán tử di truyền toán tử giao toán tử đột biến 2.3.1 Thuật toán di truyền (GA) Trong thuật tốn di truyền có bước: (a) khởi tạo, (b) lựa chọn, (c) tái sản xuất (d) kết thúc (a) Khởi tạo: quần thể ban đầu tạo ra, cá thể mơ hình quy trình (b) Lựa chọn: phù hợp cá thể tính tốn Những thể có độ phù hợp tốt lựa chọn để tái sản xuất 16 (c) Tái sản xuất (sinh sản): sử dụng phép toán di truyền (phép đột biến, phép giao nhau) để tạo cá thể Sau tiếp tục lựa chọn lại cá thể tốt (d) Kết thúc tìm giải pháp thỏa đáng (tức có mơ hình có phù hợp mong muốn) 2.3.2 Một số lựa chọn thiết kế cần thực a Sự biểu diễn cá thể: b Sự khởi tạo c Hàm phù hợp d Lựa chọn chiến lược e Giao đột biến 2.3.3 Kết luận thuật toán khai phá quy trình di truyền Khai phá quy trình di truyền thuật tốn khai phá quy trình linh hoạt mạnh mẽ Giống thuật tốn HM đối phó với kiện lỗi kiện không đầy đủ Bằng cách thay đổi hàm phù hợp, ưu tiên cho cấu trúc cụ thể Ưu điểm khai phá quy trình di truyền dễ dàng cung cấp thực song song Nó hữu ích để kết hợp Heuristic với GPM Việc giúp tiết kiệm thời gian tính tốn dẫn đến mơ hình khơng thu thơng qua thuật tốn tìm kiếm thơng thường dựa phụ thuộc cục Tuy nhiên, giống hầu hết phương pháp tiếp cận dựa thuyết tiến hóa, GPM khơng hiệu mơ hình ghi kiện lớn Có thể nhiều thời gian để tìm mơ hình quy trình có độ phù hợp chấp nhận 17 CHƢƠNG III ỨNG DỤNG KHAI PHÁ QUY TRÌNH XỬ LÝ YÊU CẦU BỒI THƢỜNG TẠI SÂN BAY 3.1 BÀI TOÁN KHAI PHÁ QUY TRÌNH XỬ LÝ YÊU CẦU BỒI THƢỜNG TẠI SÂN BAY Quy trình xử lý yêu cầu bồi thường sân bay quy trình sử dụng tài liệu [11] để minh họa kỹ thuật khai phá quy trình Quy trình thực việc xử lý yêu cầu bồi thường khách hàng sân bay Bắt đầu quy trình hoạt động đăng ký yêu cầu khách hàng, sau hoạt động kiểm tra thông thường kiểm tra kỹ kiểm tra vé thực hiện, tiếp đến hoạt động định, kết hoạt động định bắt đầu lại yêu cầu, tức thực lại hoạt động kiểm tra, định chi trả bồi thường hay từ chối yêu cầu, quy trình kết thúc sau thực định chi trả bồi thường từ chối yêu cầu 3.1.1 Đầu vào tốn Quy trình xử lý yêu cầu bồi thường sân bay mà luận văn xem xét khơng có mơ hình tiên nghiệm Ta có ghi kiện quy trình Bản ghi kiện sử dụng ghi LFull mô tả [11, tr 195] Bản ghi chứa thông tin mã trường hợp tên hoạt động khơng có thơng tin nguồn lực hay nhãn thời gian,… Bản ghi LFull gồm 1391 trường hợp phân phối 21 vết khác 18 3.1.2 Đầu tốn Mục đích khai phá quy trình xử lý yêu cầu bồi thường sân bay tìm mơ hình quy trình xử lý yêu cầu bồi thường sân bay Đầu mơ hình Petri net WF Net có độ phù hợp cao 3.1.3 Hƣớng giải toán Ta sử dụng thuật tốn giới thiệu chương để tìm mơ hình quy trình phù hợp Để khai phá hiệu quả, ta sử dụng công cụ ProM để tiến hành khai phá Bộ công cụ ProM cung cấp nhiều cơng cụ, thuật tốn để xử lý ghi, phát quy trình, kiểm tra phù hợp cải thiện quy trình 3.2 CƠNG CỤ KHAI PHÁ QUY TRÌNH PROM 3.2.1 Giới thiệu chung cơng cụ khai phá quy trình ProM Bộ cơng cụ ProM mơi trường “plug-able” cho khai phá quy trình sử dụng MXML (nay phát triển thành XES) định dạng đầu vào Mục đích phiên cung cấp phổ biến cho tất kỹ thuật khai phá quy trình Với cách này, nhiều người phát triển thuật tốn khai phá quy trình mà khơng lo lắng việc trích xuất liệu, chuyển đổi liệu tải liệu ghi kiện Hơn nữa, loại mơ hình chuẩn mạng Petri, EPCs mạng xã hội hiển thị mặc định cung cấp framework [7], [11] 19 3.2.2 Các chức công cụ khai phá quy trình ProM Như trình bày trên, ProM cung cấp nhiều chức nhờ vào flugin như: khai phá, phân tích, nhập liệu, xuất liệu, chuyển đổi, lọc liệu ProM phiên 5.2 tích hợp gần 300 flugin cho phép người dùng khai phá quy trình máy tính cục cho phép người dùng tương tác trực tiếp ProM 5.2 hỗ trợ nhiều thuật toán khai phá quy trình FSM miner, Fuzzy miner, region miner, Social network miner, decision miner,… Giao diện trực quan ProM phiên 5.2 cho phép người dùng xếp, quan sát làm việc tương đối hiệu ProM 6.5 phát triển thời gian gần Phiên hỗ trợ nhiều flugin cho phép người dùng tự đặt flugin thông qua chức quản lý gói flugin Giao diện sử dụng ProM 6.5 chia làm ba không gian: không gian làm việc (Workspace), hoạt động (action) khung nhìn (view) ProM trở thành chuẩn (khơng thức) cho khai phá quy trình Nhìn chung, ProM ProM hỗ trợ đắc lực cho nhu cầu khai phá quy trình Tuy nhiên, nói ProM tương đối thích hợp cho nghiên cứu sử dụng ProM 6, ngược lại, ProM tương đối thích hợp cho khai phá chuyên nghiệp ProM 20 3.3 THỰC NGHIỆM KHAI PHÁ QUY TRÌNH XỬ LÝ YÊU CẦU BỒI THƢỜNG TẠI SÂN BAY 3.3.1 Khai phá quy trình xử lý yêu cầu bồi thƣờng thuật toán Alpha Thực phát quy trình từ ghi LFull thuật tốn Alpha, ta mơ hình quy trình hình 3.12 Hình 3.12: Kết khai phá quy trình xử lý yêu cầu bồi thường sân bay thuật toán Alpha Thực khai phá quy trình thuật tốn alpha với ghi có vết kiện lỗi cho mơ hình kết có độ phù hợp bị giảm 3.3.2 Khai phá quy trình xử lý yêu cầu bồi thƣờng thuật toán Heuristic mining Từ ghi kiện mô tả bảng 3.1, ta sử dụng thuật toán HM, với tham số thiết lập cách mặc định kết hợp với điều kiện All tasks connected, kết nối tần suất thấp, cụ thể kết nối F C không xuất Tuy nhiên, thiết lập tham số ngưỡng phụ thuộc σa = 0.9 tham số so với ngưỡng tốt σr = 0.1 kết nối tần suất thấp từ F đến C 21 chấp nhận Đồ thị kết đầy đủ, có kết hợp với tần suất thơng tin cho cung đưa hình 3.15 Hình 3.15: Mơ hình kết khai phá quy trình thuật tốn HM thiết lập tham số σa = 0.90 σr = 0.1 (Kết nối tần suất thấp F C chấp nhận) Thực khai phá quy trình thuật tốn HM với ghi kiện có kiện trùng lặp cho kết có độ phù hợp thấp 3.3.3 Khai phá quy trình yêu cầu bồi thƣờng thuật tốn khai phá quy trình di truyền Từ ghi kiện LFull’ có vết kiện lỗi 24 vết kiện có trùng lặp, ta sử dụng thuật toán GPM để phát Khi kết q trình khai phá tập quần thể (tương ứng mơ hình) có mơ hình có độ phù hợp cao 22 Hình 3.18: Một cá thể có độ phù hợp gần 3.3.4 Đánh giá thuật toán Sau thực nghiệm thuật toán Alpha, Heuristic GPM với ghi kiện LFull khơng có kiện lỗi tồn kiện lỗi, ta thấy rằng, thuật toán Alpha HM thực nhanh nhiều so với thuật toán GPM Nhưng xét chất lượng kết đầu độ phù hợp mơ hình kết - thuật toán GPM cho kết tốt 23 KẾT LUẬN KẾT QUẢ ĐẠT ĐƢỢC Luận văn tập trung giới thiệu cách tổng quan khai phá quy trình nghiệp vụ, giúp người đọc nắm ý tưởng, mục đích, tốn khai phá quy trình Trong đó, luận văn tập trung tìm hiểu kỹ quan điểm điều khiển luồng quy trình cách giới thiệu ba thuật toán khai phá quy trình, qua đánh giá ưu, nhược điểm thuật toán Trên sở thuật toán trình bày, luận văn tiến hành minh họa ứng dụng khai phá quy trình nghiệp vụ cách sử dụng liệu ghi mô tả tài liệu [11] Thông qua kết khai phá, luận văn minh họa rõ thuật tốn khai phá quy trình trình bày chương góp phần đánh giá ưu nhược điểm thuật tốn khai phá quy trình HẠN CHẾ Trong khn khổ trình bày luận văn, kỹ thuật phát quy trình kiểm tra phù hợp chưa trình bày chi tiết Bên cạnh đó, luận văn nghiên cứu số thuật toán phát quy trình Luận văn nghiên cứu thuật toán liên quan đến quan điểm điều khiển luồng Các quan điểm khác quan điểm tổ chức quan điểm trường hợp chưa nghiên cứu kỹ 24 HƢỚNG PHÁT TRIỂN Qua đạt hạn chế tồn Và bên cạnh ý nghĩa thực tế khai phá quy trình, luận văn đưa số hướng mở để phát triển đề tài như: - Tiếp cục tìm hiểu số thuật tốn phát quy trình khai phá theo vùng (Region-Based Mining) - Tiếp tục tìm hiểu số thuật tốn liên quan đến quan điểm tổ chức quan điểm trường hợp kết hợp với thuật tốn điều khiển luồng để hồn thiện quy trình với cấu trúc tổ chức cụ thể ... III ỨNG DỤNG KHAI PHÁ QUY TRÌNH XỬ LÝ YÊU CẦU BỒI THƢỜNG TẠI SÂN BAY 3.1 BÀI TỐN KHAI PHÁ QUY TRÌNH XỬ LÝ YÊU CẦU BỒI THƢỜNG TẠI SÂN BAY Quy trình xử lý yêu cầu bồi thường sân bay quy trình sử dụng. .. nghiên cứu Đối tượng nghiên cứu - Kỹ thuật khai phá quy trình - Các thuật tốn khai phá quy trình - Cơng cụ khai phá quy trình ProM Phạm vi nghiên cứu - Tập trung nghiên cứu số thuật tốn ứng dụng. .. toán khai phá quy trình, giới thiệu chi tiết ba số thuật toán thường sử dụng khai phá quy trình nghiệp vụ, là: thuật tốn khai phá quy trình Anpha, thuật tốn khai phá quy trình Heuristic thuật