Header Page of 113 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ DƢƠNG THỊ THẢO CÁC PHƢƠNG PHÁP TRỪU TƢỢNG HÓA MÔ HÌNH QUY TRÌNH KINH DOANH VÀ THỰC NGHIỆM LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN Hà Nội – 2016 Footer Page of 113 Header Page of 113 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ DƢƠNG THỊ THẢO CÁC PHƢƠNG PHÁP TRỪU TƢỢNG HÓA MÔ HÌNH QUY TRÌNH KINH DOANH VÀ THỰC NGHIỆM Ngành: Công nghệ thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60.48.01.04 LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN NGƢỜI HƢỚNG DẪN KHOA HỌC: PGS.TS HÀ QUANG THỤY Footer Page of 113 Header Page of 113 Hà Nội – 2016 Footer Page of 113 Header Page of 113 LỜI CẢM ƠN Để quãng đường này, lời xin gửi lời biết ơn chân thành sâu sắc tới thầy giáo PGS.TS Hà Quang Thụy, người thầy vô nhiệt thành dẫn dắt, truyền nhiệt huyết cho toàn trình, giúp vững vàng trưởng thành đường nghiên cứu học tập Thời gian qua khoảng kỷ niệm sâu sắc với tôi, học tập tham gia nghiên cứu trường, phòng Khoa học liệu Công nghệ Tri thức (DS&KTLab) Đề tài QG.15.22 Tôi xin gửi lời cảm ơn tới tất thầy cô bạn học sẵn sàng hỗ trợ giúp đỡ Tôi xin bày tỏ lòng biết ơn chân thành tới Thầy, Cô giáo anh chị bạn môn Hệ thống thông tin, Khoa Công nghệ thông tin, người nhiệt tình giúp mở rộng kiến thức Công nghệ thông tin nói chung Hệ thống thông tin nói riêng, kiến thức quý báu có ích với giai đoạn tương lai Tôi xin gửi lời cảm ơn chân thành tới Ban Giám hiệu Nhà trường, Phòng Đào tạo sau đại học, Đại học Công nghệ - Đại học Quốc gia Hà Nội tạo điều kiện tốt giúp suốt trình học tập Qua tất gửi đến gia đình thân yêu tình cảm mình, cảm ơn bố mẹ luôn tin tưởng, luôn chỗ dựa vững chắc, cảm ơn anh chị em dành điều kiện để giúp tập trung vào nghiên cứu Hà Nội, ngày 27 tháng 10 năm 2016 Học viên Dƣơng Thị Thảo Footer Page of 113 Header Page of 113 CÁC PHƢƠNG PHÁP TRỪU TƢỢNG HÓA MÔ HÌNH QUY TRÌNH KINH DOANH VÀ THỰC NGHIỆM Dƣơng Thị Thảo Khóa K20, chuyên ngành Hệ thống thông tin Tóm tắt Luận văn tốt nghiệp: Trong năm gần đây, mô hình quy trình kinh doanh đƣợc xem nhƣ lực cốt lõi để phân biệt tạo nên lợi cạnh tranh với đối thủ cạnh tranh Trừu tƣợng hóa quy trình kinh doanh nhằm tạo tập quy trình kinh doanh hiệu cho doanh nghiệp Nhƣ vậy, nhu cầu trừu tƣợng hóa mô hình quy trình kinh doanh thiết thực thị trƣờng cạnh tranh lớn nhƣ Sergey Smirnov cộng có nghiên cứu chuyên sâu trừu tƣợng hóa quy trình kinh doanh Một phƣơng pháp trừu tƣợng quy trình kinh doanh điển hình phƣơng pháp cấu trúc hóa, cụ thể tìm thành phần phi cấu trúc mô hình quy trình kinh doanh thay thành phần cấu trúc tốt có ngữ nghĩa tƣơng đƣơng với thành phần mô hình quy trình phi cấu trúc Đây toán trọng tâm luận văn Nhƣ vậy, ý tƣởng mô hình giải toán cấu trúc hóa mô hình quy trình đƣợc giải theo bƣớc sau: Cây phân tích thành phần quy trình thành thành phần (thuộc bốn loại sau: Ít quan trọng, đa giác, liên kết cứng nhắc), loại có thành phần loại cứng nhắc cấu trúc, nhƣ cần thay thành phần loại cứng nhắc mô hình có cấu trúc với ngữ nghĩa tƣơng đƣơng Thuật toán Cấu trúc hóa mô hình quy trình phi chu trình thuật toán phổ biến đƣợc sử dụng hệ thống trừu tƣợng hóa mô hình quy trình Mô hình giải toán đƣợc đề cập luận văn sử dụng thuật toán thực nghiệm cho kết khả quan Từ khóa: Structuring process model Footer Page of 113 Header Page of 113 LỜI CAM ĐOAN Tôi xin cam đoan nội dung trình bày luận văn tự nghiên cứu tìm hiểu dựa tài liệu trình bày theo ý hiểu thân dƣới hƣớng dẫn trực tiếp Thầy giáo PGS.TS.Hà Quang Thụy Các nội dung nghiên cứu, tìm hiểu kết thực nghiệm hoàn toàn trung thực Trong trình thực luận văn này, tham khảo đến tài liệu liên quan số tác giả đƣợc liệt kê mục “DANH MỤC TÀI LIỆU THAM KHẢO” cuối luận văn tham khảo đƣợc dẫn tƣờng minh luận văn Học viên Dƣơng Thị Thảo Footer Page of 113 Header Page of 113 MỤC LỤC CHƢƠNG 1: TỔNG QUAN VỀ TRỪU TƢỢNG HÓA MÔ HÌNH QUY TRÌNH KINH DOANH 11 1.1 Quản lý quy trình kinh doanh 11 1.2 Mô hình hóa quy trình kinh doanh 16 1.3 Trừu tƣợng hóa mô hình quy trình kinh doanh 18 1.4 Một số ngôn ngữ mô hình hóa quy trình kinh doanh 20 1.4.1 Hệ chuyển 21 1.4.2 Lƣới Petri 21 1.4.3 Lƣới dòng công việc 22 1.4.4 Xâu quy trình hƣớng kiện 22 1.5 Bài toán trừu tƣợng hóa quy trình kinh doanh luận văn 23 CHƢƠNG 2: MỘT SỐ PHƢƠNG PHÁP TRỪU TƢỢNG HÓA MÔ HÌNH QUY TRÌNH KINH DOANH 25 2.1 Giới thiệu chung 25 2.1.1 Tiêu chí trừu tƣợng 26 2.1.2 Thanh trƣợt trừu tƣợng hóa 28 2.2 Cây phân tích thành phần quy trình 29 2.3 Quy tắc trừu tƣợng 32 2.3.1 Trừu tƣợng quan trọng 33 2.3.2 Trừu tƣợng đa giác 34 2.3.3 Trừu tƣợng liên kết 35 2.3.4 Trừu tƣợng cứng nhắc 37 2.4 Chuyển đổi mô hình quy trình 38 2.5 Một số phƣơng pháp trừu tƣợng 39 2.5.1 Trừu tƣợng hóa 39 2.5.2 Trừu tƣợng hóa khối 40 2.5.3 Trừu tƣợng hóa lặp 41 2.5.4 Trừu tƣợng hóa bế tắc 42 2.6 Thuật toán Cấu trúc hóa mô hình quy trình phi chu trình 44 2.7 Ý tƣởng mô hình giải toán luận văn 45 Footer Page of 113 Header Page of 113 CHƢƠNG 3: MỘT MÔ HÌNH TRỪU TƢỢNG HÓA MÔ HÌNH KINH DOANH VÀ THỰC NGHIỆM 46 3.1 Mô hình trừu tƣợng hóa mô hình kinh doanh 46 3.2 Nhập liệu 46 3.3 Tiền xử lý liệu 46 3.4 Chuyển Mô hình quy trình sang Lƣới tiền tố đầy đủ 49 3.5 Chuyển Lƣới tiền tố đầy đủ sang Đồ thị quan hệ thứ tự 50 3.6 Chuyển Đồ thị quan hệ thứ tự sang mô hình quy trình cấu trúc tốt 51 3.7 Thực nghiệm 51 3.7.1 Công cụ thực nghiệm 51 3.7.2 Thực nghiệm 52 3.7.3 Kết 58 KẾT LUẬN 62 Những vấn đề đƣợc giải luận văn 62 Nghiên cứu 62 DANH MỤC TÀI LIỆU THAM KHẢO 63 Footer Page of 113 Header Page of 113 DANH MỤC HÌNH VẼ Hình 1.1 Vòng đời Quản lý Quy trình BPM [5] 12 Hình 1.2 Khai phá quy trình cầu nối khoa học liệu với khoa học quy trình [5] 14 Hình 1.3 Vị trí khai phá quy trình 15 Hình 1.4 Các toán khai phá quy trình [13] 16 Hình 1.5 Quan niệm cổ điển mô hình hóa [13] 17 Hình 1.6 Ví dụ hệ chuyển [13] 21 Hình 1.7 Ví dụ hệ lƣới Petri [13] 22 Hình 1.8 Mô hình quy trình kinh doanh dƣới dạng EPCs [6] 23 Hình 2.1 Thanh trƣợt trừu tƣợng hóa mô hình quy trình 29 Hình 2.2 Phân rã mô hình quy trình SPQR [9] 30 Hình 2.3 Bộ xƣơng phân mảnh SPQR [9] 31 Hình 2.4 (a) đồ thị TTG đồ thị thành phần (b) phân tích cấu trúc đồ thị (a) 33 Hình 2.5 Trừu tƣợng quan trọng 33 Hình 2.6 Trừu tƣợng đa giác 35 Hình 2.7 Trừu tƣợng liên kết 36 Hình 2.8 Trừu tƣợng cứng nhắc 37 Hình 2.9 Trừu tƣợng hóa 40 Hình 2.10 Trừu tƣợng hóa khối 41 Hình 2.11 Trừu tƣợng hóa lặp 42 Hình 2.12 Trừu tƣợng hóa bế tắc 44 Hình 3.1 Mô hình giải toán cấu trúc hóa 46 Hình 3.2 Mô hình quy trình đầu vào RPST tƣơng ứng 47 Hình 3.3 Ánh xạ từ mô hình quy trình sang lƣới dòng công việc 48 Hình 3.4 Kết mô hình quy trình dƣới dạng lƣới dòng công việc 48 Hình 3.5 Chuyển đổi mô hình quy trình sang lƣới tiền tố đủ 49 Hình 3.6 Chuyển đổi từ lƣới tiền tố đầy đủ sang đồ thị quan hệ thứ tự 50 Hình 3.7 Đồ thị quan hệ thứ tự sang mô hình quy trình cấu trúc tốt 51 Hình 3.8 Màn hình mở mã nguồn mở 52 Footer Page of 113 Header Page 10 of 113 Hình 3.9 Màn hình tùy chỉnh tham số đầu vào 53 Hình 3.10 Màn hình chạy chƣơng trình 53 Hình 3.11 Màn hình thƣ mục kết đầu 54 Hình 3.12 Màn hình điều chỉnh tham số đầu vào để tạo định dạng dot 55 Hình 3.13 Màn hình kết chuyển sang định dạng dot 55 Hình 3.14 Màn hình thƣ mục lƣu kết đầu 56 Hình 3.15 Màn hình xem kết đầu ra, so sánh đầu vào, đầu 57 Hình 3.16 Mô hình quy trình ban đầu thực nghiệm 58 Hình 3.17 Mô hình quy trình kết thực nghiệm 59 Hình 3.18 Mô hình quy trình đầu vào thực nghiệm 60 Hình 3.19 Phân đoạn quy trình cấu trúc thực nghiệm 61 Hình 3.20 Mô hình quy trình đầu thực nghiệm 61 Footer Page 10 of 113 Header Page 53 of 113 tiền tố β tƣợng trƣng cho thành phần tách XOR nhƣ điều kiện nhiều hậu kiện (post-event), thành phần hợp XOR đƣợc xác định hậu điều kiện (post-condition) kiện e đƣợc tách kiện tƣơng ứng Khái niệm kiện tách đảm bảo bao gồm tách hợp XOR Một quan sát quan trọng đây, cặp tƣơng ứng tách hợp XOR luôn chứa nhánh tƣơng tự β Một cổng tách AND rõ ràng nhƣ kiện với nhiều hậu điều kiện (post-condition), hợp AND kiện với nhiều tiền điều kiện (pre-condition) 3.5 Chuyển Lƣới tiền tố đầy đủ sang Đồ thị quan hệ thứ tự Quan hệ thứ tự - - A B quan hệ nhân (A>B) tồn đƣờng dẫn từ A đến B A B quan hệ đối lập/mâu thuẫn (A#B) tồn trạng thái khác biệt t1, t2 có chung vị trí vào tồn đƣờng dẫn từ t1 đến A đƣờng dẫn từ t2 đến B A B quan hệ đồng thời (A||B) A B quan hệ nhân quan hệ mân thuẫn Hình 3.6 Chuyển đổi từ lƣới tiền tố đầy đủ sang đồ thị quan hệ thứ tự Footer Page 53 of 113 50 Header Page 54 of 113 3.6 Chuyển Đồ thị quan hệ thứ tự sang mô hình quy trình cấu trúc tốt - Một module quan trọng (T) nút độc lập (singleton) đồ thị - Một module tuyến tính (L) tổng thể thứ tự tập hợp nút đồ thị - Một module đầy đủ (C) đồ thị đầy đủ Hình 3.7 Đồ thị quan hệ thứ tự sang mô hình quy trình cấu trúc tốt 3.7 Thực nghiệm 3.7.1 Công cụ thực nghiệm Công cụ thực thực nghiệm luận văn phần mềm mã nguồn mở BPStruct đƣờng dẫn https://code.google.com/archive/p/bpstruct/ BPStruct công cụ chuyển đổi thành phần quy trình/chƣơng trình/dịch vụ cấu trúc thành thành phần có cấu trúc tốt Một mô hình có cấu trúc tốt với nút có nhiều cung (tách) tƣơng ứng với nút có nhiều cung vào (hợp), ngƣợc lại, phân mảnh mô hình nút hợp nút tách dƣới dạng SESE (một nút vào, nút ra); không mô hình không cấu trúc Yêu cầu:  Máy tính cài phần mềm Java: http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads2133151.html  Netbeans: https://netbeans.org/downloads/ (Trực tiếp chạy mã nguồn) Footer Page 54 of 113 51 Header Page 55 of 113  Graphviz: http://www.graphviz.org/Download_windows.php (hiển thị hình ảnh đồ thị) 3.7.2 Thực nghiệm Sử dụng Netbeans để mở trực tiếp dự án mã nguồn chƣơng trình, có dạng nhƣ sau: Hình 3.8 Màn hình mở mã nguồn mở Chọn menu File > Project Properties (bpstruct) để tùy chỉnh tham số đầu vào chạy chƣơng trình: - Arguments: "-odir output MaxStructEvaluation/original/a.s00000029 s00001158.tpn_0.json" - Working Directory: /home/drupalex/projects/lv (Đƣờng dẫn đến thƣ mục chƣơng trình, thƣ mục cha thƣ mục MaxStructEvaluation thƣ mục output) Footer Page 55 of 113 52 Header Page 56 of 113 Hình 3.9 Màn hình tùy chỉnh tham số đầu vào Bấm Ok, đóng cửa sổ cấu hình, sau chạy chƣơng trình (với tham số tệp đầu vào vừa thiết lập): Hình 3.10 Màn hình chạy chƣơng trình Footer Page 56 of 113 53 Header Page 57 of 113 Tệp kết đƣợc tạo "a.s00000029 s00001158.tpn_0.struct.json", nằm thƣ mục output: Hình 3.11 Màn hình thƣ mục kết đầu Điều chỉnh tham số đầu vào để tạo định dạng dot cho tệp ".struct.json" vừa rồi: Tệp đầu vào lại "a.s00000029 s00001158.tpn_0.struct.json", thêm tham số dot để sinh file a.s00000029 s00001158.tpn_0.struct.dot Footer Page 57 of 113 54 Header Page 58 of 113 Hình 3.12 Màn hình điều chỉnh tham số đầu vào để tạo định dạng dot Tham số đầu vào chƣơng trình là:   Arguments: "-dot -odir output output/a.s00000029 s00001158.tpn_0.struct.json" Main Class Working Directory giữ nguyên Đóng cửa sổ điều chỉnh tham số chạy chƣơng trình, kết nhƣ sau: Hình 3.13 Màn hình kết chuyển sang định dạng dot Ta thu đƣợc tệp định dạng dot Sử dụng phần mềm Graphviz/dot để kết xuất lƣợc đồ dƣới dạng PDF ảnh (PNG, JPG, PS, ) Phần mềm Graphviz/dot đƣợc thao tác dƣới dạng dòng lệnh nhƣ sau:  Kết xuất PDF: dot -Tpdf output/a.s00000029 s00001158.tpn_0.struct.dot -o output/a.s00000029 s00001158.tpn_0.struct.pdf Footer Page 58 of 113 55 Header Page 59 of 113  Kết xuất PNG: dot -Tpng output/a.s00000029 s00001158.tpn_0.struct.dot o output/a.s00000029 s00001158.tpn_0.struct.png Xem thƣ mục output: Hình 3.14 Màn hình thƣ mục lƣu kết đầu Footer Page 59 of 113 56 Header Page 60 of 113 Hình 3.15 Màn hình xem kết đầu ra, so sánh đầu vào, đầu Footer Page 60 of 113 57 Header Page 61 of 113 3.7.3 Kết Thực nghiệm 1: Mô hình đầu vào Hình 3.16 Mô hình quy trình ban đầu thực nghiệm Footer Page 61 of 113 58 Header Page 62 of 113 Kết đầu Hình 3.17 Mô hình quy trình kết thực nghiệm Đánh giá kết Dựa khái niệm mô hình có cấu trúc: Là mô hình mà nút tách có nút hợp tƣơng ứng, cặp tƣơng ứng xác định thành phần SESE, vào nút tách Footer Page 62 of 113 59 Header Page 63 of 113 nút hợp thành phần SESE, dễ dàng nhận thấy mô hình đầu vào cấu trúc - Nhiều nút tách nút hợp tƣơng ứng: nút AND trƣớc NODE_65, NODE_65, NODE_17, NODE_76, NODE_27, NODE_54 - Nhiều nút hợp nút tách tƣơng ứng: nút XOR sau NODE_50, NODE_27, NODE_54 - Cấu trúc lặp nút XOR trƣớc NODE_83 - Cấu trúc lặp nút XOR trƣớc NODE_50 Kết đầu mô hình có cấu trúc tốt so với mô hình quy trình ban đầu - Tất nút tách có nút hợp tƣơng ứng cặp tƣơng ứng xác định thành phần SESE - Không cấu trúc lặp - Mô hình đầu giữ nguyên ngữ nghĩa so với mô hình quy trình ban đầu Thực nghiệm 2: Mô hình quy trình đầu vào quy trình duyệt toán khách hàng Hình 3.18 Mô hình quy trình đầu vào thực nghiệm Trong mô hình quy trình đầu vào có thành phần mô hình quy trình cấu trúc, phân đoạn R1 Footer Page 63 of 113 60 Header Page 64 of 113 Hình 3.19 Phân đoạn quy trình cấu trúc thực nghiệm Kết sau chạy chƣơng trình thực nghiệm ta đƣợc mô hình quy trình có cấu trúc Hình 3.20 Mô hình quy trình đầu thực nghiệm Footer Page 64 of 113 61 Header Page 65 of 113 KẾT LUẬN Những vấn đề đƣợc giải luận văn Trong trình tìm hiểu để đƣa cách giải cho toán ứng dụng Luận văn đề cập đến nhu cầu quản lý, trừu tƣợng hóa mô hình quy trình kinh doanh doanh nghiệp, nêu lại mảng kiến thức tổng quan trừu tƣợng hóa mô hình quy trình kinh doanh số phƣơng pháp trừu tƣợng hóa mô hình quy trình kinh doanh Từ đƣa mô hình giải cho toán luận văn Cụ thể là: Sử dụng thuật toán Cấu trúc hóa mô hình quy trình phi chu trình để cấu trúc hóa mô hình quy trình đầu vào nhằm đạt mô hình quy trình có cấu trúc tốt Áp dụng cho mô hình đầu vào mô hình hành vi, đƣợc thể dƣới dạng hệ thống lƣới dòng công việc, từ xây dựng lƣới tiền tố đầy đủ tƣơng ứng với mô thành phần không cấu trúc thành phần có cấu trúc Kết đầu nhận đƣợc mô hình quy trình có cấu cấu trúc mô hình quy trình ban đầu Nghiên cứu Thực tế doanh nghiệp Việt Nam nay, nhu cầu quy trình hóa tác nghiệp thƣờng xuyên cải tiến, tối ƣu quy trình lớn Các công ty hàng đầu lĩnh vực CNTT (nhƣ FPT) thực việc tối ƣu, rút gọn quy trình việc thực rà soát, xem xét, chỉnh sửa tay mà chƣa áp dụng hệ thống ứng dụng để thực cách tự động Theo đánh giá học viên, toán giải luận văn có tính ứng dụng cao cho tổ chức có mô hình hóa quy trình tác nghiệp Trong phạm vi luận văn, phần thực nghiệm sử dụng chƣơng trình ứng dụng mã nguồn mở, chƣa thực nghiệm đƣợc với mức độ trừu tƣợng cao Vì hƣớng nghiên cứu Cấu trúc phi quy trình tối đa, liên quan đến thực nghiệm chƣơng trình BpStruct với mức độ trừu tƣợng cao (tối đa) nghiên cứu Cấu trúc hóa tuần hoàn (Cyclic Structuring) Footer Page 65 of 113 62 Header Page 66 of 113 DANH MỤC TÀI LIỆU THAM KHẢO [1] [Hammer15] Michael Hammer (2015) What is Business Process Management? Handbooks on business process management (2nd edition): 3-16 [2] [Ko09] Ryan K L Ko, Stephen Siang Guan Lee, Eng Wah Lee (2009) Business process management (BPM) standards: a survey Business Proc Manag Journal 15(5): 744-791 [3] [Smirnov10] Sergey Smirnov, Matthias Weidlich, Jan Mendling (2010) Business Process Model Abstraction Based on Behavioral Profiles ICSOC 2010: 1-16 [4] [Mans15] Ronny Mans, Wil M P van der Aalst, Rob J B Vanwersch (2015) Process Mining in Healthcare - Evaluating and Exploiting Operational Healthcare Processes Springer [5] [Aalst16] WMP Van der Aalst (2016) Process Mining: Data Science in Action (2nd edition) Springer [6] [Aalst99] Wil M P van der Aalst (1999) Formalization and verification of event-driven process chains Information & Software Technology 41(10): 639650 [7] [Smirnov11]- Sergey Smirnov (2011) Business Process Model Abstraction, PhD Thesis, University of Potsdam, Potsdam, Germany [8] [Smirnov12]- Sergey Smirnov, Hajo A Reijers, Mathias Weske, Thijs Nugteren (2012) Business process model abstraction: a definition, catalog, and survey Distributed and Parallel Databases 30(1): 63-99 [9] [Polyvyanyy09] Artem Polyvyanyy, Sergey Smirnov, Mathias Weske (2009) The Triconnected Abstraction of Process Models BPM 2009: 229-244 [10] [Polyvyanyy12] Artem Polyvyanyy (2012) Structuring process models PhD Thesis, University of Potsdam, Potsdam, Germany [11] [Polyvyanyy15] Artem Polyvyanyy, Sergey Smirnov, Mathias Weske (2015) Business Process Model Abstraction Handbook on business process management 1: Introduction, Methods, and Information Systems (2nd edition): 147-165 [12] [Döhring14] Markus Döhring, Hajo A Reijers, Sergey Smirnov (2014) Configuration vs adaptation for business process variant maintenance: An empirical study Inf Syst 39: 108-133 [13] [Aalst11] WMP Van der Aalst (2011) Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer, [14] 16_Rik Eshuis, Akhil Kumar Converting unstructured into semi-structured process models Data & Knowledge Engineering, Volume 101, January 2016, Pages 43-61 Footer Page 66 of 113 63 Header Page 67 of 113 Footer Page 67 of 113 64 ... QUAN VỀ TRỪU TƢỢNG HÓA MÔ HÌNH QUY TRÌNH KINH DOANH 11 1.1 Quản lý quy trình kinh doanh 11 1.2 Mô hình hóa quy trình kinh doanh 16 1.3 Trừu tƣợng hóa mô hình quy trình kinh doanh. .. lý mô hình quy trình kinh doanh, cần thiết mô hình hóa quy trình kinh doanh hƣớng tiếp cận, phƣơng pháp giải toán trừu tƣợng hóa mô hình quy trình kinh doanh, giới thiệu ngôn ngữ mô hình kinh doanh. .. đƣợc thực mô hình ban đầu Mỗi khái niệm trừu tƣợng chức biến mô hình quy trình đầu vào thành mô hình quy trình đầu ra) 1.4 Một số ngôn ngữ mô hình hóa quy trình kinh doanh Mô hình hoá quy trình