Bài giảng khai phá quy trình - Chương 5: Kiểm tra phù hợp

BÀI GIẢNG KHAI PHÁ QUY TRÌNHCHƯƠNG 5. KIỂM TRA PHÙ HỢPPGS. TS. HÀ QUANG THỤYHÀ NỘI 01-2015TRƯỜNG ĐẠI HỌC CÔNG NGHỆĐẠI HỌC QUỐC GIA HÀ NỘI*Nội dungBa thao tác nhật ký sự kiện và mô hình quy trìnhBài toán kiểm tra phù hợpKiểm tra phù hợp theo trường hợp: ReplayKiểm tra phù hợp theo ma trận vết*1. Ba thao tác điển hìnhGiới thiệuMối quan hệ nhật ký sự kiện và mô hình quy trình:Play-inPlay-outReplayPlay-inBài toán phát hiện quy trìnhInput: Nhật ký sự kiệnOutput: Mô hình quy trìnhNội dung: Họ thuật toán , +, ++ và các biến thế (khai phá khía cạnh bổ sung)*Play-inPlay-in: phát hiện mô hình quy trình*Ví dụ phát hiện mô hình quy trình Play-inVí dụNhật ký sự kiện L1:6 trường hợp3 trường hợp 2 trường hợp 1 trường hợp Mô hình quy trìnhLưới Petri N=P={start, p1, p2, p3, p4, end} start: xuất phát, end: kết thúcT={a, b, c, d, e}F= {(start,a), (a,p1), (a,p2), (p1,b), (p1,e), (b,p3), (e,p3), (p3,d), (p2,e), (p2,c), (e,p4), (c,p4), (p4,d), (d,end)}Phát hiện quy trìnhL1  NN  {, , } ~ L1Tương ứng giữa L1 và N*Thách thức với phát hiện quy trìnhTiêu chí chất lượng phát hiện quy trìnhHành vi được mô hình sinh ra = hành vi đạt được = dãy thanh chuyển đi từ vị trí ban đầu tới vị trí kết thúc nhờ cháy các thanh chuyển. Ví dụ, tập đạt được của N là 3 hành vi (xem trang trước)Bốn tiêu chí thỏa hiệp đối với mô hình quy trình kết quảĐộ phù hợp (Fitness): Mô hình quy trình nên chấp nhận các hàng vi thấy được trong nhật ký sự kiện. Số hành vi MH sinh ra thuộc nhật ký sự kiện / số hành vi thuộc nhật ký sự kiệnĐộ chính xác (Precision): Mô hình quy trình không nên chấp nhận các hành vi không thấy được hoàn toàn trong nhật ký sự kiện (tránh được phù hợp quá thấp underfitting) Số hành vi MH sinh ra thuộc nhật ký sự kiện / số hành vi do MH sinh ra*Thách thức (2)Tiêu chí chất lượng phát hiện quy trìnhĐộ khái quát (Generalization): Mô hình quy trình nên khái quát được các hành vi thấy được trong nhật ký sự kiện (tránh được quá phù hợp overfitting) Số hành vi do MH sinh ra / số hành vi do MH sinh ra thuộc nhật ký sự kiệnĐộ đơn giản (Simplicity): Mô hình quy trình nên đơn giản nhất có thể được. Còn được gọi là tính cấu trúc (Structure) Kích thước của lưới (số lượng vị trí, thanh chuyển, cung nối) càng nhỏ càng tốt. Điều náy đặc biệt quan trọng vì các mô hình (lưới Petri) kết quả thường rất phức tạpMinh họaTrang sau: Một NKSK với 4 mô hình quy trình*Ví dụ các độ đo mô hình kết quả*Play-out và ReplayPlay-outInput: Mô hình quy trìnhOutput: Nhật ký sự kiện (kiểm tra phù hợp)ReplayInput: Nhật ký sự kiện, Mô hình quy trình Output: Các thông tin bổ sung (tăng cường)Kết nối các sự kiện để mô hình hóa các yếu tố cần thiết cho khai phá quy trình*Play-outReplay2. Bài toán kiểm tra sự phù hợpĐối sánh mô hình quy trình với nhật ký sự kiệnPhát hiện sự không phù hợpInput: Một nhật ký sự kiện và Một mô hình quy trìnhOutput: Độ phù hợp giữa mô hình quy trình với nhật ký sự kiện*Đối sánhKTphù hợp: hành vi quan sát được  hành vi được mô hình hóa.Phù hợp toàn cục định lượng độ phù hợp tổng thể của mô hình- nhật ký SK.Phù hợp cục bộ làm nổi bật các nút trong mô hình và trường hợp trong nhật ký sự kiện không nhất trí: trực quan hóa cao.*Vì sao phải kiểm tra phù hợpQuản trị doanh nghiệp, rủi ro, tuân thủ, và pháp luậtĐạo luật Sarbanes-Oxley (Mỹ), Basel II / III (EU), J-SOX (Nhật Bản), C-SOX (Canada), 8 EU Chỉ thị (EURO-SOX), BilMoG (Đức), MiFID (EU), Luật 262/05 (Ý), Quy định Lippens (Bỉ), và Quy định Tabaksblat (Hà Lan)ISO 9001:2008yêu cầu các tổ chức mô hình quy trình hoạt động của họ Liên kết kinh doanhđảm bảo rằng các HTTT và các QT kinh doanh thực sự được liên kết tốt.*Kiểm toánKhái niệmviệc đánh giá của các tổ chức và quy trình của họ.Nội dung liên quanKT được thực hiện để xác định giá trị và độ tin cậy của thông tin về tổ chức và các quy trình liên quan.KT được thực hiện để kiểm tra các quy trình kinh doanh có được thực hiện trong phạm vi do các nhà quản lý, chính quyền và các bên liên quan khác thiết lập hay không.Khai phá quy trình có thể giúp phát hiện gian lận, sơ suất, rủi ro và thiếu hiệu quả.Qua kiểm toán, mọi sự kiện trong một quy trình kinh doanh có thể được đánh giá và điều đó có thể được thực hiện trong khi quy trình vẫn chạy.*Độ lệchMô hình hay nhật ký sự kiện “sai” ?Độ lệch mong muốn hay không mong muốn ?“Phá vỡ bình thủy tinh” cho phép bảo vệ cuộc sống ? (“breaking a glass” thành ngữ làm vỡ ly thủy tinh trong đám cưới).*3. KTPH theo trường hợp: ReplayReplayKiểm tra từng trường hợp trong mô hình quy trìnhReplay có thể phát hiện vấn đề*ReplayReplayCó thể phát hiện thông tin thời gianThời gian trung bình hoàn thành một hành động*Replay: Kiểm tra phù hợp*Một nhật ký và 4 mô hình*Replay: xem xét từng vết*Replay 1 vào N1p (thẻ được tạo ra), c (thẻ được tiêu thụ), m (thẻ thiếu), và r (thẻ còn lại)*Replay 1 vào N1 (2)p (thẻ được tạo ra), c (thẻ được tiêu thụ), m (thẻ thiếu), và r (thẻ còn lại)*Replay 1 vào N1Thành công !*Replay 3 vào N2 *p (thẻ được tạo ra), c (thẻ được tiêu thụ), m (thẻ thiếu), và r (thẻ còn lại)Replay 3 vào N2 (2)*p (thẻ được tạo ra), c (thẻ được tiêu thụ), m (thẻ thiếu), và r (thẻ còn lại)Replay 3 vào N2 (3)*Vấn đề xuất hiện khi replay 3 vào N2: m=1 và r=1Một thẻ thiếu (trong 6 thẻ tiêu thụ)Một thẻ còn lại (từ 6 thẻ sản xuất)Tính độ phù hợp chung*4. Kiểm tra phù hợp theo so sánh vếtTính ma trận vết Đối với nhật kýĐối với mô hình:Sinh nhật ký toàn phầnTính ma trận vếtSo sánh độ lệch tại ma trận vếtTrùng nhau: Lfull và N1 phù hợp*Ma trận vết của một nhật ký sự kiệnCác quan hệa > b   dãy mà a đi ngay trực tiếp ba  b  a> b mà không có b>aa b  b> a mà không có a>ba # b  không a> b và cũng không b>aa || b  a> b và b>aMa trận vết đối xứng khi đảo  và *Ma trận vết N2 và L*Độ phù hợp theo ma trận vết*