ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ
Đào Thủy Ngân
XÂY DỰNG MÔ HÌNH QUÁ TRÌNH
BẰNG PHƯƠNG PHÁP MIỀN TRẠNG THÁI
KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY
Ngành: Công nghệ thông tin
HÀ NỘI - 2013
ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ
Đào Thủy Ngân
XÂY DỰNG MÔ HÌNH QUÁ TRÌNH
BẰNG PHƯƠNG PHÁP MIỀN TRẠNG THÁI
KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY
Ngành: Công nghệ thông tin
Cán bộ hướng dẫn: PGS. TS. Hà Quang Thụy
Cán bộ đồng hướng dẫn: TS. Nguyễn Cẩm Tú
HÀ NỘI - 2013
XÂY DỰNG MÔ HÌNH QUÁ TRÌNH
BẰNG PHƯƠNG PHÁP MIỀN TRẠNG THÁI
Đào Thủy Ngân
Khóa QHI-2009-I/CQ , ngành Công nghệ Thông tin
Tóm tắt Khóa luận tốt nghiệp:
Khai phá quá trình là chuyên ngành nghiên cứu mới, hướng tới mục tiêu đưa ra bộ
công cụ toàn diện để cung cấp thông tin từ nhật kí sự kiện. Trong các bài toán khai phá
quá trình, phát hiện mô hình là một nhóm bài toán khó, bao gồm các nghiên cứu nhằm
tự động phát hiện và trích xuất mô hình quá trình từ nhật kí sự kiện. Một trong các vấn
đề quan trọng của phát hiện quá trình là làm thế nào để xây dựng được mô hình với mức
độ khái quát phù hợp [9].
Trong khóa luận này, chúng tôi trình bày phương pháp xây dựng mô hình quá trình
dựa vào miền trạng thái. Đây là phương pháp được W.M.P. van der Aalst và cộng sự đề
xuất năm 2010 [9]. Phương pháp miền trạng thái giải quyết nhiều vấn đề, trong đó tập
trung vào vấn đề cân bằng mức độ quát của mô hình quá trình. Khóa luận đã thực hiện
được thực nghiệm đánh giá hiệu quả của phương pháp miền trạng thái với bộ dữ liệu là
nhật kí sự kiện sự kiện thực tế của công ty Volvo IT. Khóa luận cũng có đề xuất phương
án giúp nâng cao chất lượng mô hình khi sử dụng phương pháp miền trạng thái để khai
phá các quá trình có nhiễu.
Từ khóa: phát hiện quá trình, miền, miền trạng thái.
i
LỜI CAM ĐOAN
Tất cả các bài báo, khóa luận, tài liệu, công cụ phần mềm của các tác giả khác được
sử dụng lại trong khóa luận này đều được chỉ dẫn tường minh về tác giả và đều có trong
danh sách tài liệu tham khảo.
Tất cả các bài báo, khóa luận, tài liệu, công cụ phần mềm của các tác giả khác được
sử dụng lại trong khóa luận này đều được chỉ dẫn tường minh về tác giả và đều có trong
danh sách tài liệu tham khảo
Hà Nội, ngày 14 tháng 5 năm 2013
Sinh viên
Đào Thủy Ngân
ii
Lời cảm ơn
Trước tiên, tôi xin được gửi lời cảm ơn chân thành và lòng biết ơn sâu sắc nhất tới
PGS. TS. Hà Quang Thụy, TS. Nguyễn Cẩm Tú, những người đã hướng dẫn và chỉ bảo
tận tình cho tôi trong suốt quá trình thực hiện khóa luận tốt nghiệp.
Tôi xin được chân thành cảm ơn các thầy cô, cán bộ trường Đại học Công nghệ -
Đại học Quốc gia Hà Nội đã tạo cho tôi những điều kiện thuận lợi nhất trong suốt quá
trình học tập và nghiên cứu.
Tôi cũng xin gửi lời cảm ơn tới các thầy cô, các anh chị và các bạn trong Phòng
thí nghiệm KT-LAB đã chỉ bảo cho tôi rất nhiều về kiến thức chuyên môn và kỹ năng
nghiên cứu. Cảm ơn các thành viên của lớp K54CC đã hỗ trợ, chia sẻ với tôi những lúc
khó khăn trong suốt quá trình tôi thực hiện đề tài.
Cuối cùng, tôi muốn gửi lời cảm ơn tới gia đình, bạn bè, người thân những người
luôn ở bên động viên tôi trong suốt quá trình học tập, nghiên cứu cũng như hoàn thành
khóa luận tốt nghiệp.
Tôi xin chân thành cảm ơn!
Hà Nội, ngày 14 tháng 5 năm 2013
Sinh viên
Đào Thủy Ngân
iii