M CăL C
2.4.K tălu năch ngă2
3 .ăĐốiăt ngăvƠăph măviănghiênăc u
2.4.K tălu năch ngă2
Trongăch ngănƠy,ălu năvĕnăđưăgi iăthiệuăchiăti tăbaăthu tătoánăth ngăđ căsửă d ngă trongă khaiă pháă quyă trìnhă nghiệpă v .ă Trongă đóă thu tă toánă Alphaă cóă thểă xemă lƠă thu tătoánăkháiăpháăquyătrìnhăđầuătiênăvƠăđ năgi nănhất,ădoăkhôngăquanătơmăđ nătầnă suấtăxuấtăhiệnăc aăcácăv tăsựăkiệnănênănóăchỉăcóăthểăkhaiăpháăthƠnhăcôngăcácămô hình g năv iăm ngăcấuătrúcăluồngăcôngăviệcă(SWF-net)ăcóăcácăphépătáchănh păđ năgi nămà khôngăthểăxửălýăđ căcácăcấuătrúcăph căt pănh ăcấuătrúcăvòngălặpăng n,ăcấuătrúcăph ă thụcăkho ngăcách xa...Thu tătoánăHMăđ căxơyădựngădựaătrênăýăt ngăc aăthu tătoánă Alpha nh ng có sửd ngtầnsuấtxuấthiệnc aṃtv tsựkiệnđể xác đ nhkh nĕngăx yă raăc aăṃtăắph ăthụcăquanăhệ”ăgiữaăcácăho tăđ̣ngăhayăsựătồnăt iăc aăcácăvòngălặpăvƠă cácăcấuătrúcăkhác.ăChínhăvìăv yăthu tătoánănƠyăcóăkh ănĕngăđốiăphóătốtăh năv iăcácăsựă kiệnălỗi,ăsựăkiệnăítăx yăraătrongăb năghiăsựăkiện,ăv.v.
Tuyănhiên,ăthu tătoánăkhaiăpháăquyătrìnhăAlphaăvƠăHeuristicălƠăcácăthu tătoánăkhaiă pháăquyătrìnhădựaătrênăh ngăti păc năắc căḅ”,ăt călƠăxơyădựng mô hìnhătừămốiăquană hệăc căḅăgiữaăcácăho tăđ̣ngăkhácănhau.ăVìăv y,ăcácăthu tătoánănƠyăkhôngăthểălấyăđ că sựăph ăthụcătrongăcácăquyătrìnhăcóăcấuătrúc ph ct p. Khác v i hai thu t toán đưđ c trình bày tr cđó,thu t toán GPM dựaătrênăh ngăti păc năắtoƠnăc c”,ănóăcốăg ngăxơyă dựngămô hình quy trình theoănguyênăt căc aăắphépătínhătoánăti năhóa”,ăt călƠăcốăg ngă sửaăđổiăcácămô hìnhăquyătrìnhăṃtăcáchălặpăđiălặpăl iăđểăđ tăđ năđ̣ăắhoƠnăh o”ănhấtăcóă thể.ăChínhăvìăv yăGPMăcóăkh ănĕngăđốiăphóăđ căv iăcácăcấuătrúcăph ăthụcăkho ngă cáchăxaăvƠăcácăquyătrìnhăcóăcấuătrúcăph căt p.ăTuyănhiên,ăcũngăgiốngănh ăcácăph ngă phápă ti pă c nă dựaă trênă thuy tă ti nă hóa,ă khaiă pháă quyă trìnhădi truyềnă cầnă đ nă chiă phíă nguồnătƠiănguyênăl nătrongăquáătrìnhătínhătoán.ăDoăđó,ăkhôngăhiệuăqu ăđốiăv iăcácămô hìnhăvƠăb năghiăsựăkiệnăl n.ăTấtăc ăcácăthu tătoánănƠyăđềuăđ cătíchăh pătrongăcôngăc ă khaiăpháăquyătrìnhăProM.ăTrongăch ngăti pătheoălu năvĕnăs ăsửăd ngăcôngc ănƠy.
CH NGă3
NGăD NGăKHAI PHÁ QUY TRỊNHăTHUăTH PăC PăNH TăH ă TH NGăMINHăCH NGăKI MăĐ NHăCH TăL NGăGIÁOăD CăT Iă
TR NGăĐ IăH CăPH MăVĔNăĐ NG
Ch ngănƠyăc aălu năvĕnăs ăgi iăthiệuăṃtăcáchătổngăquanăvềăcôngăc ăkhai phá quyătrìnhăProM.ăTrênăc ăs ăđó,ă ngăd ngăđểăkhaiăpháăquyătrình quy trình c pănh tăhệă thốngăminhăch ngăt iăTr ngăĐ iăh căPh măVĕnăĐồng. K tăqu ăkhaiăpháăs ăgópphầnă mô t ă vƠă đánhă giáă c ă thểă h nă uă nh că điểmă c aă cácă thu tă toánă đưă trìnhăbƠyă trongă ch ngăhai.
3.1. Bài toán khai phá quy trìnhăthuăth păc pănh tăh ăth ngăminhăch ngă
Ki măđ nhăch tăl ngăgiáoăd ct iătr ngăĐ iăh căPh măVĕnăĐ ng
Ṃt trong những khó khĕn l n nhất c a Kiểm đ nh chất l ng giáo d c t i tr ng ĐH Ph m Vĕn Đồng là việc thu th p, sử d ng, qu n lý minh ch ng ph c v công tác tự đánh giá. Nguyên nhân là do công tác l u trữ ch a tốt, đặc biệtnhiều số liệu ch a đ c thống kê h p lý, k t qu thu th p và xử lý minh ch ng còn mang tính liệt kê, t ph p, s p x pch a logic, không ph n ánh rõ sự thay đổic a nhà tr ng và xu h ng phát triển trong th i gian t ng lai. Quyătrìnhăthuăth păc pănh tăhệăthốngă minhăch ngălƠăquyătrìnhăđ căsửăd ngătrongătƠiăliệuăđểăminhăh aăcácăkỹăthu tăkhaiăpháă quy trình.
B tăđầuăquyătrìnhălƠăPhòngăKh oăthíă- Đ măb oăchấtăl ngăgiáoăd că(c ăthểălƠăḅă ph năkiểmăđ nhăchuyênătrách,ăch uătráchănhiệmăthuăth p,ăc pănh tăvĕn b n/ăhồăs ăminhă ch ng)ăxác định yêu cầu minh ch ng,ăsauăđóăgửiăcôngăvĕnăh ngăd năthuăth păminhă ch ngă đ nă cácă đ nă v ă liênă quană trongă nhƠă tr ng.ă Phòngă KTă ậ ĐBCLGDăthu thập minh ch ng c aăcácăđ năv ăcungăcấpăv iăṇidungăphùăh păđúngătheoăyêuăcầu.ăPhòngă KT ậ ĐBCLGDă(ḅăph năkiểmăđ nh)ăđ căkiểm tra minh ch ng xácăđ nhăm căđ̣ătină c y,ăxácăđ nhăcácăđo năphùăh păđểătríchăd nătiêuăđềăchoădanhăm căminhăch ng,ăn uă vĕnăb năxácăđ nhăkhôngăđ tăyêuăcầuăthìăs ăquyết định từăchối nh năvƠăyêuăcầuăđ năv ă ṇpăl i;ăng căl iăn uăđưăxácăđ nhăđ tăyêuăcầuăthìăb căti păs ălƠăho tăđ̣ngăthẩm định minh ch ng là nghiênăc u,ăxemăxétăvĕnăb năcóăhệăthốngăcácătƠiăliệuăd iăd ngăvĕnă b nă vi t:ă cácă quyă đ nh,ă k ă ho ch,ă biênă b n,ă báoă cáo,ă hồă s ,ă sổă sách,ă giáoă trình,ă đềă c ngămônăh c…,ăs păx pălo iăvĕnăb năcóăcácăcơu/phần/ṇiădungăđápă ngăcácăyêuăcầuă nêuătrongăṇiăhƠmăc aătừngătiêuăchí,ătiêuăchuẩnăvƠăthựcăhiệnăcập nhật hệ thống minh ch ng Kiểmăđ nh.ăK tăqu ăc aăho tăđ̣ngăraăquy tăđ nhăcóăthểăbắt đầu lại yêu cầu
(văn bản nào chưa phù hợp nội dung, hết thời gian hiệu lực…),ăt călƠăthựcăhiệnăl iăcácă ho tă đ̣ngă kiểmă tra,ă hoặcă raă quy tă đ nhă c pănh tă vĕnă b nă vƠoă hệă thốngă minhă ch ngă kiểmăđ nhăhayătừ chối yêu cầu;ăquyătrìnhăk tăthúcăsauăkhiăthựcăhiệnăquy tăđ nhă c pă nh tăvĕnăb năvƠoăhệăthốngăminhăch ngăKiểmăđ nhăhoặcătừăchốiăyêuăcầu.ăLu năvĕnăsửă
d ngăquyătrìnhănƠyăcũngănh ăcácăb năghiăsựăkiệnăliênăquanăđ nămôăhìnhăđểămôăt ăc ă thểăh năb năghiăsựăkiệnăcũngănh ăsửăd ngăcácăb năghiănƠyăđểămôăt ăvƠăđánhăgiáăcácă thu tătoán khai phá quy trình.
3.1.1. Đầu vào c a bài toán
Quyătrìnhăthuăth păc pănh tăhệăthốngăminhăch ng mƠălu năvĕnăđangăxemăxétă khôngăcóămôăhìnhătiênănghiệm.ăTaăchỉăcóăb năghiăsựăkiệnăc aăquyătrìnhănƠy.ăNh ăđưă trìnhăbƠyă ătrên,ăb năghiăsựăkiệnăc aăquyătrìnhănày gồmăcácăho tăđ̣ngăsauă(bênăc nhă cácăho tăđ̣ngătaăsửăd ngăcácăchữăcáiăđểăánhăx ăđ năcácăho tăđ̣ngănƠy):
- Xácăđ nhăyêuăcầuăminhăch ngă(Determine the requirement = A), - Thuăth păminhăch ngă(Collect = B),
- Kiểmătraăminhăch ngă(Check = C), - Thẩmăđ nhăminhăch ngă(Expertise = D), - Quy tăđ nh (decide = E),
- B tăđầuăl iăyêuăcầuă(reinitiate request = F),
- C pănh tăhệăthốngăminhăch ngă(Update the system = G), - Từăchốiăyêuăcầuă(reject request = H).
B năghiăsựăkiệnăđ căsửăd ngălƠăb ng ghi VFull đ cămô t ăt iă[1.1, tr. 10]. B nă ghiănƠyăch aăthôngătinăvềămã tr ngăh p,ămưăsựăkiện,ătênăho tăđ̣ng,ănguồnălực,ăkhôngă cóăthôngătinăvềămốc th i gian và chi phí thực hiện. Víăd ă ăb ngă3.1ălƠăṃtăsựăkiệnă trongătr ngh p có mã là 8ăsố.
Bảng 3.1: Ví dụ chi tiết bảng ghi sựkiện VFull
Mã tr ngăh pMã s ăki n Thu cătính
Ho tăđ ng Ngu nl c 1 19847301 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 1 19847302 Thuăth păMC Phòng KT-ĐBCLGD 1 19847303 KiểmătraăMC Phòng KT-ĐBCLGD 1 19847304 Thẩmăđ nhăMCă Phòng KT-ĐBCLGD 1 19847305 Quy tăđ nh Phòng KT-ĐBCLGD 1 19847306 C pănh tăhệăthốngăMC Phòng KT-ĐBCLGD 2 19847321 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 2 19847322 Thuăth păMC Phòng KT-ĐBCLGD 2 19847323 KiểmătraăMC Phòng KT-ĐBCLGD 2 19847324 Thẩmăđ nhăMC Phòng KT-ĐBCLGD
Mã tr ngăh pMã s ăki n Thu cătính Ho tăđ ng Ngu nl c 2 19847325 Quy tăđ nh Phòng KT-ĐBCLGD 2 19847326 B tăđầuăl iăyêuăcầu Phòng KT-ĐBCLGD 2 19847327 C pănh tăhệăthốngăMC Phòng KT-ĐBCLGD 3 19847491 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 3 19847492 Thuăth păMC Phòng KT-ĐBCLGD 3 19847493 KiểmătraăMC Phòng KT-ĐBCLGD 3 19847494 Thẩmăđ nhăMC Phòng KT-ĐBCLGD 3 19847495 Raăquy tăđ nh Phòng KT-ĐBCLGD 3 19847496 Từăchốiăyêuăcầu Phòng KT-ĐBCLGD 4 19848251 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 4 19848252 Thuăth păMC Phòng KT-ĐBCLGD 4 19848253 KiểmătraăMC Phòng KT-ĐBCLGD 4 19848254 Quy tăđ nh Phòng KT-ĐBCLGD 4 19848255 B tăđầuăl iăyêuăcầu Phòng KT-ĐBCLGD 4 19848256 C pănh tăhệăthốngăMC Phòng KT-ĐBCLGD 5 19846941 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 5 19846942 Thuăth păMC Phòng KT-ĐBCLGD 5 19846943 KiểmătraăMC Phòng KT-ĐBCLGD 5 19846944 Quy tăđ nh Phòng KT-ĐBCLGD 5 19846945 Từăchốiăyêuăcầu Phòng KT-ĐBCLGD 6 19848831 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 6 19848832 Thuăth păMC Phòng KT-ĐBCLGD 6 19848833 Quy tăđ nh Phòng KT-ĐBCLGD 6 19848834 B tăđầuăl iăyêuăcầu Phòng KT-ĐBCLGD 7 19848861 Xácăđ nhăyêuăcầuăMC Phòng KT-ĐBCLGD 7 19848862 Thuăth păMC Phòng KT-ĐBCLGD 7 19848863 Quy tăđ nh Phòng KT-ĐBCLGD 7 19848864 Từăchốiăyêuăcầu Phòng KT-ĐBCLGD
B năghiăđ căsửăd ngăcó 1932 tr ngăh păphơnăphốiătrênă8 v tăkhácănhau.ă
Víăd ,ăcóă336 tr ngăh pătheoăv tăσ1= (A, B, C, D, E, F, H, G), 252 tr ng h pă theoăv tăσ2 = (A, B, C, D, E, G), 168ătr ngăh pătheoăv tăσă8 = (A, B, E, H), c ăthể là:
Bảng 3.2: Bản ghi sự kiện Vfull
T năs Tr ngăh p V tăs ăki n
336 σ1 (A, B, C, D, E, F, H, G) 252 σ2 (A, B, C, D, E, G) 294 σ3 (A, B, C, D, E, F, G) 252 σ4 (A, B, C, D, E, H) 252 σă5 (A, B, C, E, F, G) 210 σă6 (A, B, C, E, H) 168 σă7 (A, B, E, F) 168 σă8 (A, B, E, H)
3.1.2. Đầu ra c a bài toán
M căđíchăkhaiăpháăquyătrìnhăthu th păc pănh tăhệăthốngăminhăch ngăKĐCLGDă t iătr ngăĐHăPh măVĕnăĐồngălƠ tìm ra đ c mô hình c athuăth păc pănh tăhệăthốngă minhăch ngăKĐCLGD. ĐầuăraălƠăṃtămô hìnhăPetriănetăhoặcăWFăNetăcóăđ̣ăphùăh pă caoănhấtăcóăthể.ă
3.1.3. Hướng giải quyết bài toán
Ta sử d ng các thu t toán đư gi ithiệu ch ng hai để tìm ra các mô hình quy trìnhăphùăh pănhất.ăĐểăkhaiăpháăhiệuăqu ,ătaăsửăd ngăḅăcôngăc ăProMăđểăti năhƠnhă khaiăphá.ăḄăcôngăc ăProMăcungăcấpănhiềuăcôngăc ,ăthu tătoánăđểăxửălýăb năghi,ăphátă hiệnăquyătrình, kiểmătraăphùăh păcũngănh ă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 về công cụ khai phá quy trình ProM
Ḅăcôngăc ăProMălƠăṃtămôiătr ngăắplug-able”ăchoăkhaiăpháăquyătrình sửăd ngă MXMLă(nayăđ căphátătriểnăthƠnhăXES)ănh ălƠăṃtăđ nhăd ngăđầuvƠo.ăM căđíchăc aă phiênăb năđầuătiênălƠăcungăcấpăṃtăsựăphổăbi năc ăb năchoătấtăc ăcácăkỹăthu tăkhaiăpháă quyătrình.ăV iăcáchănƠy,ănhiềuăng iăđưăpháttriểnăcácăthu tătoánăkhaiăpháăquyătrìnhămà khôngăloăl ngăgìăvềăviệcătríchăxuấtădữăliệu,ăchuyểnăđổiădữăliệuăvƠăt iădữăliệuătrongăb nă ghiăsựăkiện.ăH năth ănữa,ăđốiăv iăcácălo iămô hìnhăchuẩnănh ălƠăm ngăPetri,ăEPCS và m ngăxưăḥiăhiểnăth ămặcăđ nhăđ căcungăcấpăb iăframeworkă[7],ă[11].ăHìnhă3.1ăchoă chúngătaăthấyătổngăquanăvềăkhungă ngăd ng ProM.
Giao diện
ng i dùng +
T ngătácă ng i dùng
Hình 3.1: Tổng quan về khung ứng dụng ProM
Nĕm 2004, phiên b nđầyđ đầu tiên c a ProM (ProM 1.1) đ cđ a ra. Phiênăb nă nƠyăch aă29ăplug-in (6 plug-in khai phá, 7 plug-in phân tích, 4 plug-inănh păthôngătină vào, 9 plug-inăxuấtăthôngătinăraăvƠă3ăplug-inăchuyểnăđổi).ăProMă5.2ăđ căđ aăraăvƠoă nĕmă2009,ăphiênăb nănƠyăch aă286ăplug-in (47 plug-in khai phá, 96 plug-in phân tích, 22 plug-inănh pădữăliệuăvƠo, 45 plug-inăxuấtădữăliệuăra,ă44ăplug-inăchuyểnăđổiăvƠă32ă plug-inăl cădữăliệu).ăTheoăth iăgianănhiềuăplug-inăh năđ căthêm vào.
3.2.2. Các ch c năng c a công cụ khai phá quy trình ProM
Nh ă đưă trìnhă bƠyă ă trên,ă ProMă cungă cấpă nhiềuă ch că nĕngă nh ă vƠoă cácă flug-in nh :ăKhaiăphá,ăphơnătích,ănh pădữ liệu,ăxuấtădữăliệu,ăchuyểnăđổivƠăl cădữăliệu.
a. ProM phiên bản 5.2 đ că tíchă h pă gầnă 300ă flugină (47ă plug-in khai phá, 96 plug-in phân tích, 22 plug-inănh pădữăliệuăvƠo,ă45ăplug-inăxuấtădữăliệuăra,ă44ăplug-in chuyển đổiă vƠă 32ă plug-ină l că dữă liệu)ă choă phépă ng iă dùngă khaiă pháă quyă trìnhă trênă máyătínhăc căḅăvƠăchoăphépăng iădùngăt ngătácătrựcăti p.ăViệcăcƠiăđặtphiênăb nănƠyă
Staffware Flower SAP InConcert B năghiăXML M ngă Heuristic Aris Graph Format PNML TPN file … M ngăHeuristic Aris Graph Format NetMiner file L cădữăliệu Plugin nh p Plugin xuất Plugin khai phá Plugin phân tích Plugin chuyểnăđổi Côngăc ăhìnhă dung Khungăk tă qu PNML TPN file DOT ….
cũngăkháăđ năgi nădoătoƠnăḅăfluginăđưăđ c tíchăh p.ăProMă5.2ăhỗătr ănhiềuălo iădữă liệuăđầuăvƠo,ăkhiăng iădùngăch nădữăliệuăđầuăvƠo,ăphầnămềmăs ăhiểnăth ăcácătùyăch nă cóăthểăthaoătácăv iădữăliệuăđầuăvƠoăđó.ăVíăd ăkhiăthêmădữăliệuăđầuăvƠoă(b năghiăsựăkiệnă ch ngăh n).ăCácătùych n khai phá, phân tích, chuyểnđổis đ chiểnth nh hình 3.2.
Hình 3.2: Các tùy chọn đối với dữ liệu đầu vào là bản ghi sựkiện
ProMă5.2ăhỗătr ărấtănhiềuăthu tătoánăkhaiăpháăquyătrìnhănh ăFSMăminer,ăFuzzyă miner,ăregionăminer,ăSocialănetworkăminer,ădecisionăminer,…ăV iămỗiăthu tătoán,ăphầnă mềmăs ăyêuăcầuăng iădùngănh p ṃtăsốăthôngăsốă(n uăcó)ătùyăthụcăvƠoăthu tătoán.ăVíă d ăđốiăv iăthu tătoánăHeuristicăMiner,ăng iădùngăcầnăxácăđ nhăcácăng ỡngăph ăthục,ă ng ỡngătốtănhất.ăV iăthu tătoán GM,ăng iădùngăcóăthểătùyăchỉnhăcácăthôngăsốăvềăsốă l ngăcáăthể,ăsốăl ngăth ăhệăhoặcăđ̣ăphùăh pămongămuốn,…ăĐốiăv iăcácăthu tătoánă khác,ăng iădùngăcầnănghiênăc uătr căđểăn măđ căthu tătoánăcũngănh ăyêuăcầuăđầuă vƠoăvƠădữăliệuăđầuăraăđểăcóăthểăsửăd ngăphầnămềmăṃtăcáchăhiệuăqu ănhất.
Víăd ,ăkhiăthêmădữăliệuăđầuăvƠoălƠăb năghiăsựăkiện,ătùyăch nătaăsửăd ngălƠăphátă hiệnăquyătrìnhăbằngăthu tătoánăkhaiăpháăquyătrìnhădiătruyền.ăKhiăch nătùyăch năsửăd ngă thu tătoánăkhaiăpháăquyătrìnhădiătruyềnă(Geneticăagorithmăflugin), ch ng trình s hiển th giao diện tùy chỉnh thông sốnh hình 3.3
Hình 3.3: Giao diện tùy chỉnh thông số cho thuật toán GA
Víăd ătùyăchỉnhăsốăl ngăcáăthểăbằngă100,ăsốăl ngăth ăhệăbằngă2,ăsauăkhiăta nhấn nút b tđầu khai phá, thu t toán s ch y và đ a ra k tqu nh hình 3.4
Hình 3.4: Giao diện kết quả của thuật toán GA
Giaoă diệnă trựcă quană trênă ProMă phiênă b nă 5.2ă choă phépă ng iă dùngă s păx p,ă quanăsátăvƠălƠmăviệcăt ngăđốiăhiệuăqu .ăThanhăchuyểnăh ngănằmăbênăph i cho phép ng i dùng n m đ c các đối t ng đang làm việc và thao tác trực ti p v i các đối t ngđó ṃt cách nhanh chóng nh hình 3.5.
Hình 3.5: Giao diện làm việc trên ProM 5.2
b. ProM phiên bản 6.5 đ c phát triểnm iăh năProMă5.2. Phiên b n này hỗtr rấtă nhiềuăpluginăvƠăchoăphépăng iădùngătựăcƠiăđặtătừngăpluginăthôngăquaăch cănĕngăqu nă lý gói plugin (ProMăpackageămanager,ăhìnhă3.6).ă ăphiênăb nănƠy,ăsauăkhiăcƠiăđặtăthìă ng iădùngăch aăcóăpluginănƠoăc .ăTrongălầnăkh iăch yăđầuătiên,ăphầnămềmăs ăcƠiăđặtă ṃtă góiăpluginăc ăb nălƠăRunnerUpPackages.ăGóiăplugin này ch a ṃt số plugin c b n nh các plugin liên quan đ n m ng Petri,ă hệă thốngă chuyểnă ti p,ă cácă plugină liênă quanăđ năcácăthu tătoánăphátăhiệnăquyătrìnhănh ăthu tătoánăAlpha,ăHeuristic,ă…ăcácă pluginăkiểmătraăphùăh p,ăcácăpluginăliênăquanăđ năBPMN,ăcácăpluginăxửălýăb năghiăsựă kiện,…ăNg iădùngăcó thểsửd ng ProM 6.5 cho các m cđích c b n. Khi có yêu cầu mà các pluginăhiệnăt iăch aăđápă ngăđ c,ăng iădùngăcóăthểătìmăki mă ăm căplugină ch aăđ căcƠiăđặtăhoặcătìmăhiểuăthêmă ăcácănguồnăthôngătin khác.
c. Phiên bản ProM Lite 1.2 lƠăphiênăb năm iănhấtăc aăhiệnănay,ăgiao diện sử d ngăProMăLiteă1.2 có sự khác biệtl n so v i ProM 5.2 và ProM 6.5. Giaoădiệnătrongă
ProM Lite 1.2 đ căchiaălƠmăbaăkhôngăgian:ăKhôngăgianălƠmăviệcă(Workspace),ăho tă đ̣ngă(Action) và khung nhìn (View).
PhầnăWorkspaceă(hìnhă3.7)ăchoăphépăng iădùngăthêmădữăliệuăđầu vào thông qua nútăImport.ă ăđơyăcũngăhiểnăth ăcácăđốiăt ngăkhácănh ămô hình,ăk t qu kiểmătra phù h p,… ta cũng có thểsửd ng các đốit ng này nh là dữliệuđầu vào.
Hình 3.7: Không gian làm việc (workspace) trên ProM Lite 1.2
Khi dữ liệu đầu vào đư đ c n p, ta có thể ch n dữ liệu đó (phần hiển th ămàu xanh)ăvƠăthaoătácăv iăcácădữăliệuăđóăthôngăquaăcácătùyăch nănằmă ăkhungăbênăph iă nhƣ:ăxemădữăliệuă(choăphépăxemădữăliệuătheoănhiềuăcáchăkhácănhau: hiểnăth ăd iăd ngă danhăsách,ăl tăđồ,ăl tăđồăđ̣ng,ă…)ăvƠăsửăd ngănguồn (Use resouce ậ ch nătùyăch nă nƠyăs ăchuyểnăquaăkhôngăgianăho tăđ̣ng ).
Không gian ho t đ̣ngă Action (hình 3.8) cho phép ng i sử d ng ch n ho t đ̣ng muốn làm. Có thể là phát hiện quy trình, kiểm tra phù h p, c ithiện quy trình hoặcl c b năghi,…ăNg iădùngăcóăthểătìmă ki mă tênă ho tăđ̣ngăhoặcăpluginăthôngăquaăôătìmă ki măvƠăcácătùyăch nătìmăki măbênăc nhăôătìmăki m.ăKhiăch năđ căṃtăho tăđ̣ngă muốnthựcăhiện,ăbênătráiăs ăxuấtăhiệnăcácălo iădữăliệuăđầuăvƠoăcầnăthi t,ăng iădùngăchỉă cầnăbấmăvƠăch nătừăôăch n.ăĐốiăv iăṃtăsốăho tăđ̣ng,ăng iădùngăchỉăcầnătùyăchỉnhă ṃtăsốăthôngăsốăđ năgi nălƠăcóăthểănh năđ căk tăqu ăngay
Hình 3.8: Không gian hoạt động (Action) trên ProM Lite 1.2
Ví d , tùy chỉnh thông số đầuăvƠoăchoăthu tătoánăHeuristicăminingătrongăhìnhă3.9.ă Bênăc nhăđóăcũngăcóăṃtăsốăho tăđ̣ngăph căt păh n,ăcầnănhữngătùyăchỉnhăph căt pă h n.ă Muốnă sửă d ngă hiệuă qu ă cácă ho tă đ̣ngă ph că t pă nƠyă cầnă cóă sự nghiênă c uă kỹă l ỡngăvềăho tăđ̣ngăđó
Hình 3.9: Tùy chỉnh thông số đầu vào cho thuật toán Heuristic Miner.
Khôngăgianăho tăđ̣ngăcònăcóănútăcácăho tăđ̣ng (activity)ăchoăphépăng iădùngă xemăcácăho tăđ̣ngăđangădiễnăraăvƠăti nătrìnhăc aăcácăchúngă.
đ̣ngăđưăđ căthựcăhiện.ăK tăqu ăho tăđ̣ngăcóăthểăđ căphóngătoăđầyămƠnăhìnhăđểăxemă chiăti tăhoặcăthuănhỏăđểăxemătổngăquanăcácăk tăqu ăđưăcó.
Hình 3.10: Không gian khung nhìn (view) của ProM Lite 1.2
SoăSánh,ăđánhăgiáăcácăphiênăb năc aăcôngăc ăProM
ProMăđưătr ăthƠnhăchuẩnă(khôngăchínhăth c)ăchoăkhaiăpháăquyătrình.ăTuyănhiên, số l ngl n các plug-in và nhiều ngd ngthực t đ c tích h p trong ProMă5.2ăcũngă choăthấyăṃtăsốăvấnăđề.ăCh ngăh n nh ,ăProMă5.2ăcóăthểăkhá khó hiểu đốiv i những ng ithi u kinh nghiệm khi ph iđốimặtv igần 300 plug-in khác nhau. Vìăv y,ămuốnă sửăd ngăhiệuăqu ,ăng iădùngăcầnăcóăṃt sốnghiênăc uăc ăb nătr c.ăH nănữa,ătrongă ProM 5.2 (và các phiên b nătr c đó) giao diện ng i dùng và kỹ thu t phân tích c b n là g n liền chặt ch v i nhau, t c là hầuh t các plug-in yêu cầu t ng tác ng i dùng. Đặc biệt ProM 5.2 và các phiên b n tr c đó, không thể ch yđ c từă xa cũng nh không thể phân bổ việc thực hiện các plug-in trên nhiều máy tính.
ProM 6 có thể phơnăbổăviệcăthựcăhiệnăcácăplug-inătrênănhiềuămáyătính.ăĐiềuănƠyă cóăthểăđ căsửd ngăđểăc iăti năhiệuănĕngă(bằngăcáchăsửăd ngătínhătoánăl i)ăvƠăđ aă ProM tr ăthƠnhănh ălƠăṃtăd chăv .ăGiaoădiệnăng iăsửăd ngăđ c thựcăhiệnăl iăđểăcóă thểăđ ngăđầuăv iănhiềuăplug-in,ăb năghiăvƠăcácămô hìnhăcùngăṃtălúc. Song các thao tác sửd ng trên ProM 6 t ngđốiph ct ph n so v i ProM 5, yêuăcầuăng iădùngăcóă nhữngăhiểuăbi tărõăvềăkỹăthu tăcũngănh ăthaoătácătrên ProM 6. Nhìn chung,ăc ăProMă5ă vƠăProMă6ăđềuăhỗătr ăđ călựcăchoăcácănhuăcầuăkhaiăpháăquyătrình.ăTuyănhiên,ăcóăthểă nóiăProMă5ăt ngăđốiăthíchăh p cho nghiên c u và sử d ngc b nh n là ProM 6, và ng cl i, ProM 6 t ngđốiăthíchăh păchoăkhaiăpháăchuyênănghiệpăh nălƠăProM 5.
3.3. Th că nghi mă khaiă pháă quyă trìnhă thuă th pă c pă nh tă h ă th ngă minhă ch ngăki măđ nhăch tăl ngăgiáoăd căt iătr ngăĐ iăh căPh măVĕnăĐ ng
3.3.1. Khai phá quy trình bằng thuật toán Alpha
B n ghi sựkiện ta sửd ng có ho tđ̣ngb tđầu là ho t đ̣ng xác địnhyêu cầu và ho t đ̣ng k t thúc là cập nhật hệ thống minh chứng hoặc từ chối yêu cầu. B n ghi sự kiện nƠyăkhôngătồnăt iăcácăvấnăđềăvềălogic,ăsựăkiệnălỗiăhayăsựăkiệnăkhôngăđầyăđ .ăĐầuă vào c a thu t toán Alpha là b n ghi sự kiện, đầu ra là m ng Petri có đ̣ phù h păcao.ă Thựcă nghiệmă phátă hiệnă quyă trìnhă từă b nă ghiă sựă kiệnă nƠyă bằngă thu tă toánă Alpha,ă taă đ c mô hìnhăquyătrìnhă ăhình 3.11
Hình 3.11: Kết quả khai phá quy trình xử lý quy trình bằng thuật toán Alpha.
Sửăd ngăcácăkỹăthu tăkiểmătraăđ̣ăphùăh păc aămô hình quy trìnhătrênăv iăb năghiă sựăkiệnăVFull,ătaăđ căk tăqu ăphùăh pă100%.
Thửă chỉnhă sửaă b nă ghiă bằngă cáchă sửaă 1ă v tă sựă kiệnă (A,B,C,D,E,G) thành (B,A,C,D,E,G). Taăg iăb năghiănƠyălƠăVFull’.ăKhiăđóătaăcóăṃtăv tăsựăkiệnălỗi.ăDùngă thu tătoánăAlphaăđểăphát hiệnăquyătrìnhăv iăb năghiăcóăsựăkiệnălỗiănƠyătađ căṃtămô hìnhăm iă(hình 3.12).
Hình 3.12: Kết quả nhận được khi khai phá với bản ghi sự kiện có lỗi.
V i mô hình quy trình đ c phát hiện bằng thu t toán alpha dựa trên b năghiăsựă kiệnăcóălỗi,ăthựcăhiệnăcácăkỹăthu tăkiểmătraăphùăh p,ătaănh năđ căk t qu ăđ̣ăphùăh pă 89%.ă Rõă rƠng,ă chỉă v iă ṃtă sựă kiệnă lỗi,ă đ̣ă phùă h pă c aămô hìnhă đ că phátă hiệnă đưă gi m 11%.
Nh ăv y,ătaăcóăthểăthấy,ăđốiăv iăcácăb năghiăsựăkiệnăđầyăđ ,ăkhôngăcóăsựăkiệnălỗiă thìă thu tă toánă alphaă cóă thểă phátă hiệnă đ că quyă trìnhă ṃtă cáchă hiệuă qu .ă Thu tătoánă alphaăkhôngăthểătựămìnhăgi iăquy tăcácăvấnăđềăvềălogicăhayăsựăkiệnălỗi,ăsựăkiệnăkhôngă đầyăđ .ăVìăv y,ăkhiămuốnăsửăd ngăṃtăb năghiăsựăkiệnăđểăphátăhiệnăquyătrìnhăbằngă thu tătoánăalpha,ătaănên kiểmătraăvƠăl căl iăb năghiăsựăkiệnăđểătránhăcácăsựăkiệnălỗiăvƠă xửălýăcácăsựăkiệnăkhôngăđầyăđ ătr c.
3.3.2. Khai phá quy trình bằng thuật toán Heuristic mining
Từăb năghiăsựăkiệnăđ cămô t ătrongăb ngă3.2,ătaăsửăd ngăthu tătoánăHM,ăv iă cácă thamă sốă đ c thi tă l pă ṃtă cáchă mặcă đ nhă k tă h pă v iă điềuă kiệnăAll tasks connected, khi đó các k t nốitần suất thấp c thể đơy là k t nốigiữa b tăđầuăl iăyêuă cầu (F) vƠăquy tăđ nh (C) s khôngăxuấtăhiệnăvƠămô hìnhăk tăqu ăđ căbiểuădiễnănh ă hình 3.13. Tuy nhiên, n uăthi tăl păthamăsốăng ỡngăph ăthụcăσaă=ă0.9ăvƠ tham số so v i ng ỡng tốt nhất σr = 0.1 thì k t nối tần suất thấp từ b tăđầuăl iăyêuăcầu (F) và quy tăđ nhă(C) cũng đ căchấpănh n.ăĐồăth ăk tăqu ăđầyăđ ,ăcóăk tăh păv iătầnăsuấtă thông tin cho cácăcungăđ c đ aăraătrongăhìnhă3.14.
Hình 3.13: Mô hình kết quả khai phá quy trình bằng thuật toán HM khi sử dụng các tham số mặc định
Kiểmătraăđ̣ăphùăh păc aămôăhìnhătrênăhìnhă3.13 khôngăch aăcácăk tănốiăgiữaăbắt đầu lại yêu cầu(F) và quyết định (C),ătaănh năđ căđ̣ăphùăh pă94,1% do 6 k tănốiăgiữaă
bắt đầu lại yêu cầu(F) và quyết định (C), khôngăphùăh păv iămôăhình
Hình 3.14: Mô hình kết quả khai phá quy trình bằng thuật toán HM khi thiết lập tham số σa = 0.90 và σr = 0.1 (Kết nối tần suất thấp giữa F và C cũng được chấp nhận)
Kiểmătraăđ̣ăphùăh păc aămô hình trên hình 3.14 taănh năđ căk tăqu phùăh pă 100%.ăTấtăc ăcácăv tăsựăkiệnăđềuăcóăthểăthựcăhiệnăl iătrênămô hình.
Hình 3.15: Kết quả khai phá với bản ghi có sự kiện lỗi và hoạt động trùng lặp
Kiểmătraăđ̣ăphùăh p c aămô hìnhătaănh năđ căk tăqu ăphùăh pă88,9%. Ṃtăv tă sựăkiệnălỗiăkhôngăthểăthựcăhiệnăl iătrênămô hình,ăcònăl iătấtăc ăcácăv tăsựăkiệnăđềuăcóă thểăthựcăhiệnăl iătrênămô hình.ăChỉăv iă21ăv tălỗiăsựăkiệnălỗi,ăđ̣ăphùăh păc aămô hình đ căphátăhiệnăđưăgi măgầnă11,1%.ăĐiềuăđóăchoăthấyăthu tătoánăHMăđốiăphóăv iăsựă kiệnălỗiătốtăh năthu tătoánăAlphaănh ngăv năkhôngăthểăgi iăquy tătriệtăđểăvấnăđề này.
3.3.3. Khai phá quy trình bằng thuật toán Di truyền.
Từăb năghiăsựăkiện 3.2 ,ătaăsửăd ngăthu tătoánăGPMăv iăcácăthamăsốăđ cămôăt ă trong hình hình 3.16.
Khi đó k t qu c a quá trình khai phá là ṃt t p quần thể (t ng ng mô hình). Đơy là các cá thểđ c đ a ra sau quá trình khai phá, bao gồmc các cá thểăcóăđ̣ăphùă h păcaoănhấtăvƠăcácăcáăthểăcóăđ̣ăphùăh păthấpă ăcácăth ăhệăđầuătiên.
Đánh giá các thuật toán
Sauăkhiăthựcănghiệmăcácăthu tătoánăAlpha,ăHeuristicăvƠăGPMăv iăb năghiăsựăkiệnă 3.2 khôngăcóăsựăkiệnălỗiăvƠătồnăt iăsựăkiện lỗi.ăTôiăđiăđ năcácănh năđ nhăsau:
Bảng 3.3: So sánh, đánh giá các thuật toán đã thực nghiệm
Thu tătoán
Tiêu chí Alpha Heuristic mining
Genetic process
miningă(Diătruy n) Th iăgianăth că
hi n Nhanh Nhanh Ch mătùyăthụcăvƠiăthôngă sốă tùyă chỉnh.ă
Thôngă sốă cƠngă caoă th iă giană thựcă hiện càng lâu
Đ ăphùăh păc aă
môăhìnhăk tăqu -Môăhìnhăcóăđ ctừăb năghiătốtăchoă đ̣ăphùăh p cao. -Môă hìnhă từă b nă
ghiă tồnă t iă lỗiă cóă đ̣ăphùăh păb ăs tă gi mănhiều
-Môă hìnhă cóă đ c từă b nă ghiă tốt,ă khôngă lỗiă cóăđ̣ăphùăh păcao. -Đ̣ăphùăh pă ămôăhìnhă