Khảo sát tính hợp lệ của mô hình tiến trình nghiệp vụ

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG NGUYỄN VĂN QUÝ KHẢO SÁT TÍNH HỢP LỆ CỦA MÔ HÌNH TIẾN TRÌNH NGHIỆP VỤ LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH THÁI NGUYÊN - 2012 1Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG NGUYỄN VĂN QUÝ KHẢO SÁT TÍNH HỢP LỆ CỦA MÔ HÌNH TIẾN TRÌNH NGHIỆP VỤ Chuyên ngành: Khoa học máy tính Mã số: 60.48.01 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Người hướng dẫn khoa học: TS ĐẶNG ĐỨC HẠNH THÁI NGUYÊN - 2012 2Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn i LỜI CẢM ƠN Tôi xin gửi lời cảm ơn chân thành tới thầy cô Trường Đại học Công nghệ thông tin Truyền thông - Trường Đại học Thái Nguyên tất thầy Viện Công nghệ thông tin thuộc Viện Khoa học Công nghệ Việt Nam trực tiếp giảng dạy truyền đạt cho kiến thức tảng quý báu Tôi muốn đặc biệt gửi lời cảm ơn sâu sắc đến TS Đặng Đức Hạnh – Bộ môn Công Nghệ Phần Mềm, Khoa Công Nghệ Thông Tin, Trường Đại Học Công Nghệ, Đại Học Quốc Gia Hà Nội, người trực tiếp nhiệt tình hướng dẫn giúp đỡ hoàn thành Luận văn Xin gửi lời cảm ơn tới gia đình, toàn thể bạn bè người thân cổ vũ, khuyến khích động viên suốt trình thực Luận văn Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 3Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ii TÓM TẮT NỘI DUNG Một hướng “nóng” ngành công nghiệp phần mềm phát triển hệ thống BPM (Business Process Management – Quản lý quy trình nghiệp vụ) BPM tập hợp công nghệ chuẩn hỗ trợ việc thiết kế, thực thi, giám sát quản trị quy trình nghiệp vụ cho tổ chức doanh nghiệp BPM bao gồm nhiều chuẩn số BPMN (Business Process Modeling and Notation) - chuẩn để mô hình hóa quy trình nghiệp vụ BPMN bao gồm tập kí pháp đồ họa ngữ nghĩa chúng nhằm mô tả dạng trực quan (các diagram) mô hình quy trình nghiệp vụ Luận văn trình bày kỹ thuật việc kiểm tra tính hợp lệ mô hình quy trình nghiệp vụ mô hình hóa BPMN BPM (Business Process Model) metamodel biểu diễn dạng biểu đồ lớp UML (UML class diagram) công cụ USE (UML-based Specification Environment) Các ràng buộc ngữ nghĩa cú pháp mô tả điều kiện bất biến (OCL invariants) Mỗi mô hình quy trình nghiệp vụ biểu diễn thể (instance) BPM metamodel kiểm tra tính hợp lệ điều kiện bất biến định nghĩa Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 4Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn iii LỜI CAM ĐOAN Tôi xin cam đoan toàn nội dung trình bày Luận văn Tốt nghiệp hoàn toàn phần nghiên cứu thể riêng tôi, hướng dẫn cố vấn TS Đặng Đức Hạnh – Bộ môn Công Nghệ Phần Mềm, Khoa Công Nghệ Thông Tin, Trường Đại Học Công Nghệ, Đại Học Quốc Gia Hà Nội Tất số liệu, bảng biểu, nội dung trích dẫn từ tài liệu tham khảo bên thích liệt kê đầy đủ phần Tài liệu tham khảo Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 5Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn iv MỤC LỤC Nội dung: Trang MỞ ĐẦU Chương BIỂU DIỄN MÔ HÌNH VỚI METAMODEL 1.1 Lược đồ hướng đối tượng 1.1.1 1.1.2 1.1.3 1.1.4 1.1.5 Giới thiệu UML UML giai đoạn quy trình phát triển hệ thống Các hướng nhìn UML Biểu đồ lớp Biểu đồ đối tượng 1.2 Ràng buộc OCL cho metamodel 1.2.1 1.2.2 1.2.3 1.2.4 Ngôn ngữ truy vấn ngôn ngữ ràng buộc Ngôn ngữ dựa sở toán học không sử dụng ký hiệu toán học Ngôn ngữ định nghĩa kiểu Ngôn ngữ khai báo 1.3 Giới thiệu công cụ USE 2.3.1 Các chức USE 1.3.2 Kiểm tra cú pháp 1.3.3 Sinh trạng thái hệ thống 10 1.3.4 Kiểm tra tính hợp lệ trạng thái hệ thống 11 1.3.5 Đặc tả mô hình UML với USE 13 Chương TỔNG QUAN VỀ MÔ HÌNH QUY TRÌNH NGHIỆP VỤ 19 2.1 Tổng quan BPMN 19 2.1.1 2.1.2 Khái niệm 19 Các phần tử kí pháp BPMN 20 2.2 Metamodel mô hình BPM[4][7] 28 Chương KIỂM TRA TÍNH HỢP LỆ CỦA MÔ HÌNH TIẾN TRÌNH NGHIỆP VỤ BPMN 31 3.1 Biểu diễn metamodel mô hình tiến trình nghiệp vụ với USE 31 3.1.1 3.1.2 3.1.3 3.1.4 Khai Khai Khai Khai báo đặc tả BPM metamodel 31 báo Enumeration GatewayDirection 31 báo định nghĩa lớp 32 báo định nghĩa quan hệ lớp 36 3.2 Các ràng buộc OCL cho metamodel mô hình BPMN 38 3.2.1 3.2.2 3.2.3 Lớp BaseElement 38 Lớp FlowElementContainer 39 Lớp SequenceFlow 39 Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 6Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn v 3.2.4 3.2.5 3.2.6 3.2.7 3.2.8 3.2.9 3.2.10 3.2.11 3.2.12 3.2.13 Lớp ConditionSequenceFlow 40 Lớp FlowNode 40 Lớp Activity 41 Lớp StartEvent 41 Lớp EndEvent 41 Lớp IntermediateEvent 42 Lớp NormalFlowEvent 42 Lớp BoundaryEvent 42 Lớp Gateway 42 Lớp ExclusiveGateway 44 3.3 Kiểm tra tính hợp lệ mô hình BPMN cho quy trình vay tín dụng 44 3.3.1 3.3.2 Giới thiệu nghiệp vụ vay tính dụng mô hình tiến trình nghiệp vụ 44 Kiểm tra tính hợp lệ mô hình BPM vay tín dụng với USE 49 KẾT LUẬN 62 Tài Liệu Tham Khảo 66 Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 7Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn vi Phụ lục Danh mục thuật ngữ Tiếng Anh Tập hợp công cụ, công nghệ BPM - Business Process Management chuẩn cho phép mô hình hóa, tự động hóa quản lý quy trình nghiệp vụ BPMN – Business Process Model and Chuẩn BPM cho phép mô hình hóa Notation quy trình nghiệp vụ BPM metamodel – Business Process Mô hình đặc tả BPM – Business Process Model metamodel Model EAI – Enterprise Application Integration ESB – Enterprise Service Bus OCL – Object Constraint Language Mô hình tích hợp ứng dụng doanh nghiệp Mô hình băng thông dịch vụ Một chuẩn hỗ trợ cho UML giúp UML chặt chẽ xác Trong tài liệu Process hiểu Process mô hình quy trình nghiệp vụ tạo nên từ phần tử mô hình hóa BPMN Một thể mô hình quy trình, Process instance luồng thực thi thực mô hình quy trình, từ điểm đầu đến điểm cuối mô hình, qua tập phần tử mô hình Process con, process nằm bên Sub-process process khác, biểu diễn phần tử luồng process SOA – Service Oriented Architecture Mô hình kiến trúc hướng dịch vụ Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 8Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn vii UML – Unified Modelling Language Chuẩn ngôn ngữ mô hình hóa thống USE – UML based Specification Công cụ hỗ trợ đặc tả hệ thống thông Environment tin dựa phần UML OCL OMG - Object Management Group Tổ chức đưa chuẩn cho xây dựng hệ thống hướng đối tượng Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 9Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn viii DANH MỤC HÌNH VẼ ình 1-1: Các hướng nhìn UML .4 ình 1-2: Biểu đồ lớp cho giao dịch Tài ình 1-3: Biểu đồ lớp biểu đồ đối tượng thể lớp .6 ình 1-4: Biểu diễn mô hình lớp USE 10 ình 1-5: Biểu đồ đối tượng biểu diễn USE 11 ình 1-6: Kiểm tra tính hợp lệ trạng thái hệ thống với USE 13 ình 2-1: Quy trình nghiệp vụ mô hình hóa BPMN [1] 20 ình 2-2: (Start - Intermediate - End) Event [7] 21 ình 2-3: Các kí hiệu bổ sung cho Event [7] 22 ình 2-4: Task Sub-process [7] 22 ình 2-5: Các loại Gateway [7] 24 ình 2-6: Sequence Flow [7] 24 ình 2-7: Conditional Flow [7] 25 ình 2-8: Default Flow [7] 25 ình 2-9: Association [7] 25 ình 2-10: Pool [7] 26 ình 2-11: Lane [7] 26 ình 2-12: Minh họa Pool Lane [13] 27 ình 2-13: Các loại Data Object [7] 27 ình 2-14: Group [7] 28 ình 2-15: Text Annotation [7] 28 ình 2-16: Metamodel cho mô hình BPM 30 ình 3-1: Quản lý công tác phí (Expense Management) 45 ình 3-2: Quy trình vay tín dụng 46 Khảo sát tính hợp lệ mô hình tiến trình nghiệp vụ 10Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read ... 44 3.3 Kiểm tra tính hợp lệ mô hình BPMN cho quy trình vay tín dụng 44 3.3.1 3.3.2 Giới thiệu nghiệp vụ vay tính dụng mô hình tiến trình nghiệp vụ 44 Kiểm tra tính hợp lệ mô hình BPM vay tín... 20 2.2 Metamodel mô hình BPM[4][7] 28 Chương KIỂM TRA TÍNH HỢP LỆ CỦA MÔ HÌNH TIẾN TRÌNH NGHIỆP VỤ BPMN 31 3.1 Biểu diễn metamodel mô hình tiến trình nghiệp vụ với USE 31 3.1.1... ngữ nghĩa chúng nhằm mô tả dạng trực quan (các diagram) mô hình quy trình nghiệp vụ Luận văn trình bày kỹ thuật việc kiểm tra tính hợp lệ mô hình quy trình nghiệp vụ mô hình hóa BPMN BPM (Business