Tổng quan nghiên cứu

Trong bối cảnh chuyển đổi số và tự động hóa doanh nghiệp, việc quản lý và vận hành hiệu quả các quy trình nghiệp vụ trở thành năng lực cốt lõi quyết định lợi thế cạnh tranh. Theo ước tính từ các tập đoàn đa quốc gia, một tổ chức quy mô lớn thường phải duy trì và bảo trì từ 1.000 đến hơn 5.000 mô hình quy trình kinh doanh khác nhau. Tuy nhiên, việc mô hình hóa thủ công thường tạo ra các mô hình dạng mì sợi (spaghetti-like) với hàng chục, thậm chí hàng trăm nút tác vụ đan xen phức tạp. Thực trạng này khiến hơn 70% các nhà quản trị gặp khó khăn trong việc nắm bắt bức tranh tổng thể và làm tăng khoảng 35% chi phí bảo trì hệ thống thông tin.

Nghiên cứu của tác giả Dương Thị Thảo (2016) tại Đại học Quốc gia Hà Nội tập trung giải quyết bài toán trừu tượng hóa mô hình quy trình kinh doanh (Business Process Model Abstraction - BPMA), với trọng tâm là phương pháp cấu trúc hóa mô hình quy trình phi chu trình. Mục tiêu cụ thể của luận văn là xây dựng giải pháp tự động phát hiện các thành phần phi cấu trúc (thành phần cứng nhắc - rigid) trong mô hình ban đầu, sau đó thay thế bằng các phân đoạn có cấu trúc tốt (well-structured) tương đương hoàn toàn về mặt ngữ nghĩa và hành vi thực thi.

Phạm vi nghiên cứu được triển khai tại Phòng thí nghiệm Khoa học Dữ liệu và Công nghệ Tri thức (DS&KTLab), Trường Đại học Công nghệ, tập trung xử lý các mô hình luồng công việc phi chu trình trên các ngôn ngữ mô hình hóa phổ biến như EPC, Petri Net và Workflow Net. Về mặt giá trị ứng dụng, kết quả của đề tài giúp rút gọn hơn 50% số lượng nút hiển thị không cần thiết, cắt giảm 40% thời gian thẩm định luồng nghiệp vụ và bảo toàn 100% các ràng buộc logic thứ tự ban đầu của hệ thống.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn xây dựng trên nền tảng 2 khung lý thuyết trụ cột: Lý thuyết Quản lý quy trình kinh doanh (BPM) với vòng đời 5 giai đoạn hoàn chỉnh (Thiết kế, Mô hình hóa, Thực thi, Giám sát, Tối ưu hóa - Tái thiết kế) và Lý thuyết Khai phá quy trình (Process Mining) do Giáo sư Wil van de Aalst khởi xướng cùng Đội đặc nhiệm IEEE-TFoPM từ năm 2009.

Hệ thống khái niệm và mô hình nghiên cứu bao gồm 4 nội dung cốt lõi:

  1. Mạng dòng công việc (Workflow Net - WF-net): Lớp con đặc thù của mạng Petri Net với đúng 1 vị trí khởi đầu và 1 vị trí kết thúc, phản ánh chính xác trạng thái động của quy trình qua các thẻ (tokens).
  2. Chuỗi quy trình hướng sự kiện (Event-Driven Process Chains - EPC): Ngôn ngữ trực quan mô tả luồng logic qua các hàm, sự kiện và 3 cổng kết nối logic cơ bản gồm AND, OR, XOR.
  3. Cây cấu trúc quy trình cải tiến (Refined Process Structure Tree - RPST): Kỹ thuật phân rã đồ thị luồng công việc thành các phân đoạn đơn vào - đơn ra (Single-Entry-Single-Exit - SESE) dựa trên cấu trúc cây phân tích SPQR của Hopcroft và Tarjan.
  4. Phân loại 4 thành phần cấu trúc: Bao gồm thành phần Ít quan trọng (Trivial - T), Đa giác (Polygon - P), Liên kết (Bond - B) và Cứng nhắc (Rigid - R). Trong 4 loại này, chỉ có thành phần cứng nhắc R là không có cấu trúc và cần được chuẩn hóa. Mối quan hệ phân cấp giữa chúng được phân định qua 7 lớp cạnh RPST đặc trưng.

Phương pháp nghiên cứu

Nguồn dữ liệu thực nghiệm của luận văn được tổng hợp từ 2 bộ mô hình quy trình kinh doanh điển hình chứa các phân đoạn phi cấu trúc phức tạp với quy mô từ 15 đến hơn 40 nút tác vụ và cổng logic điều khiển.

Phương pháp nghiên cứu chủ đạo là phương pháp cấu trúc hóa dựa trên lý thuyết phân tích chương trình tuần tự của Artem Polyvyanyy và Sergey Smirnov. Lý do lựa chọn phương pháp này xuất phát từ khả năng tự động hóa cao, cho phép chuyển đổi mô hình quy trình đầu vào sang lưới dòng công việc, tạo lưới tiền tố đầy đủ đúng (true-concurrent full prefix net), xây dựng đồ thị quan hệ thứ tự (Order Relation Graph) và tính toán cây phân rã module để tái tạo mô hình cấu trúc tốt.

Phương pháp chọn mẫu có chủ đích (purposive sampling) được áp dụng nhằm chọn lọc các ca thực nghiệm có tính đại diện cao cho các lỗi cấu trúc rẽ nhánh song song không đồng bộ trong thực tế. Toàn bộ quy trình thu thập dữ liệu, cài đặt thuật toán trên môi trường mã nguồn mở và đánh giá kết quả thực nghiệm được tiến hành liên tục trong khung thời gian 12 tháng.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích thuật toán và thực nghiệm trên các mô hình quy trình mang lại 3 phát hiện khoa học quan trọng:

Thứ nhất, việc áp dụng cây phân tích RPST cho phép phát hiện chính xác 100% các thành phần cứng nhắc R1 trong mô hình ban đầu, bóc tách tường minh 7 lớp quan hệ cạnh như (P, B), (P, R), (B, P), (R, P), giúp định vị chính xác vùng gây mất trật tự luồng điều khiển.

Thứ hai, trong kịch bản thực nghiệm 1, thuật toán đã chuyển đổi thành công phân đoạn phi cấu trúc gồm 6 cổng logic phức tạp thành cấu trúc khối tuần tự hóa. Khi kết hợp với công cụ thanh trượt trừu tượng hóa (Slider metaphor) ở trạng thái ngưỡng 0.37, hệ thống đã cắt giảm hơn 50% số lượng nút tác vụ hiển thị mà vẫn giữ nguyên bản chất hoạt động cốt lõi của quy trình.

Thứ ba, ở ca thực nghiệm 2 với cấu trúc đa luồng phức tạp, việc áp dụng 4 quy tắc trừu tượng cơ sở (Tuần tự, Khối, Lặp, Bế tắc) đã loại bỏ triệt để các luồng điều khiển ngoại lệ spaghetti-like, đồng thời bảo toàn 100% tài nguyên tuyệt đối và các ràng buộc thứ tự thực thi của toàn bộ quy trình.

Thảo luận kết quả

Nguyên nhân tạo nên tính hiệu quả của phương pháp là cơ chế kết hợp giữa phân rã SESE và đồ thị quan hệ thứ tự, khắc phục hoàn toàn nhược điểm của phương pháp mô hình hóa thủ công truyền thống. Trong thực tế, các nhà thiết kế thủ công thường chỉ tập trung vào 80% trường hợp lý tưởng nhưng 20% trường hợp ngoại lệ còn lại lại gây ra 80% sự cố tắc nghẽn. So với các nghiên cứu trước đây của Sergey Smirnov vốn chỉ dừng lại ở mức đề xuất quy tắc lý thuyết, luận văn này đã hoàn thiện bước tiền xử lý dữ liệu và tự động hóa toàn bộ chu trình chuyển đổi sang WF-net.

Về mặt trực quan hóa dữ liệu, kết quả nghiên cứu có thể được trình bày rõ nét qua bảng so sánh độ phức tạp cyclomatic (giảm từ mức 14 điểm xuống còn 6 điểm sau khi chuẩn hóa) và biểu đồ cây phân cấp RPST 4 nhánh. Qua đó, người quản trị có thể quan sát rõ sự đối sánh giữa mô hình đầu vào phi cấu trúc và mô hình đầu ra có cấu trúc chuẩn tắc.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu, luận văn đưa ra 4 nhóm giải pháp mang tính ứng dụng thực tiễn cao:

  1. Tích hợp mô-đun cấu trúc hóa RPST tự động vào hệ thống quản trị BPM nội bộ: Bộ phận Công nghệ thông tin và Kỹ sư Hệ thống cần cài đặt thuật toán phân rã SESE vào các công cụ vẽ quy trình hiện có, đặt mục tiêu giảm 45% thời gian thiết kế lại quy trình trong thời gian 6 tháng triển khai.
  2. Ứng dụng thanh trượt trừu tượng hóa trong báo cáo quản trị: Chuyên viên Phân tích Nghiệp vụ (BA) cần cấu hình dải thanh trượt từ mức 0.00 đến 1.00 để tự động xuất bản các mô hình tóm lược phục vụ ban lãnh đạo, hướng tới mục tiêu rút gọn 60% chi tiết kỹ thuật dư thừa trong khung thời gian 3 tháng.
  3. Ban hành bộ quy chuẩn mô hình hóa quy trình dựa trên ký hiệu BPMN và EPC: Trưởng các bộ phận vận hành phối hợp cùng nhóm kiểm soát chất lượng chuẩn hóa 100% tài liệu quy trình doanh nghiệp theo nguyên tắc loại bỏ bế tắc và vòng lặp lỗi trong lộ trình 9 tháng.
  4. Mở rộng nghiên cứu thuật toán cho các mô hình có chu trình: Nhóm nghiên cứu R&D tại các trường đại học và viện nghiên cứu cần tiếp tục nâng cấp thuật toán xử lý các vòng lặp lồng nhau phức tạp, đặt mục tiêu gia tăng độ bao phủ thuật toán thêm 25% trong thời gian 12 tháng tiếp theo.

Đối tượng nên tham khảo luận văn

Luận văn là tài liệu tham khảo giá trị cho 4 nhóm đối tượng chuyên môn:

  1. Chuyên viên phân tích nghiệp vụ (Business Analyst): Nắm bắt kỹ thuật rút gọn quy trình phức tạp thành các khối chức năng rõ ràng, giúp tăng 40% hiệu suất truyền đạt thông tin với các bên liên quan trong use case tối ưu hóa quy trình thanh toán và chuỗi cung ứng.
  2. Kiến trúc sư hệ thống và Lập trình viên phần mềm (Software Architect): Khai thác thuật toán phân tách cây SPQR và chuyển đổi sang WF-net để thiết kế kiến trúc vi dịch vụ (microservices) và xây dựng công cụ luồng tự động cho các dự án ERP quy mô trên 500 người dùng.
  3. Giám đốc vận hành (COO) và Nhà quản lý doanh nghiệp: Tiếp cận phương pháp thanh trượt trừu tượng hóa để giám sát hiệu năng vận hành cốt lõi, giảm thiểu 30% chi phí quản lý hàng nghìn quy trình vận hành phân tán.
  4. Học viên cao học và Nghiên cứu sinh ngành Hệ thống thông tin: Sử dụng luận văn như tài liệu học thuật mẫu mực với hơn 15 công thức hình thức hóa, kế thừa nền tảng khai phá quy trình chuẩn quốc tế cho các công trình nghiên cứu sau đại học.

Câu hỏi thường gặp

  1. Trừu tượng hóa mô hình quy trình kinh doanh (BPMA) là gì và vì sao cần thiết?
    BPMA là kỹ thuật biến đổi mô hình chi tiết thành mô hình ở mức độ trừu tượng cao hơn bằng cách gộp hoặc loại bỏ các chi tiết không quan trọng nhưng vẫn giữ nguyên bản chất nghiệp vụ. Trong thực tế, các doanh nghiệp thường quản lý hàng nghìn quy trình với hơn 50 nút tác vụ, việc áp dụng BPMA giúp lãnh đạo dễ dàng quan sát luồng vận hành cốt lõi mà không bị quá tải thông tin.

  2. Thành phần cứng nhắc (Rigid component) trong cây RPST là gì và tại sao phải loại bỏ?
    Thành phần cứng nhắc là phân đoạn đồ thị luồng công việc phi cấu trúc, không thể phân rã đơn thuần thành các khối tuần tự hay song song. Sự tồn tại của thành phần này làm tăng khoảng 45% nguy cơ xảy ra lỗi bế tắc luồng điều khiển, do đó cần phải được thay thế bằng các thành phần có cấu trúc tương đương để đảm bảo tính đúng đắn cho hệ thống.

  3. Thanh trượt trừu tượng hóa (Slider metaphor) hoạt động như thế nào trong thực tế?
    Thanh trượt hoạt động dựa trên các tiêu chí định lượng như tần suất xuất hiện tác vụ hoặc chi phí tài nguyên trong khoảng từ 0.00 đến 1.00. Khi người dùng kéo thanh trượt đến ngưỡng 0.37, hệ thống sẽ tự động gộp các tác vụ thứ yếu, giúp giảm hơn 50% số lượng nút hiển thị trên sơ đồ mà không làm sai lệch luồng nghiệp vụ.

  4. Bốn quy tắc trừu tượng hóa cơ sở trong luận văn bao gồm những gì?
    Bốn quy tắc cơ sở bao gồm trừu tượng hóa tuần tự, trừu tượng hóa khối, trừu tượng hóa lặp và trừu tượng hóa bế tắc. Các quy tắc này giúp chuẩn hóa 100% các phân đoạn quy trình phức tạp, rẽ nhánh hoặc vòng lặp spaghetti-like thành các hàm tổng hợp thô gọn gàng và tường minh.

  5. Thuật toán trong luận văn có áp dụng được cho quy trình chứa vòng lặp không?
    Thuật toán trọng tâm của luận văn tập trung xử lý cho các mô hình quy trình phi chu trình. Đối với mô hình chứa vòng lặp, hệ thống sử dụng quy tắc trừu tượng hóa lặp để bao gói tạm thời thành một tác vụ đơn trước khi thực hiện cấu trúc hóa, đảm bảo độ chính xác trên 90% các kịch bản thực nghiệm.

Kết luận

  1. Hệ thống hóa toàn diện cơ sở lý thuyết về Quản lý quy trình kinh doanh (BPM) và Khai phá quy trình theo tiêu chuẩn quốc tế IEEE-TFoPM.
  2. Xây dựng thành công quy trình cấu trúc hóa mô hình quy trình kinh doanh phi chu trình thông qua cây phân tích RPST và đồ thị quan hệ thứ tự.
  3. Kiểm chứng thực nghiệm thành công trên 2 bộ dữ liệu mẫu, giảm thiểu hơn 50% độ phức tạp trực quan của sơ đồ quy trình ban đầu.
  4. Đảm bảo bảo toàn 100% ngữ nghĩa logic thực thi và thuộc tính tài nguyên giữa các định dạng mô hình EPC, Petri Net và Workflow Net.
  5. Xác lập lộ trình 12 đến 24 tháng tới để mở rộng thuật toán sang xử lý các mô hình có chu trình động và tích hợp trực tiếp vào các nền tảng đám mây.

Quý bạn đọc và các nhà nghiên cứu hãy tham khảo chi tiết toàn văn luận văn thạc sĩ này để áp dụng ngay các giải pháp cấu trúc hóa quy trình tối ưu vào thực tiễn quản trị hệ thống thông tin của đơn vị!