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 Q KHẢO SÁT TÍNH HỢP LỆ CỦA MƠ HÌNH TIẾN TRÌNH NGHIỆP VỤ Chun 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 đỡ tơi hồ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 tơi suốt q 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 tồ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 ngồi 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ở tốn học khơng sử dụng ký hiệu tố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 52 USE cho phép kiểm tra ràng buộc cấu trúc mô tả trong biểu đồ lớp đối tượng vừa tạo Ví dụ ta bỏ liên kết đối tượng creExpRpt đối tượng expenseManagement Kết kiểm tra hình 3-8: Hình 3-8: Kiểm tra ràng buộc cấu trúc Nhờ có tính hỗ trợ USE ta dễ dàng biểu diễn xác mơ hình quy trình quản lý cơng tác phí sau: tạo đối tượng process !create expenseManagement : Process !set expenseManagement.id := 'p1' tạo đối tượng Lane process !create employee : Lane !set employee.id := 'l1' !set employee.name := 'Employee' !create supervisor : Lane !set supervisor.id := 'l2' !set supervisor.name := 'Supervisor' 63Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 53 !create treasurer : Lane !set treasurer.id := 'l3' !set treasurer.name := 'Treasurer' tạo đối tượng Activity SequenceFlow process !create createExpenseReport : Task !set createExpenseReport.id := 'a1' !set createExpenseReport.name := 'Create Expense Report' !create startEvent : StartEvent !set startEvent.id := 'e1' !set startEvent.name := 'Start' !create endEvent : EndEvent !set endEvent.name := 'End' !set endEvent.id := 'e2' !create StartToChkCompPol : SequenceFlow !set StartToChkCompPol.id := 's1' !set StartToChkCompPol.selected := false !create checkCompPol : Task !set checkCompPol.id := 'a2' !set checkCompPol.name := 'Check Company Policy' !create ChkCompPolToEditRpt : ConditionSequenceFlow !set ChkCompPolToEditRpt.id := 's2' !set ChkCompPolToEditRpt.name := 'Not Accepted' !set ChkCompPolToEditRpt.selected := false !set ChkCompPolToEditRpt.condition := false 64Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 54 !create ChkCompPolToRevRpt : UnconditionSequenceFlow !set ChkCompPolToRevRpt.id := 's3' !set ChkCompPolToRevRpt.selected := false !create ChkCompPolToConfRpt : ConditionSequenceFlow !set ChkCompPolToConfRpt.id := 's4' !set ChkCompPolToConfRpt.name := 'Accepted and PreApproved' !set ChkCompPolToConfRpt.selected := false !set ChkCompPolToConfRpt.condition := false !create editReport : Task !set editReport.id := 'a3' !set editReport.name := 'Edit Report' !create EditRptToChkCompPol : UnconditionSequenceFlow !set EditRptToChkCompPol.id := 's5' !set EditRptToChkCompPol.selected := false !create revReport : Task !set revReport.id := 'a4' !set revReport.name := 'Review Report' !create RevRptToEditRpt : ConditionSequenceFlow !set RevRptToEditRpt.id := 's6' !set RevRptToEditRpt.name := 'Not Approved' !set RevRptToEditRpt.selected := false !set RevRptToEditRpt.condition := false !create RevRptToConfRpt : ConditionSequenceFlow !set RevRptToConfRpt.id := 's7' !set RevRptToConfRpt.name := 'Approved' 65Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 55 !set RevRptToConfRpt.condition := false !set RevRptToConfRpt.selected := false !create confReport : Task !set confReport.id := 'a5' !set confReport.name := 'Confirm Report' !create ConfRptToEditRpt : ConditionSequenceFlow !set ConfRptToEditRpt.id := 's8' !set ConfRptToEditRpt.name := 'Not Confirmed' !set ConfRptToEditRpt.selected := false !set ConfRptToEditRpt.condition := false !create ConfRptToProcExp : UnconditionSequenceFlow !set ConfRptToProcExp.id := 's9' !set ConfRptToProcExp.selected := false !create procExp : Task !set procExp.id := 'a6' !set procExp.name := 'Process Expense' !create ProcExpToEndEvent : UnconditionSequenceFlow !set ProcExpToEndEvent.id := 's10' !set ProcExpToEndEvent.selected := false tạo liên kết cho quan hệ composition đối tượng Lane đối tượng Process !insert (expenseManagement,employee) into LaneContain !insert (expenseManagement,supervisor) into LaneContain !insert (expenseManagement,treasurer) into LaneContain tạo liên kết cho quan hệ composition 66Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 56 đối tượng FlowElement đối tượng Process !insert (expenseManagement,startEvent) into FlowContain !insert (expenseManagement,createExpenseReport) into FlowContain !insert (expenseManagement,StartToChkCompPol) into FlowContain !insert (expenseManagement,checkCompPol) into FlowContain !insert (expenseManagement,ChkCompPolToEditRpt) into FlowContain !insert (expenseManagement,ChkCompPolToConfRpt) into FlowContain !insert (expenseManagement,ChkCompPolToRevRpt) into FlowContain !insert (expenseManagement,editReport) into FlowContain !insert (expenseManagement,confReport) into FlowContain !insert (expenseManagement,EditRptToChkCompPol) into FlowContain !insert (expenseManagement,RevRptToEditRpt) into FlowContain !insert (expenseManagement,RevRptToConfRpt) into FlowContain !insert (expenseManagement,ConfRptToEditRpt) into FlowContain !insert (expenseManagement,ConfRptToProcExp) into FlowContain !insert (expenseManagement,ProcExpToEndEvent) into FlowContain !insert (expenseManagement,revReport) into FlowContain !insert (expenseManagement,procExp) into FlowContain !insert (expenseManagement,endEvent) into FlowContain !insert (employee,createExpenseReport) into NodeContain !insert (employee,editReport) into NodeContain !insert (employee,startEvent) into NodeContain !insert (employee,checkCompPol) into NodeContain !insert (supervisor,revReport) into NodeContain 67Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 57 !insert (treasurer,confReport) into NodeContain !insert (treasurer,procExp) into NodeContain !insert (treasurer,endEvent) into NodeContain !insert (startEvent,StartToChkCompPol) into Source !insert (checkCompPol,ChkCompPolToEditRpt) into Source !insert (checkCompPol,ChkCompPolToConfRpt) into Source !insert (checkCompPol,ChkCompPolToRevRpt) into Source !insert (editReport,EditRptToChkCompPol) into Source !insert (revReport,RevRptToEditRpt) into Source !insert (revReport,RevRptToConfRpt) into Source !insert (confReport,ConfRptToEditRpt) into Source !insert (confReport,ConfRptToProcExp) into Source !insert (procExp,ProcExpToEndEvent) into Source !insert (checkCompPol,StartToChkCompPol) into Target !insert (editReport,ChkCompPolToEditRpt) into Target !insert (revReport,ChkCompPolToRevRpt) into Target !insert (confReport,ChkCompPolToConfRpt) into Target !insert (editReport,RevRptToEditRpt) into Target !insert (editReport,ConfRptToEditRpt) into Target !insert (checkCompPol,EditRptToChkCompPol) into Target !insert (confReport,RevRptToConfRpt) into Target !insert (procExp,ConfRptToProcExp) into Target !insert (endEvent,ProcExpToEndEvent) into Target Kết hiển thị giao diện hình 3-9: 68Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 58 Hình 3-9: Mơ hình quy trình quản lý cơng tác phí biểu diễn USE Để tránh rối hình, ta ẩn số đối tượng liên kết kèm để thấy rõ luồng quy trình Theo dõi hình 3.10, 3.11 3.12 Hình 3-10: Quan hệ process phần tử bên (1) 69Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 59 Hình 3-11: Quan hệ process phần tử bên (2) Hình 3-12: Luồng mơ hình quy trình biểu diễn USE 3.3.2.3 Kiểm tra, phát sửa vi phạm điều kiện bất biến mơ hình quy trình nghiệp vụ Ở phần ta kiểm tra mơ hình quy trình vừa mơ tả với ràng buộc định nghĩa BPM metamodel kết hiển thị hình 313: 70Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 60 Hình 3-13: Kết kiểm tra mơ hình quy trình với điều kiện bất biến Kết có điều kiện bất biến bị vi phạm Đó ràng buộc R011 với lớp Activity (tham khảo ràng buộc mục 3.2.6) Ta xác định xác đối tượng vi phạm ràng buộc để sửa đổi lại cách sử dụng Evaluation Browser (hình 3-14) Hình 3-14: Thông tin chi tiết ràng buộc bị vi phạm Ta xác định lỗi Activity “Review Report” có ConditionFlow khơng có default SequenceFlow (tham khảo lại hình 3-6) Ta sửa 71Số hóa Trung tâm Học liệu – Đại học Thái Ngun http://www.lrc-tnu.edu.vn 61 đổi lại mơ hình quy trình để Activity “Review Report” có ConditionFlow UnconditionFlow đóng vai trị default hình 3-15 (do điều kiện Approved Not Approved điều kiện tương phản nên việc có thêm ConditionFlow thừa, thay UnconditionFlow) Hình 3-15: Quy trình quản lý cơng tác phí sửa đổi Và biểu diễn USE: Hình 3-16: Mơ hình quy trình quản lý cơng tác phí sửa đổi biểu diễn USE 72Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 62 Kết kiểm tra với ràng buộc sau: Hình 3-17: Kết kiểm tra với điều kiện bất biến sau sửa đổi mơ hình quy trình Với đặc tả model BPM theo ngôn ngữ USE trên, chưa có phần mềm đặc tả trực tiếp mà có Tool XMI2USE hỗ trợ Dữ liệu đầu vào cho tool Class thiết kế mơ hình UML (sử dụng phần mềm Ration Rose ), sau Export file XML Import vào tool XMI2USE để tạo model BPM theo ngôn ngữ USE với file *.use Trong q trình nghiên cứu, tơi xây dựng tool để mô tả metamodel cho liệu đầu vào cho công cụ USE để kiểm tra tính hợp lệ mơ hình: 73Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 63 Hình 3-18: Giao diện phần mềm mơ tả meta BPM Kết mơ tả thể hình: Hình 3-19: Mơ tả meta BPM 74Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 64 Kết thúc q trình mơ tả, lưu thơng tin dạng file có phần mở rộng *.use Hình 3-20: Lưu đặc tả mơ hình Kết ta mơ tả model BPM có nội dung Hình 3-21: Kết đặc tả làm nguồn cho công cụ USE 75Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 65 KẾT LUẬN USE công cụ mạnh để đặc tả hệ thống thông tin kiểm tra tính đắn mơ hình Chúng ta sử dụng USE để biểu diễn metamodel mơ hình BPM biểu diễn ràng buộc OCL cho metamodel Chúng ta dùng USE để kiểm tra định dạng cho mơ hình quy trình nghiệp vụ sử dụng tính truy vết để xác định xác phần tử vi phạm ràng buộc Tuy nhiên chưa phải tất USE làm Luận văn trọng vào mô tả ngữ nghĩa tĩnh BPM metamodel tức mô tả điều kiện bất biến nên việc kiểm tra định dạng cho mơ hình quy trình dừng lại việc kiểm tra cú pháp BPMN Nếu mô tả tiền điều kiện hậu điều kiện để làm rõ ngữ nghĩa động ta cịn mơ luồng thực thi quy trình phát lỗi có trình runtime quy trình Thêm điểm cần lưu ý việc biểu diễn BPM metamodel mơ hình quy trình USE nhiều cơng sức USE có ngơn ngữ đặc tả riêng dạng text Để biểu diễn đặc tả cần phải có q trình ánh xạ (mapping) từ định dạng ngôn ngữ đặc tả khác sang ngôn ngữ đặc tả USE Quá trình thao tác với USE sử dụng tập lệnh với cú pháp riêng Các mơ hình quy trình đưa vào biểu diễn USE gặp khó khăn khơng nhỏ lí Hướng phát triển luận văn chia làm mức Mức thứ tiếp tục hoàn thiện BPM metamodel làm rõ thêm ngữ nghĩa động BPM metamodel Mức thứ hai phát triển tính cho phép USE tự động ánh xạ mơ hình quy trình biểu diễn định dạng mặc định đặc tả BPMN2.0 [7] (dạng XML) sang dạng đặc tả USE Khi USE sử dụng thực cơng cụ kiểm tra định dạng cho mơ hình quy trình nghiệp vụ Người dùng đưa mơ hình quy trình vào kiểm tra USE cách đơn giản hiệu việc kiểm tra với USE lớn Tuy nhiên, để làm việc đơn giản BPMN chuẩn mở nên nhà cung cấp giải pháp BPM tự đưa đặc tả riêng dựa đặc tả OMG [7] Từ mơ hình quy trình biểu diễn với cơng cụ mơ hình hóa khác có định dạng khác nhau, điều gây khó khăn cho q trình ánh xạ tự động 76Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 66 Tài Liệu Tham Khảo [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] BizAgi, ―BPMN by Example‖, http://elearning.bizagi.com Database Systems Group, Bremen University, ―USE – A UML based Specification Environment‖, v0.1, May 16 2007, http://www.db.informatik.uni-bremen.de/projects/USE/ IBM, ‖Service Oriented Architecture — SOA‖, http://www01.ibm.com/software/solutions/soa Jens Brüning, Martin Gogolla, and Peter Forbrig Modeling and Formally Checking Workflow Properties Using UML and OCL Proc 9th Int Conf Perspectives in Business Informatics Research (BIR'2010), pages 130-145 Springer, Berlin, LNBIP 64, 2010 Martin Gogollar, Mark Richters, ―Using the UML Specification Environment‖, Feb 15 2002 OMG, ―Business Process Model and Notation (BPMN)‖, v1.2, Jan 03 2009, http://www.omg.org/spec/BPMN/1.2/ OMG, ―Business Process Model and Notation (BPMN)‖, v2.0, Jan 03 2011, http://www.omg.org/spec/BPMN/2.0/ OMG, ―Object Constraint Language - OCL‖, v2.3, http://www.omg.org/spec/OCL/ OMG, ―The Unified Modeling Language – UML‖, http://www.uml.org/ Oracle, ―Oracle BPM Studio Tutorial 10g‖, http://download.oracle.com/docs/cd/E13154_01/bpm/docs65/tutorial Stephen A White, IBM Corporation, ―Introduction to BPMN‖, http://www.bpmn.org http://docs.oracle.com/cd/E15586_01/doc.1111/e15176/intro_bpm_st udio.htm http://www.rickgeneva.com/wp/posts/swimlane-lane-or-pool-learn-toswim-first/ 77Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ... 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... 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