Hệ thống quản lý báo cáo dựa trên sự kiện

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP HCM PHẠM THỊ THÚY KIỀU HỆ THỐNG QUẢN LÝ BÁO CÁO DỰA TRÊN SỰ KIỆN LUẬN VĂN THẠC SĨ Chuyên ngành: Công nghệ Thông tin Mã ngành: 60480201 CÁN BỘ HƯỚNG DẪN KHOA HỌC: TS TÂN HẠNH TP HỒ CHÍ MINH, tháng năm 2016 CƠNG TRÌNH ĐƢỢC HỒN THÀNH TẠI TRƯỜNG ĐẠI HỌC CƠNG NGHỆ TP.HCM Cán hƣớng dẫn khoa học: TS TÂN HẠNH (Ghi rõ họ, tên, học hàm, học vị chữ ký) Luận văn Thạc sĩ đƣợc bảo vệ Trƣờng Đại học Công nghệ TP.HCM Ngày 31 tháng năm 2016 Thành phần Hội đồng đánh giá Luận văn Thạc sĩ gồm: (Ghi rõ họ, tên, học hàm, học vị Hội đồng chấm bảo vệ Luận văn Thạc sĩ) TT Họ tên Chức danh Hội đồng Chủ tịch Phản biện Phản biện Ủy viên Ủy viên, thƣ ký Xác nhận Chủ tịch Hội đồng đánh giá Luận sau Luận văn đƣợc sửa chữa (nếu có) Chủ tịch Hội đồng đánh giá LV TRƢỜNG ĐH CƠNG NGHỆ TP.HCM CỘNG HỊA XÃ HỘI CHỦ NGHĨA VIỆT NAM PHÒNG QLKH – ĐTSĐH Độc lập – Tự – Hạnh phúc TP.HCM, ngày tháng năm 2016 NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: PHẠM THỊ THÚY KIỀU Giới tính: Nữ Ngày, tháng, năm sinh: 13/9/1987 Nơi sinh: Vĩnh Long Chuyên ngành: MSHV: 1241860010 Công nghệ thông tin I- Tên đề tài HỆ THỐNG QUẢN LÝ BÁO CÁO DỰA TRÊN SỰ KIỆN II- Nhiệm vụ nội dung Tìm hiểu kiện, ngôn ngữ kiện, chế phát luật ECA Xây dựng hệ thống quản lý báo cáo dựa kiện III- Ngày giao nhiệm vụ: 20/01/2016 IV- Ngày hoàn thành nhiệm vụ: 28/5/2016 V- Cán hướng dẫn (Ghi rõ học hàm, học vị, họ, tên): TS TÂN HẠNH CÁN BỘ HƯỚNG DẪN (Họ tên chữ ký) TS TÂN HẠNH KHOA QUẢN LÝ CHUYÊN NGÀNH (Họ tên chữ ký) i LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu riêng Các số liệu, kết nêu Luận văn trung thực chƣa đƣợc công bố cơng trình khác Tơi xin cam đoan giúp đỡ cho việc thực Luận văn đƣợc cảm ơn thông tin trích dẫn Luận văn đƣợc rõ nguồn gốc Học viên thực Luận văn (Ký ghi rõ họ tên) Phạm Thị Thúy Kiều ii LỜI CẢM ƠN Để hồn thành luận văn này, tơi xin chân thành cảm ơn Thầy TS Tân Hạnh tận tình hƣớng dẫn, bảo giúp đỡ suốt thời gian thực đề tài Tôi xin bày tỏ lịng biết ơn tới q Thầy Ban chủ nhiệm khoa Cơng nghệ Thơng tin nói riêng trƣờng Đại học Cơng nghệ Tp.HCM nói chung dạy bảo, cung cấp kiến thức quý báu cho suốt q trình học tập nghiên cứu trƣờng Tơi xin gửi lời cảm ơn tới gia đình, bạn bè, ngƣời cổ vũ, quan tâm giúp đỡ suốt thời gian học tập nhƣ làm luận văn Trong suốt trình làm đề tài, thân tơi cố gắng tập trung tìm hiểu, nghiên cứu tham khảo thêm nhiều tài liệu liên quan Tuy nhiên, thân bắt đầu đƣờng nghiên cứu khoa học, chắn đề tài cịn nhiều thiếu sót Tơi mong nhận bảo q Thầy góp ý bạn bè, đồng nghiệp để đề tài đƣợc hồn thiện TP Hồ Chí Minh, tháng năm 2016 Phạm Thị Thúy Kiều iii TÓM TẮT Hiện nay, vai trị hệ thống thơng tin ngày lớn mạnh Từ vị trí đƣợc sử dụng để hỗ trợ số hoạt động văn phòng, hệ thống thơng tin trở nên có vai trị chiến lƣợc doanh nghiệp, thành tựu công nghệ thông tin đƣợc ứng dụng lĩnh vực đa dạng khác đời sống xã hội Kỹ thuật xử lý kiện đóng vai trị quan trọng đƣợc quan tâm để giải số vấn đề Xử lý kiện có liên quan với việc phát kiện, quy tắc phản ứng có liên quan với cách gọi hành động ứng phó với kiện tình hành động Nêu điều kiện theo hành động phải đƣợc thực Trong thập kỷ qua quy tắc phản ứng xử lý kiện tiếp cận khác đƣợc phát triển, phần lớn đƣợc nâng cao cách riêng biệt Và nhu cầu ngƣời không ngừng tăng lên lĩnh vực ứng dụng công nghệ thông tin để giải vấn đề thực tế Và cụ thể áp dụng kỹ thuật xử lý kiện để giải vấn đề Xuất phát từ ý tƣởng trên, em chọn Luận văn “Hệ thống quản lý báo cáo dựa kiện” nhằm phục vụ thiết thực sống hàng ngày iv ABSTRACT Currently, the role of information systems has been developed From location only be used to support a number of activities in the office, information systems has become a strategic role in the business, the achievements of information technology is being applied in the field of multi forms of social life Event processing techniques play an important role and are keen to solve some problems Handling events related to the detection of the event, the rules related reactions with a call to action to respond to events and situations that act Specify the conditions under which the action must be taken In response the last decade rule and event processing different approaches have been developed, most of which have been raised separately And the needs of the growing population in the areas of application of information technology to solve practical problems And especially the application of event processing techniques to solve the problem Starting from the idea, I chose Thesis "Report management system based on event" to serve practical in everyday life v MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii TÓM TẮT iii ABSTRACT iv DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT viii DANH MỤC CÁC BẢNG ix DANH MỤC CÁC HÌNH x CHƢƠNG 1: GIỚI THIỆU 1.1 Tính cấp thiết luận văn 1.2 Mục tiêu nghiên cứu 1.3 Đối tƣợng phạm vi nghiên cứu 1.4 Tình hình nghiên cứu .2 1.4.1 Tình hình nghiên cứu nước 1.4.2 Tình hình nghiên cứu giới 1.5 Bố cục luận văn .5 CHƢƠNG 2: 2.1 CƠ SỞ LÝ THUYẾT .6 SỰ KIỆN: 2.1.1 Sự kiện .6 2.1.2 Phân loại kiện 2.2 NGÔN NGỮ SỰ KIỆN: 2.2.1 Toán tử – OR (∨) 12 2.2.2 Toán tử tu n tự – Seq (;) 12 2.2.3 Toán tử – AND (∧) 12 2.2.4 Toán tử iện h ng theo chu 2.2.5 Toán tử NOT ┐) 14 2.2.6 Toán tử iện định 2.2.7 Toán tử ANY 15 ) 13 P P P ) 14 vi 2.3 CƠ CHẾ PHÁT HIỆN SỰ KIỆN: .15 2.3.1 Phát kiện phức hợp sf16 2.3.2 Bộ phát kiện phức hợp .20 2.3.3 Bộ biên dịch kiện 21 2.3.4 Biểu đồ kiện 21 2.4 LUẬT ECA (Event Condition Action): 27 ịnh nghĩ t ng qu t củ 2.4.1 2.4.2 .27 Luật ECA .28 CHƢƠNG 3: THỰC NGHIỆM 33 3.1 Khảo sát trạng nhu cầu 33 3.2 Xác định vấn đề 34 3.3 Mục tiêu kết mong muốn đạt đƣợc toán 36 3.4 Kiến trúc toán 36 3.4.1 Giới thiệu kiến trúc .36 3.4.2 Chức thành ph n: 38 3.5 Định nghĩa kiện toán 38 3.5.1 Sự kiện nguyên thủy 38 3.5.2 Sự kiện phức hợp 39 3.6 Định nghĩa luật toán 39 3.6.1 Luật người sử dụng định nghĩ 39 3.6.2 Công thức t ng quát luật .40 3.6.3 ịnh nghĩ c c thành ph n luật 40 CHƢƠNG 4: 4.1 KẾT QUẢ THỰC NGHIỆM VÀ ĐÁNH GIÁ 43 Mơ hình thực nghiệm 43 4.1.1 M i trường triển khai ứng dụng 43 4.1.2 c c ng đoạn triển khai ứng dụng .43 4.1.3 Các giao diện quản lý 43 4.2 Phân tích, đánh giá kết thực nghiệm .45 CHƢƠNG 5: KẾT LUẬN VÀ HƢỚNG PHÁT TRIỂN .47 vii 5.1 Các kết đạt đƣợc 47 5.2 Hạn chế đề tài 47 5.3 Hƣớng phát triển 47 TÀI LIỆU THAM KHẢO 49 36 3.3 Mục tiêu kết mong muốn đạt toán Yêu cầu ngƣời dùng:  Hệ thống gửi thơng báo kiện đúng, xác kịp thời;  Thời gian gửi yêu cầu thông báo nhanh;  Sử dụng dễ dàng;  Giao diện đẹp, hoạt động ổn định, dễ sử dụng… Yêu cầu hệ thống: quản lý báo cáo đƣợc gửi đến với khả năng:  Cung cấp kiện đúng, xác, tức thời;  Xác định đƣợc báo cáo đƣợc gửi đến thời hạn;  Nhắc nhở, cảnh báo đơn vị chƣa gửi báo cáo thời hạn;  Thống kê tình trạng báo cáo đƣợc đơn vị gửi đến;  Tổng hợp báo cáo báo cáo tổng hợp theo mẫu biểu xác định;  Hệ thống dễ dàng mở rộng, nâng cấp… 3.4 Kiến trúc toán 3.4.1 Giới thiệu kiến trúc Dựa trạng, nhu cầu quản lý hệ thống báo cáo bệnh viện Chợ Rẫy Luận văn đề xuất mơ hình phát kiện thực thi hành động tƣơng ứng nhƣ sau: 37 Hình 3.3: Kiến trúc hệ thống quản lý báo cáo dựa kiện 38 3.4.2 Chứ a thành ph n:  Server lƣu trữ liệu o Database: Cơ sở liệu chƣơng trình o Report: Thƣ mục chứa file báo cáo  Report nguồn: Chứa báo cáo đƣợc gửi lên từ phía Client  Report tổng hợp: Chứa báo cáo, đƣợc chƣơng trình tự động tổng hợp  Hệ thống quản lý báo cáo: Gồm thành phần sau o Bộ phát yêu cầu báo cáo: Sau yêu cầu báo cáo đƣợc tạo ra, phía Client nhận đƣợc yêu cầu báo cáo Đồng thời báo cáo đƣợc gửi lên từ Client đƣợc phát o Bộ phát thông điệp cảnh báo: Nếu tới thời điểm theo yêu cầy mà không nhận đƣợc báo cáo, phát thông điệp cảnh báo đến Client o Phân tích cấu trúc, tổng hợp báo cáo: Phân tích kiểm tra cấu trúc file báo cáo đƣợc gửi từ phía Client, khơng phát lỗi cấu trúc hệ thống tự động tổng hợp báo cáo thành báo cáo tổng Ngƣợc lại, phát thông điệp, báo cáo sai cấu trúc đến Client  Sever App: o Quản lý yêu cầu báo cáo o Xuất báo cáo sau tổng hợp  Client App: o Nhận yêu cầu gửi báo cáo o Nhận thông điệp cảnh báo o Gửi báo cáo 3.5 Định nghĩa kiện toán 3.5.1 Sự kiện nguyên th y Sự kiện nguyên thủy liên quan đến giao dịch đƣợc ghi nhận database Một số kiện nguyên thủy đƣợc định nghĩa bảng 3.1 39 Bảng 3.1: Bảng kiện nguyên thủy Ký hiệu STT loại Tên kiện Ví dụ kiện Sự kiện gửi báo cáo đơn vị 1 E11 Sự kiện E11(mã kiện, đơn vị) E11(0001, Khoa Cấp Cứu) Sự kiện gửi báo cáo đơn vị 2 E12 Sự kiện E12 (mã kiện, đơn vị) Sự kiện gửi báo cáo đơn vị 3 E13 Sự kiện E13 (mã kiện, đơn vị) E12(0001, Khoa Thần Kinh) E13 (0001, Khoa Tổng Quát ) 3.5.2 Sự kiện phức hợp Những kiện phức hợp đƣợc tạo kiện nguyên thủy kiện phức hợp, đƣợc kết hợp toán tử Sự kiện thể loại kiện Một số kiện phức hợp đƣợc định nghĩa nhƣ sau: Sự kiện E1 gửi báo đơn vị thành công (E11∧ E12∧ E13) (T) Sự kiện E2 tổng hợp báo cáo đơn vị ( E11∨ E12∨ E13) (T) 3.6 Định nghĩa luật toán 3.6.1 Luật người sử dụng n ng a Khi định nghĩa luật ngƣời sử dụng phải nhập tên luật (tên luật phải nhất), biết luật trực tiếp (mặc định) hay bị trì hỗn (deferred) để xác định thành phần nhƣ: kiện, điều kiện, hành động Thành phần kiện luật “Hệ thống quản lý báo cáo dựa kiện” giúp xác định loại kiện mà kích hoạt luật 40 Mệnh đề if luật xác định điều kiện phải đƣợc kiểm tra Nếu điều kiện đƣợc thỏa hành động luật đƣợc thực thi Một điều kiện đƣợc xác định nhƣ nhiều câu truy vấn SQL Nếu kết câu truy vấn rỗng, điều kiện tƣơng ứng xem nhƣ false ngƣợc lại true Lƣu ý mệnh đề If không bắt buộc Hành động câu lệnh ứng dụng “ Hệ thống quản lý báo cáo dựa kiện ” Hành động truy xuất kết việc truy vấn đƣợc thực phần điều kiện dùng thao tác enable disable để kích hoạt khơng kích hoạt luật Những thao tác cho phép kiểm soát thực thi nối tiếp tập luật (the cascading execution of rules) 3.6.2 Công thức t ng quát c a luật Công thức tổng quát luật đƣợc quy định nhƣ sau: Rule [,Priority] [,Coupling Modes] On | [If ] Do 3.6.3 n ng a t àn p n c a luật Tên luật: luật có tên Priority: kiện kích hoạt nhiều luật, cần thiết có thứ tự thực thi luật toàn hệ thống Mặc định, độ ƣu tiên luật toàn hệ thống dựa theo thứ tự luật đƣợc tạo Độ ƣu tiên luật cho phép xác định thứ tự thực thi luật tồn hệ thống Coupling Modes: xác định cách thành phần luật đƣợc thực thi liên quan đến phần khác luật việc kích hoạt giao dịch Trong ứng dụng này, coupling mode “điều kiện” “hành động” immediate: Nếu điều kiện luật đƣợc thỏa, hành động đƣợc đƣợc thực thi theo kế hoạch Coupling Mode E-C luật immediate đƣợc định nghĩa immediate thì: điều kiện C đƣợc đánh giá sau phát loại kiện E 41 Coupling Mode quy luật deferred đƣợc xác định deferred: kiểm tra điều kiện thực hành động sau thao tác cuối việc kích hoạt giao dịch nhƣng trƣớc thông qua (validates) chấp nhận (commit) Bảng 3.2: trình bày kết hợp coupling modes Tùy vào coupling modes, thực thi luật khác nhau: Bảng 3.2: Bảng kết hợp coupling modes Condition – Action Immediate Deferred Event - Condition Immediate I - Deferred II - Kết hợp 1: nghĩa điều kiện đƣợc kiểm tra sau phát kiện điều kiện đƣợc thỏa, hành động đƣợc thực thi Kết hợp 2: nghĩa điều kiện đƣợc kiểm tra việc thực thi hành động diễn sau thao tác sau giao dịch đƣợc kích hoạt, nhƣng trƣớc đƣợc xác nhận cam kết (validate or commit) Event Type: miêu tả tình (hay kiện) mà đƣợc nhận biết phát kiện Condition: công thức đƣợc tạo thành từ thuộc tính đối tƣợng giá trị Một thuộc tính câu truy vấn DB Thuộc tính true kết câu truy vấn tƣơng ứng true không rỗng Kết truy vấn đƣợc dùng cho phần hành động luật Hành động đoạn mã thực thi chƣơng trình Nó hủy giao dịch hành mà kiện tƣơng ứng xuất Dạng đơn giản hành động hàm (method) gắn với kiện liên quan Thực thi luật: Cascading execution of rules: thực thi luật nối tiếp Với luận văn xét luật đơn ràng buộc luật 42 Ví dụ: Luật 1: Đúng bảy ngày tiến hành tổng hợp báo cáo Luật 2: Nếu có khoa chƣa gửi báo cáo thơng báo cho ngƣời quản trị biết Để thấy rõ quy tắc trên, ta phân tích phần EVENT, CONDITION, ACTION viết chúng lại dƣới dạng ON-IF-THEN nhƣ sau: Luật 1: Create rule Tonghopbaocao Coupling (immediate,immediate) ON gửi báo cáo IF THEN Tự động tổng hợp báo cáo Luật 2: Create rule BaoCaoKhongHopLe1 Coupling (immediate,immediate) ON gửi báo cáo IF (┐E1) THEN thông báo cho ngƣời tổng hợp báo cáo 43 CHƯƠNG 4: KẾT QUẢ THỰC NGHIỆM VÀ ĐÁNH GIÁ 4.1 Mơ hình thực nghiệm 4.1.1 M trường triển khai ứng dụng Ngôn ngữ phát triển: Visual Studio.Net 2012(C#.Net) Yêu cầu phần cứng: tối thiểu CPU Pentium 4, RAM 512Mb 4.1.2 C ng oạn triển khai ứng dụng Công đoạn 1: Xây dựng Bộ phát yêu cầu báo cáo, Bộ phát thơng điệp cảnh báo, Phân tích cấu trúc, tổng hợp báo cáo Công đoạn 2: Xây dựng ứng dụng tạo nên tập luật động thực thi hành động tƣơng ứng Công đoạn 3: Xây dựng ứng dụng cấu hình liên quan đến định nghĩa kiện đơn giản, phức hợp cấu hình ngữ cảnh phát kiện phức hợp 4.1.3 Các giao diện quản lý Dƣới mô tả hoạt động chức chƣơng trình 44 Hình 4.1: Tạo báo cáo Hình 4.2: Gửi báo cáo 45 Hình 4.3: Tổng hợp báo cáo 4.2 Phân tích, đánh giá kết thực nghiệm Trong phạm vi nghiên cứu đề tài, Demo cho hệ thống quản lý báo cáo dựa kiện nên cịn nhiều hạn chế chƣa hồn chỉnh Tuy nhiên phần thực nghiệm đƣợc thực có đƣợc số kết tốt ban đầu, với mục tiêu đề ban đầu:  Hệ thống Demo chạy tốt, xảy lỗi, tốc độ xử lý nhanh Độ xác tổng hợp báo cáo cao  Hệ thống Demo chạy thử với nhiều loại báo cáo nhƣ: nhân sự, tình hình nhập xuất bệnh khoa, lƣơng,…  Ứng dụng Server App Client App nhỏ gọn, giao diện thân thiện, dễ dàng cài đặt, nên triển khai ngƣời dùng nhanh thành thạo sử dụng 46 Đề tài này, phát triển áp dụng vào thực tế phù hợp với quan nhà nƣớc, cơng ty, doanh nghiệp có nhiều chi nhánh, phận thƣờng xuyên phải báo cáo, tổng hợp báo cáo Giúp tiết kiệm nhiều thời gian, nhân lực, chi phí tổng hợp báo cáo, độ xác gần nhƣ tuyệt đối Chức cảnh báo nhắc nhở, để báo cáo kịp thời, phục vụ tốt công tác quản lý Thu đƣợc lợi ích đáng kể việc quản lý báo cáo đơn vị Do hệ thống Demo đƣợc xây dựng triển khai thử nghiệm, nên nhiều hạn chế, nhiều chức cần cải tiến để hồn thiện Nhìn chung kết thực nghiệm đạt yêu cầu đề 47 CHƯƠNG 5: KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 5.1 Các kết đạt Sau trình thực đề tài, xây dựng đƣợc Demo cho “Hệ thống quản lý báo cáo dựa kiện” Luận văn trình bày hai loại kiện: nguyên thủy phức hợp, cú pháp ngữ nghĩa kiện phức hợp, toán tử dùng để phát kiện phức hợp từ kiện nguyên thủy Ngoài đề tài nghiên cứu giới thiệu bốn ngữ cảnh khác dùng để phát kiện phức hợp Đã xây dựng phát kiện dùng để quản lý kiện ngƣời dùng tự định nghĩa kiện đƣợc dùng luật ECA khác Tạo tiền đề để phát triển ứng dụng hoàn thiện sau 5.2 Hạn chế đề tài Các luật ECA xây dựng luật đơn chƣa có tính ràng buộc cao luật với Các luật ECA thực thi theo trình tự dựa vào độ ƣu tiên Vì vậy, khơng thể thực thi đồng thời luật lúc Tính mềm dẽo hành vi thực thi chƣa cao, đƣợc cài đặt sẳn cố định, nên ngƣời dùng thay đổi tùy ý Phần ứng dụng phía ngƣời dùng chƣa thực tốt, chƣa hỗ trợ nhiều định dạng file báo cáo 5.3 Hướng phát triển Để hệ thống phát xử lý kiện tốt cần phải bổ sung thêm chức quản lý luật ECA theo tùy biến ngƣời dùng:  Nghiên cứu giải pháp thực thi luật ECA thực thi ràng buộc lẫn  Nghiên cứu giải pháp thực thi luật ECA thực thi đồng thời  Bổ sung chức quản lý ECA tùy biến để ngƣời dùng định nghĩa, cài đặt hành vi theo mong muốn 48  Mở rộng hệ thống, hỗ trợ tổng hợp báo cáo từ nhiều định dạng file khác  Xây dựng đa tảng cho ứng dụng, ngƣời dùng gởi báo cáo, xem báo cáo thiết bị di động  Hệ thống cảnh báo phát cảnh báo qua tin nhắn điện thoại, email, 49 TÀI LIỆU THAM KHẢO [1.] D Luckham and R Schulte Event processing glossary Edited by 1.1 Tech Rep, Event Processing Technical Society, 2008 [2.] Deepak Mishra Snoop: An Event Specification Language For Active Database Systems Master‟s thesis, Computer and Information Sciences Department, University of Florida USA, 1991 [3.] Dong Wang, Mingquan Zhou, Sajid Ali, Pengbo Zhou A Novel Complex Event Processing Engine for Intelligent Data Analysis in Integrated Information Systems International Journal of Distributed Sensor Networks,Hindawi Publishing Corporation, 2016 [4.] Đặng, Nội Thị Xây dựng dịch vụ thông báo kiện dựa mạng ngang hàng có cấu trúc Luận văn thạc sỹ, ngành Cơng nghệ Thông Tin, chuyên ngành Truyền liệu mạng máy tính, Đại học Quốc Gia Hà Nội – Trƣờng Đại học Công nghệ, 2011 [5.] E Anwar S Chakravarthy, V Krishnaprasad and S.-K Kim Composite events for active databases: Semantics, contexts and detection Proceedings of the 20th VLDB Conference, Santiago, Chile, 1994 [6.] Esper Reference 2006-2016 http://www.espertech.com/esper/release- 5.2.0/esper-reference/pdf/esper_reference.pdf [7.] EsperTech 2006 - 2016 http://www.espertech.com/esper/index.php [8.] James Bailey, George Papamarkosy, Alexandra Poulovassilis, Peter T Woody An Event – Condition – Action – Language for XML University of London, 2002 [9.] Lâm, Triết Hoàng Hệ thống t ng hợp tự động báo cáo Luận văn thạc sỹ, chuyên ngành Tin học, Trƣờng Học Viện Bƣu Chính Viễn Thơng, 2011 [10.] Lê, Hiền Trung Truy vấn luồng kiện trực tuyến Luận văn thạc sỹ chuyên ngành Tin học, Trƣờng Học Viện Bƣu Chính Viễn Thơng, 2011 [11.] Luckham, David The Power of Events Addison Wesley, 2002 50 [12.] Manning Publications 2016 https://www.manning.com/ [13.] Opher Etzion, Ella Rabinovich Context based computing and context - based event processing Tutorial in DEBS, 2010 [14.] Opher Etzion, Peter Niblett Event Processing in Action Manning Publications, 2010 [15.] Paschke A.: ECA-LP / ECA-RuleML: A Homogeneous Event- Condition-Action Logic Programming Language, Int Conf on Rules and Ru e M r up ngu ges for the Sem ntic Web Ru eM ’06) Athens, Georgia, USA, 2006 [16.] Sharma Chakravarthy Overview of HiPAC: A Research Pro ject on Active, Time-Constrained Database Management Technical Report UFCIS TR-90-18, University of Florida, Gainesville, Florida, 1990 [17.] TIBCO Software Inc 2016 http://www.tibco.com/ [18.] Zecong Song A generalized method to extending the active capability of relational database systems Master Of Science, University of Florida, USA, 2000