- TRƢỜNG ĐẠI HỌC CÔNG NGHỆ. - NGHIÊN CỨU PHƢƠNG PHÁP KIỂM CHỨNG TÍNH ĐÚNG ĐẮN CỦA MÔ HÌNH QUY TRÌNH. - NGHIỆP VỤ XÂY DỰNG BẰNG BPMN 2.0. - Ngành: Công nghệ Thông tin. - Tôi xin cam đoan kết quả đạt được trong luận văn là sản phẩm của riêng cá nhân tôi, không sao chép lại của người khác. - Tác giả xin chân thành cảm ơn sự hướng dẫn và chỉ bảo tận tình của PGS.TS.. - Trương Anh Hoàng – người đã đưa ra định hướng khoa học và luôn quan tâm, động viên, thông cảm, tạo điều kiện thuận lợi cho tác giả trong suốt quá trình thực hiện luận văn. - Đồng thời, tác giả cũng xin được gửi lời cảm ơn đến TS.. - Nguyễn Như Sơn – người đồng hướng dẫn và các thầy cô giáo trong khoa Công nghệ thông tin trường Đại học Công nghệ – Đại học Quốc Gia Hà Nội đã giảng dạy và truyền đạt những kiến thức, kinh nghiệm quý báu cho tác giả trong suốt khóa học.. - Tác giả cũng xin được cảm ơn các tác giả của các công trình nghiên cứu, tài liệu đã được tác giả sử dụng, trích dẫn trong luận văn vì đã cung cấp nguồn tư liệu quý báu và các kiến thức liên quan để tác giả thực hiện luận văn.. - Đặc biệt, tác giả xin được cảm ơn gia đình, bạn bè và các anh chị em đồng nghiệp – những người đã luôn động viên, hỗ trợ về mặt tinh thần và giúp đỡ, tạo điều kiện để tác giả hoàn thành luận văn đúng kế hoạch.. - Quản lý quy trình nghiệp vụ. - Vị trí và vai trò của kiểm chứng mô hình quy trình nghiệp vụ trong BPMS Error!. - Hướng tiếp cận của luận văn. - Các thành phần của BPMN 2.0. - Đánh giá tần suất sử dụng các ký pháp trong BPMN 2.0 Error! Bookmark not defined.. - Tính đúng đắn của BPMN. - Tính đúng đắn của mô hình quy trình nghiệp vụ. - Các dạng lỗi cấu trúc của mô hình quy trình. - Kiểm chứng tính đúng đắn BPMN dựa trên dấu vết nhân quả. - Dấu vết nhân quả. - Sinh dấu vết nhân quả từ BPMN. - Ánh xạ các thành phần từ BPMN sang đồ thị nhân quả. - Sinh dấu vết nhân quả từ đồ thị nhân quả của BPMN. - Phát hiện lỗi cấu trúc trong BPMN dựa trên dấu vết nhân quả. - BP Business Process Quy trình nghiệp vụ. - BPEL Business Process Excution Language. - Ngôn ngữ thực thi quy trình nghiệp vụ. - BPM Business Process Management Quản lý quy trình nghiệp vụ BPMN Business Process Management. - Ký pháp mô hình hóa quy trình nghiệp vụ. - BPMS Business Process Management System. - Hệ thống quản lý quy trình nghiệp vụ. - EPC Event - Driven Process Chain Chuỗi quy trình điều khiển theo sự kiện. - Kết quả đánh giá tầm quan trọng của các chủ đề trong BPM. - Mô hình quy trình bán hàng. - Chuyển đổi từ EPC sang dấu vết nhân quả. - Chuyển đổi từ Petri Net sang dấu vết nhân quả . - Lỗi tắc nghẽn trên EPC, Petri Net và trên dấu vết nhân quả. - Vòng tròn luẩn quẩn của EPC và thể hiện trên dấu vết nhân quả Error!. - Phân loại các thành phần của BPMN. - Trạng thái thu gọn và mở rộng của một quy trình con. - Ví dụ quy trình có AND-Split và AND-Join Gateway. - Ví dụ mô hình quy trình báo giá du lịch. - Quy trình mua hàng phối hợp. - Tần suất sử dụng các thành phần trong mô hình quy trình của BPMN 2.0. - Lỗi Deadlock trong BPMN. - Hình 2.10. - Lỗi nhiều điểm kết thúc trong BPMN. - Hình 2.11. - Lỗi vòng lặp vô hạn trong BPMN. - Ánh xạ các thành phần BPMN sang đồ thị nhân quả. - Lỗi tắc nghẽn trong BPMN và dấu vết nhân quả của nó. - Lỗi nhiều điểm kết thúc trong BPMN và dấu vết nhân quả. - Lỗi lặp đơn và dấu vết nhân quả. - Lỗi lặp chung và dấu vết nhân quả. - Sơ đồ ca sử dụng tổng thể của hệ thống kiểm chứng BPMN. - Cấu trúc của hệ thống kiểm chứng BPMN. - Phát hiện lỗi tắc nghẽn trong BPMN bằng dấu vết nhân quả. - Phát hiện lỗi nhiều điểm kết thúc trong BPMN bằng dấu vết nhân quả. - Phát hiện lỗi lặp đơn trong BPMN bằng dấu vết nhân quả. - Các hệ thống quản lý quy trình nghiệp vụ (Bussiness Process Management System - BPMS) ra đời và ngày càng phát triển đã giúp các tổ chức, doanh nghiệp xử lý các quy trình một cách tự động, nhanh chóng, tiết kiệm và hiệu quả. - Song song với sự phát triển của các BPMS là sự phát triển của các ngôn ngữ mô hình hóa quy trình, từ các ngôn ngữ hình thức như Petri Net đến các ngôn ngữ định nghĩa như EPC, BPMN hay các ngôn ngữ thực thi quy trình như BPEL. - Vấn đề đặt ra là làm thế nào để kiểm tra được tính đúng đắn của các mô hình quy trình nghiệp vụ. - Việc kiểm chứng tính đúng đắn của các mô hình quy trình nghiệp vụ có vai trò rất quan trọng vì nó giúp sớm phát hiện các lỗi về cấu trúc và cú pháp của các quy trình trước khi đưa vào triển khai, áp dụng, làm giảm chi phí và thời gian phát triển, triển khai quy trình.. - Các phương pháp kiểm chứng tính đúng đắn của các mô hình quy trình nghiệp vụ lần lượt ra đời theo các ngôn ngữ mô hình hóa: sử dụng kiểm chứng mô hình (Model Checking), phương pháp hình thức (Formal Method) hay lý thuyết về đồ thị, mà hầu hết là áp dụng với ngôn ngữ hình thức như Petri Net.. - BPMN là ngôn ngữ mô hình hóa hiện đại, được coi là chuẩn của các ngôn ngữ mô hình hóa, phiên bản mới nhất 2.0 năm 2011, gần gũi với ngôn ngữ tự nhiên, bộ ký pháp đầy đủ, rõ ràng, dễ hiểu đối với nhiều đối tượng người dùng, ngày càng phổ biến và được áp dụng nhiều trong các BPMS. - Luận văn dựa trên lý thuyết về “dấu vết nhân quả” [7] được trình bày trong bài báo của các tác giả B.F. - van der Aalst để tìm hiểu phương pháp kiểm chứng tính đúng đắn của các mô hình quy trình nghiệp vụ dựa trên khái niệm dấu vết nhân quả và áp dụng đối với ngôn ngữ mô hình hóa BPMN 2.0, đồng thời tiến hành thực nghiệm kiểm chứng tính đúng đắn của các mô hình xây dựng dựa trên BPMN 2.0 bằng cách chuyển đổi sang dấu vết nhân quả để xác định các loại lỗi cấu trúc của quy trình.. - Luận văn được tổ chức như sau:. - Chương 1: Giới thiệu về các hệ thống quản lý quy trình nghiệp vụ, vai trò và vị trí bài toán kiểm chứng tính đúng đắn của mô hình quy trình nghiệp vụ, trình bày một số công trình nghiên cứu liên quan và hướng tiếp cận của luận văn.. - Chương 2: Trình bày cơ sở lý thuyết về BPMN 2.0 đi kèm một số ví dụ minh họa cho việc sử dụng các ký pháp, khái niệm tính đúng đắn của BPM và các loại lỗi cấu trúc thường gặp trong mô hình quy trình.. - Chương 3: Trình bày thuật toán chuyển đổi từ BPMN sang dấu vết nhân quả, áp dụng dấu vết nhân quả vào để phát hiện các dạng lỗi cấu trúc cơ bản (lỗi tắc. - van der Business Process Management: A Comprehen-sive Survey", ISRN Software Engineering 2013, Vol. - Awad, Ralf Laue and Ahmed (2009), Proceedings of the First International Workshop on Visual Formalisms for Patterns, Visualization of Business Process Modeling Anti Patterns, Vol. - Berlin (2009), Analysis on Demand: Instantaneous Soundness Checking of Industrial Business Process Models.. - van der Structural Patterns for Soundness of Business Process Models", Proceedings of the 10th IEEE International Enterprise Distributed Objec tComputing Conference E (DOC’06).. - (2006), Business Process Management System - Strategy and Implementation, Auerbach Publications.. - Mathias Weske (2007), Business Process Management Concepts, Languages, Architectures, Springer.. - Recker, Michael Zur Muehlen and Jan (2008), How Much Language is Enough? Theoretical and Practical Use of the Business Process Modeling Notation, CAISE '08