Từ mô hình hóa quy trình nghiệp vụ đến phân tích và cải tiến quy trình nghiệp vụ

TRƯỜNG ĐẠI HỌC HỊA BÌNH KHOA CƠNG NGHỆ THƠNG TIN NGUYỄN MINH QUANG TỪ MƠ HÌNH HĨA QUY TRÌNH NGHIỆP VỤ ĐẾN PHÂN TÍCH VÀ CẢI TIẾN QUY TRÌNH NGHIỆP VỤ LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI - 2017 i TRƯỜNG ĐẠI HỌC HỊA BÌNH KHOA CƠNG NGHỆ THƠNG TIN NGUYỄN MINH QUANG TỪ MƠ HÌNH HĨA QUY TRÌNH NGHIỆP VỤ ĐẾN PHÂN TÍCH VÀ CẢI TIẾN QUY TRÌNH NGHIỆP VỤ Chun ngành: Cơng nghệ thơng tin Mã số: 60480201 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN Cán hướng dẫn: TS Đặng Đức Hạnh HÀ NỘI - 2017 ii LỜI CẢM ƠN Tôi xin chân thành cảm ơn tới tất thầy cô khoa Công nghệ thông tin thầy cô giảng dạy khóa K1 Cao học CNTT trường Đại học Hịa Bình truyền đạt cho tơi kiến thức bổ ích q báu Đặc biệt tơi xin gửi lời cảm ơn sâu sắc đến TS Đặng Đức Hạnh, người trực tiếp nhiệt tình hướng dẫn giúp đỡ tơi hồn thành đề tài luận văn Và xin chân thành cảm ơn đến gia đình, bạn bè, anh chị em lớp K1 Cao học CNTT cổ vũ, giúp đỡ suốt trình thực đề tài luận văn 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 – 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 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 tiệu tham khảo iv MỤC LỤC LỜI MỞ ĐẦU CHƯƠNG KIẾN THỨC NỀN TẢNG 1.1.Giới thiệu 1.2 Tổng quan mơ hình hóa quy trình nghiệp vụ 1.2.1 Khái niệm mơ hình hóa nghiệp vụ 1.2.2 Tại cần mơ hình hóa nghiệp vụ? 1.2.3 Ưu điểm mô hình hóa quy trình nghiệp vụ 1.2.4 Luồng cơng việc mơ hình hóa nghiệp vụ 1.3 Ngơn ngữ mơ hình hóa quy trình nghiệp vụ BPMN 1.3.1 Khái niệm BPMN 1.3.2 Các loại mô hình quy trình nghiệp vụ 1.3.3 Các yếu tố BPMN 10 1.4 Công cụ hỗ trợ USE ngôn ngữ ràng buộc OCL 34 1.4.1 Giới thiệu OCL 34 1.4.2 Giới thiệu USE (UML-based Specification Environment) 36 1.4.3 Đặc tả BPMN metamodel USE 42 1.5 Tổng kết chương 55 CHƯƠNG KỸ THUẬT ĐẢM BẢO CHẤT LƯỢNG QUY TRÌNH NGHIỆP VỤ 56 2.1 Giới thiệu 56 2.2 Tổng quan tiêu chí chất lượng mơ hình 56 2.3 Tính hợp lệ quy trình nghiệp vụ 60 2.3.1 Lớp BaseElement 61 2.3.2 Lớp FlowElementContainer 61 2.3.3 Lớp SequenceFlow 62 2.3.4 Lớp ConditionSequenceFlow 63 2.3.5 Lớp FlowNode 64 2.3.6 Lớp Activity 64 2.3.7 Lớp StartEvent 65 v 2.3.8 Lớp EndEvent 65 2.3.9 Lớp IntermediateEvent 65 2.3.10 Lớp NormalFlowEvent 66 2.3.11 Lớp BoundaryEvent 66 2.3.12 Lớp Gateway 67 2.3.13 Lớp ExclusiveGateway 69 2.4 Tổng hợp số mẫu bế tắc quy trình nghiệp vụ BPMN 69 2.4.1 Mẫu bế tắc 70 2.4.2 Phương thức giảm thiểu bế tắc quy trình nghiệp vụ 71 2.5 Tổng kết chương 73 CHƯƠNG CÀI ĐẶT VÀ THỰC NGHIỆM 74 3.1 Giới thiệu 74 3.2 Tổng quan quy trình nghiệp vụ phịng marketing 74 3.2.1 Biển diễn mơ hình quy trình nghiệp vụ BPMN 74 3.2.2 Kiểm tra tính hợp lệ quy trình 76 3.3 Tổng quan quy trình nghiệp vụ cũ phịng marketing 81 3.3.1 Biểu diễn mơ hình quy trình nghiệp vụ BPMN 81 3.3.2 Kiểm tra tính hợp lệ quy trình 82 3.4 Tổng kết chương 84 KẾT LUẬN 85 TÀI LIỆU THAM KHẢO 87 vi DANH MỤC HÌNH VẼ: Hình 1.1: Các bước thiết kế quy trình nghiệp vụ với BPMN Hình 1.2: Ví dụ loại mơ hình Orchestration Hình 1.3: Ví dụ loại mơ hình Choreography Hình 1.4: Ví dụ loại mơ hình Collaboration Hình 1.5: Các loại kiện Hình 1.6: Các loại kiện khác Hình 1.7: Ví dụ kiện thời gian Hình 1.8: Sự kiện trung gian gắn với tác vụ Hình 1.9: Nhiều kiện kết thúc quy trình Hình 1.10: Các loại hoạt động Hình 1.11: Các loại tác vụ Hình 1.12: Ví dụ quy trình Hình 1.13: Ví dụ vịng lặp Hình 1.14: Các loại cổng định Hình 1.15: Ví dụ thích Hình 1.16: Các loại đối tượng liệu Hình 1.17: Ví dụ Group Hình 1.18: Ví dụ thích văn Hình 1.19: Ví dụ đối tượng kết nối Hình 1.20: Ví dụ Pool Lane Hình 1.21: Biểu diễn mơ hình lớp USE Hình 1.22: Biểu đồ đối tượng biểu diễn USE Hình 1.23: Kiểm tra tính hợp lệ trạng thái hệ thống với USE Hình 1.24: Metamodel cho mơ hình BPMN Hình 1.25: Biểu đồ lớp cho BPMN metamodel biểu diễn USE Hình 2.1: Mơ hình quy trình gặp bế tắc vii Hình 2.2: Các thuộc tính đánh giá Hình 3.1: Mơ hình quy trình nghiệp vụ phịng marketing Hình 3.2: Tạo đối tượng, liên kết đặt giá trị cho thuộc tính đối tượng Hình 3.3: Mơ hình quy trình nghiệp vụ phịng marketing biểu diễn USE Hình 3.4: Quan hệ process phần tử bên Hình 3.5: Luồng mơ hình quy trình biểu diễn USE Hình 3.6: Kết kiểm tra mơ hình quy trình với điều kiện bất biến Hình 3.7: Mơ hình quy trình nghiệp vụ phịng marketing Hình 3.8: Kết kiểm tra mơ hình quy trình cũ với điều kiện bất biến Hình 3.9: Thông tin chi tiết ràng buộc bị vi phạm Hình 3.10: Mơ hình phần quy trình cần phải sửa đổi viii BẢNG KÝ HIỆU VÀ CÁC CHỮ VIẾT TẮT BPMN Business Process Model and Notation BPMN metamodel Business Process Model and Notation metamodel BPM Business Process Management OCL Object Constraint Language UML Unified Modelling Language USE UML based Specification Environment OMG Object Management Group BPEL Business Process Execution Language MOF Meta Object Facility ix LỜI MỞ ĐẦU Khi nói đến quy trình nghiệp vụ, hiểu tất quy trình gồm hoạt động bên công ty, doanh nghiệp tuân theo quy định định Tuy nhiên, khơng phải doanh nghiệp có quy trình nghiệp vụ bản, chuyên nghiệp khiến cho số phận trực thuộc doanh nghiệp vận hành gặp khó khăn khơng có tính đồng Một doanh nghiệp có quy trình chuẩn mang đến hiệu hoạt động, tầm nhìn kinh doanh nhanh nhạy thời cuộc, giúp cho doanh nghiệp tiến hành hoạt động kinh doanh với chi phí thấp, tiết kiệm thời gian, tối ưu nguồn lực, dễ nắm bắt thay đổi hội tiềm Để hỗ trợ cho doanh nghiệp dễ hình dung thay đổi phát triển quy trình nghiệp vụ ngơn ngữ mơ hình hóa quy trình nghiệp vụ BPMN giúp doanh nghiệp giải vấn đề BPMN cầu nối người thiết kế người cài đặt quy trình nghiệp vụ Với vai trị thiết yếu hoạt động kinh doanh, BPMN hãng phần mềm khác phát triển với đầy đủ cơng cụ thiết kế, mơ hình hóa, kiểm thử, cài đặt vận hành Vì vậy, luận văn tập trung nghiên cứu vấn đề lý thuyết liên quan đến quy trình nghiệp vụ, cơng cụ hỗ trợ mơ hình hóa quy trình nghiệp vụ với BPMN Luận văn áp dụng lý thuyết sử dụng công cụ hỗ trợ để thực phận marketing online cho cơng ty Luận văn bố cục với chương sau: Chương Trình bày tổng quan mơ hình hóa quy trình nghiệp vụ bao gồm khái niệm, tầm quan trọng ưu điểm, kiến thức ngôn ngữ BPMN công cụ hỗ trợ; Chương Trình bày lý thuyết kỹ thuật đảm bảo chất lượng quy trình nghiệp vụ, phương pháp kiểm tra tính hợp lệ quy trình; Chương Cài đặt thực nghiệm phần marketing cơng ty Phân tích, đánh giá, so sánh quy trình cũ Cuối phần kết luận trình bày kết đạt luận văn !set createPlanToSendToDirector.selected := false !create sendToDirector : Task !set sendToDirector.id := 't2' !set sendToDirector.name := 'Send to Director' !create sendToDirectorToConfirmPlan : SequenceFlow !set sendToDirectorToConfirmPlan.id := 's3' !set sendToDirectorToConfirmPlan.selected := false !create confirmPlan : ExclusiveGateway !set confirmPlan.id := 'g1' !set confirmPlan.name := 'Confirm plan' !create confirmPlanToCreatePlan : SequenceFlow !set confirmPlanToCreatePlan.id := 's4' !set confirmPlanToCreatePlan.name := 'No' !set confirmPlanToCreatePlan.selected := false !create confirmPlanToDeployPlan : SequenceFlow !set confirmPlanToDeployPlan.id := 's5' 91 !set confirmPlanToDeployPlan.name := 'Yes' !set confirmPlanToDeployPlan.selected := true !create deployPlan : Task !set deployPlan.id := 't3' !set deployPlan.name := 'Deploy plan' !create deployPlanToReceiveDesignTask : SequenceFlow !set deployPlanToReceiveDesignTask.id := 's6' !set deployPlanToReceiveDesignTask.selected := false !create receiveDesignTask : Task !set receiveDesignTask.id := 't4' !set receiveDesignTask.name := 'Receive design task' !create receiveDesignTaskToDesignImage : SequenceFlow !set receiveDesignTaskToDesignImage.id := 's7' !set receiveDesignTaskToDesignImage.selected := false !create designImage : Task !set designImage.id := 't5' 92 !set designImage.name := 'Design image' !create designImageToConfirmDesign : SequenceFlow !set designImageToConfirmDesign.id := 's8' !set designImageToConfirmDesign.selected := false !create confirmDesign : ExclusiveGateway !set confirmDesign.id := 'g2' !set confirmDesign.name := 'Confirm design' !create confirmDesignToDesignImage : SequenceFlow !set confirmDesignToDesignImage.id := 's9' !set confirmDesignToDesignImage.name := 'No' !set confirmDesignToDesignImage.selected := false !create confirmDesignToSendImageToAdvertiser : SequenceFlow !set confirmDesignToSendImageToAdvertiser.id := 's10' !set confirmDesignToSendImageToAdvertiser.name := 'Yes' !set confirmDesignToSendImageToAdvertiser.selected := true !create sendImageToAdvertiser : Task 93 !set sendImageToAdvertiser.id := 't6' !set sendImageToAdvertiser.name := 'Send image to Advertiser' !create sendImageToAdvertiserToReceiveImgPR : SequenceFlow !set sendImageToAdvertiserToReceiveImgPR.id := 's11' !set sendImageToAdvertiserToReceiveImgPR.selected := false !create deployPlanToReceiveWriteTask : SequenceFlow !set deployPlanToReceiveWriteTask.id := 's12' !set deployPlanToReceiveWriteTask.selected := false !create receiveWriteTask : Task !set receiveWriteTask.id := 't7' !set receiveWriteTask.name := 'Receive write task' !create receiveWriteTaskTowritePR : SequenceFlow !set receiveWriteTaskTowritePR.id := 's13' !set receiveWriteTaskTowritePR.selected := false !create writePR : Task !set writePR.id := 't8' 94 !set writePR.name := 'Write PR' !create writePRToConfirmWrite : SequenceFlow !set writePRToConfirmWrite.id := 's14' !set writePRToConfirmWrite.selected := false !create confirmWrite : ExclusiveGateway !set confirmWrite.id := 'g3' !set confirmWrite.name := 'Confirm Write' !create confirmWriteTowritePR : SequenceFlow !set confirmWriteTowritePR.id := 's15' !set confirmWriteTowritePR.name := 'No' !set confirmWriteTowritePR.selected := false !create confirmWriteTosendPRToAdvertiser : SequenceFlow !set confirmWriteTosendPRToAdvertiser.id := 's16' !set confirmWriteTosendPRToAdvertiser.name := 'Yes' !set confirmWriteTosendPRToAdvertiser.selected := true !create sendPRToAdvertiser : Task 95 !set sendPRToAdvertiser.id := 't9' !set sendPRToAdvertiser.name := 'Send PR to Advertiser' !create sendPRToAdvertiserToReceiveImgPR : SequenceFlow !set sendPRToAdvertiserToReceiveImgPR.id := 's17' !set sendPRToAdvertiserToReceiveImgPR.selected := false !create deployPlanToReceiveAdTask : SequenceFlow !set deployPlanToReceiveAdTask.id := 's18' !set deployPlanToReceiveAdTask.selected := false !create receiveAdTask : Task !set receiveAdTask.id := 't10' !set receiveAdTask.name := 'Receive advertise task' !create receiveAdTaskToReceiveImgPR : SequenceFlow !set receiveAdTaskToReceiveImgPR.id := 's19' !set receiveAdTaskToReceiveImgPR.selected := false !create receiveImgPR : Task !set receiveImgPR.id := 't11' 96 !set receiveImgPR.name := 'Receive image and PR' !create receiveImgPRToDeployAd : SequenceFlow !set receiveImgPRToDeployAd.id := 's20' !set receiveImgPRToDeployAd.selected := false !create deployAd : Task !set deployAd.id := 't12' !set deployAd.name := 'Deploy advertisement' !create deployAdToCreateReport : SequenceFlow !set deployAdToCreateReport.id := 's21' !set deployAdToCreateReport.selected := false !create createReport : Task !set createReport.id := 't13' !set createReport.name := 'Create report' !create createReportToReceiveReport : SequenceFlow !set createReportToReceiveReport.id := 's22' !set createReportToReceiveReport.selected := false 97 !create receiveReport : Task !set receiveReport.id := 't14' !set receiveReport.name := 'Receive report' !create receiveReportToEvaluateResult : SequenceFlow !set receiveReportToEvaluateResult.id := 's23' !set receiveReportToEvaluateResult.selected := false !create evaluateResult : Task !set evaluateResult.id := 't15' !set evaluateResult.name := 'Evaluate Result' !create evaluateResultToEnd : SequenceFlow !set evaluateResultToEnd.id := 's24' !set evaluateResultToEnd.selected := false !create endEvent : EndEvent !set endEvent.name := 'End' !set endEvent.id := 'e2' 98 tao lien ket quan he composition giua cac doi tuong Lane va doi tuong Process !insert (marketingProcess,director) into LaneContain !insert (marketingProcess,manager) into LaneContain !insert (marketingProcess,designer) into LaneContain !insert (marketingProcess,copywriter) into LaneContain !insert (marketingProcess,advertiser) into LaneContain tao lien ket cho quan he composition giua cac doi tuong Flow Element va doi tuong Process !insert (marketingProcess,startEvent) into FlowContain !insert (marketingProcess,startToCreatePlan) into FlowContain !insert (marketingProcess,createPlan) into FlowContain !insert (marketingProcess,createPlanToSendToDirector) into FlowContain !insert (marketingProcess,sendToDirector) into FlowContain !insert (marketingProcess,sendToDirectorToConfirmPlan) into FlowContain !insert (marketingProcess,confirmPlan) into FlowContain !insert (marketingProcess,confirmPlanToCreatePlan) into FlowContain !insert (marketingProcess,confirmPlanToDeployPlan) into FlowContain 99 !insert (marketingProcess,deployPlan) into FlowContain !insert (marketingProcess,deployPlanToReceiveDesignTask) into FlowContain !insert (marketingProcess,receiveDesignTask) into FlowContain !insert (marketingProcess,receiveDesignTaskToDesignImage) into FlowContain !insert (marketingProcess,designImage) into FlowContain !insert (marketingProcess,designImageToConfirmDesign) into FlowContain !insert (marketingProcess,confirmDesign) into FlowContain !insert (marketingProcess,confirmDesignToDesignImage) into FlowContain !insert (marketingProcess,confirmDesignToSendImageToAdvertiser) into FlowContain !insert (marketingProcess,sendImageToAdvertiser) into FlowContain !insert (marketingProcess,sendImageToAdvertiserToReceiveImgPR) into FlowContain !insert (marketingProcess,deployPlanToReceiveWriteTask) into FlowContain !insert (marketingProcess,receiveWriteTask) into FlowContain !insert (marketingProcess,receiveWriteTaskTowritePR) into FlowContain !insert (marketingProcess,writePR) into FlowContain !insert (marketingProcess,writePRToConfirmWrite) into FlowContain !insert (marketingProcess,confirmWrite) into FlowContain 100 !insert (marketingProcess,confirmWriteTowritePR) into FlowContain !insert (marketingProcess,confirmWriteTosendPRToAdvertiser) into FlowContain !insert (marketingProcess,sendPRToAdvertiser) into FlowContain !insert (marketingProcess,sendPRToAdvertiserToReceiveImgPR) into FlowContain !insert (marketingProcess,deployPlanToReceiveAdTask) into FlowContain !insert (marketingProcess,receiveAdTask) into FlowContain !insert (marketingProcess,receiveAdTaskToReceiveImgPR) into FlowContain !insert (marketingProcess,receiveImgPR) into FlowContain !insert (marketingProcess,receiveImgPRToDeployAd) into FlowContain !insert (marketingProcess,deployAd) into FlowContain !insert (marketingProcess,deployAdToCreateReport) into FlowContain !insert (marketingProcess,createReport) into FlowContain !insert (marketingProcess,createReportToReceiveReport) into FlowContain !insert (marketingProcess,receiveReport) into FlowContain !insert (marketingProcess,receiveReportToEvaluateResult) FlowContain !insert (marketingProcess,evaluateResult) into FlowContain !insert (marketingProcess,evaluateResultToEnd) into FlowContain !insert (marketingProcess,endEvent) into FlowContain 101 into !insert (director,confirmPlan) into NodeContain !insert (director,confirmDesign) into NodeContain !insert (director,confirmWrite) into NodeContain !insert (manager,startEvent) into NodeContain !insert (manager,createPlan) into NodeContain !insert (manager,sendToDirector) into NodeContain !insert (manager,deployPlan) into NodeContain !insert (manager,receiveReport) into NodeContain !insert (manager,evaluateResult) into NodeContain !insert (manager,endEvent) into NodeContain !insert (designer,receiveDesignTask) into NodeContain !insert (designer,designImage) into NodeContain !insert (designer,sendImageToAdvertiser) into NodeContain !insert (copywriter,receiveWriteTask) into NodeContain !insert (copywriter,writePR) into NodeContain !insert (copywriter,sendPRToAdvertiser) into NodeContain 102 !insert (advertiser,receiveAdTask) into NodeContain !insert (advertiser,receiveImgPR) into NodeContain !insert (advertiser,deployAd) into NodeContain !insert (advertiser,createReport) into NodeContain !insert (startEvent,startToCreatePlan) into Source !insert (createPlan,createPlanToSendToDirector) into Source !insert (sendToDirector,sendToDirectorToConfirmPlan) into Source !insert (confirmPlan,confirmPlanToCreatePlan) into Source !insert (confirmPlan,confirmPlanToDeployPlan) into Source !insert (deployPlan,deployPlanToReceiveDesignTask) into Source !insert (receiveDesignTask,receiveDesignTaskToDesignImage) into Source !insert (designImage,designImageToConfirmDesign) into Source !insert (confirmDesign,confirmDesignToDesignImage) into Source !insert (confirmDesign,confirmDesignToSendImageToAdvertiser) into Source !insert (sendImageToAdvertiser,sendImageToAdvertiserToReceiveImgPR) into Source !insert (deployPlan,deployPlanToReceiveWriteTask) into Source !insert (receiveWriteTask,receiveWriteTaskTowritePR) into Source !insert (writePR,writePRToConfirmWrite) into Source 103 !insert (confirmWrite,confirmWriteTowritePR) into Source !insert (confirmWrite,confirmWriteTosendPRToAdvertiser) into Source !insert (sendPRToAdvertiser,sendPRToAdvertiserToReceiveImgPR) into Source !insert (deployPlan,deployPlanToReceiveAdTask) into Source !insert (receiveAdTask,receiveAdTaskToReceiveImgPR) into Source !insert (receiveImgPR,receiveImgPRToDeployAd) into Source !insert (deployAd,deployAdToCreateReport) into Source !insert (createReport,createReportToReceiveReport) into Source !insert (receiveReport,receiveReportToEvaluateResult) into Source !insert (evaluateResult,evaluateResultToEnd) into Source !insert (createPlan,startToCreatePlan) into Target !insert (createPlan,confirmPlanToCreatePlan) into Target !insert (sendToDirector,createPlanToSendToDirector) into Target !insert (confirmPlan,sendToDirectorToConfirmPlan) into Target !insert (deployPlan,confirmPlanToDeployPlan) into Target !insert (receiveDesignTask,deployPlanToReceiveDesignTask) into Target !insert (designImage,receiveDesignTaskToDesignImage) into Target !insert (designImage,confirmDesignToDesignImage) into Target !insert (confirmDesign,designImageToConfirmDesign) into Target 104 !insert (sendImageToAdvertiser,confirmDesignToSendImageToAdvertiser) into Target !insert (receiveWriteTask,deployPlanToReceiveWriteTask) into Target !insert (writePR,receiveWriteTaskTowritePR) into Target !insert (writePR,confirmWriteTowritePR) into Target !insert (confirmWrite,writePRToConfirmWrite) into Target !insert (sendPRToAdvertiser,confirmWriteTosendPRToAdvertiser) into Target !insert (receiveAdTask,deployPlanToReceiveAdTask) into Target !insert (receiveImgPR,receiveAdTaskToReceiveImgPR) into Target !insert (receiveImgPR,sendImageToAdvertiserToReceiveImgPR) into Target !insert (receiveImgPR,sendPRToAdvertiserToReceiveImgPR) into Target !insert (deployAd,receiveImgPRToDeployAd) into Target !insert (createReport,deployAdToCreateReport) into Target !insert (receiveReport,createReportToReceiveReport) into Target !insert (evaluateResult,receiveReportToEvaluateResult) into Target !insert (endEvent,evaluateResultToEnd) into Target 105