sinh tự động chế tác phần mềm từ mô hình quy trình nghiệp vụ dựa vào chuyển đổi mô hình

Từ khóa: chuyển đổi mô hình, Model2Model, BPMN, mô hình ca sử dụng, metamodel hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghg

Trang 1

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ

68Thursday, June 13, 20249:30:37 PM9:30:37 PM68Thursday, June 13, 20249:30:37 PM9:30:37 PM68Thursday, June 13, 20249:30:37 PM9:30:37 PM

hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg

hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg68Thursday, June 13, 20249:30:37 PM9:30:37 PM68Thursday, June 13, 20249:30:37 PM9:30:37 PM68Thursday, June 13, 20249:30:37 PM9:30:37 PM

hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg

hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg

68hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohgThursday, June 13, 2024

Trang 2

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ

LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN

Trang 3

TÓM TẮT

Tóm tắt: Phần mềm là một phần quan trọng trong các giải pháp dựa trên phần mềm

(software-based solutions), trong đó yêu cầu phần mềm là một pha có ảnh hưởng rất lớn tới sự thành công của các dự án phần mềm Yêu cầu phần mềm, bao gồm cả yêu cầu chức năng và phi chức năng, thường được xác định dựa trên mô hình quy trình nghiệp vụ Thực tế cho thấy nhiều tổ chức, doanh nghiệp đã có sẵn các quy trình nghiệp vụ tương đối đầy đủ và có nhiều tương đồng với các yêu cầu phần mềm nên có thể dễ dàng cung cấp nền tảng cho việc chuyển đổi mô hình Tuy nhiên cho đến nay, việc xác định và chuyển đổi này thường được thực hiện một cách thủ công, phát sinh nhiều hạn chế gây tốn kém nguồn lực và có thể làm chậm tiến độ phát triển phần mềm Từ đó nảy sinh nhu cầu cần phải phát triển một giải pháp tự động hoá để thiết kế các chế tác phần mềm tốt hơn với hiệu quả cao Luận văn này sẽ tập trung nghiên cứu và đề xuất một phương pháp tự động sử dụng mô hình hóa quy trình nghiệp vụ để tạo ra mô hình ca sử dụng phù hợp Nguyên tắc dựa trên việc so sánh và đánh giá sự tương quan giữa các siêu mô hình để xây dựng bộ quy tắc ánh xạ, qua đó có thể cài đặt chương trình chuyển đổi Kết quả có thể giúp tiết kiệm chi phí, có thể duy trì lần vết giữa phần mềm - ở không gian giải pháp và nghiệp vụ - ở không gian vấn đề và đảm bảo các mô hình sản phẩm phản ánh chính xác hệ thống

Từ khóa: chuyển đổi mô hình, Model2Model, BPMN, mô hình ca sử dụng, metamodel

hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM

hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg

Trang 4

LỜI CẢM ƠN

Sau quá trình học tập và nghiên cứu, được sự hỗ trợ từ Khoa Công nghệ thông tin, Trường Đại học Công Nghệ - ĐHQGHN và sự tận tình chỉ bảo của thầy giáo

hướng dẫn – TS Đặng Đức Hạnh, tôi đã hoàn thành đề tài luận văn thạc sĩ “Sinh tự

động chế tác phần mềm từ mô hình quy trình nghiệp vụ dựa trên chuyển đổi mô hình”

Đầu tiên, tôi xin gửi lời cảm ơn sâu sắc đến giảng viên hướng dẫn, Tiễn sĩ Đặng Đức Hạnh - đã tận tâm định hướng, chỉ dạy tôi và gợi ý giải quyết các khó khăn để tôi có thể hoàn thành luận văn này

Tôi xin gửi lời cảm ơn chân thành đến các thầy cô giảng viên của Trường Đại học Công Nghệ – ĐHQGHN đã tận tình dạy dỗ và truyền đạt kiến thức giúp tôi có thêm nhiều hiểu biết và nhận thức về chuyên ngành cũng như định hướng phát triển sự nghiệp tương lai Tôi cũng xin cảm ơn các thành viên trong nhóm nghiên cứu đã hỗ trợ và giải đáp rất nhiều thắc mắc của tôi trong khoảng thời gian vừa qua

Cuối cùng, tôi muốn cảm ơn gia đình, bạn bè và người thân đã đồng hành cùng tôi trong cuộc sống, luôn tạo điều kiện và động viên giúp đỡ tôi vượt qua mọi khó khăn

Tôi xin chân thành cảm ơn

Trang 5

LỜI CAM ĐOAN

Tôi là Trần Thu Trang, học viên cao học khóa K25 - CNPM của Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội Tôi xin cam đoan đây là công trình nghiên cứu của tôi dưới sự đầu tư nghiên cứu nghiêm túc và tận tình giúp đỡ của Giảng viên hướng dẫn là Tiến sĩ Đặng Đức Hạnh và các bạn trong nhóm nghiên cứu Những nội dung nghiên cứu và kết quả trong đề tài này là hoàn toàn trung thực Tôi xin cam đoan không sao chép, sử dụng tài liệu, công trình nghiên cứu nào của người khác mà không chú thích, trích dẫn cụ thể

Hà Nội, tháng 08 năm 2022 Học viên thực hiện

Trần Thu Trang

123docz.net - File bi loi xin lienhe: lethikim34079@hotmail.com hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM

Trang 6

2.1.1 Mô hình hóa (Modeling) 9

2.1.2 Chuyển đổi mô hình 11

2.2 Mô hình quy trình nghiệp vụ 14

2.2.1 Mô hình hóa quy trình nghiệp vụ 15

2.2.2 Tiêu chuẩn ký hiệu và mô hình hóa quy trình nghiệp vụ BPMN 16

3.2 Tổng quan về phương pháp BPMN2UseCase 22

3.3 Biểu diễn mô hình BPMN 24

3.4 Biểu diễn mô hình ca sử dụng 25

3.5 Xác định các luật chuyển đổi mô hình 27

3.5.1 Luật chuyển đổi cho các đối tượng (Rules for Elements) 27

3.5.2 Luật chuyển đổi cho các quan hệ giữa các đối tượng (Rules for Association) 28

3.5.3 Luật chuyển đổi cho các quan hệ với dữ liệu (Rules for Data association) 323.6 Thuật toán và thực thi chuyển đổi mô hình 35

3.7 Tổng kết chương 37

CHƯƠNG 4 THỰC NGHIỆM VÀ ĐÁNH GIÁ 38

4.1 Công cụ, ngôn ngữ và môi trường hỗ trợ 38

4.1.1 Kỹ thuật biểu diễn quy trình nghiệp vụ 38

4.1.2 Kỹ thuật biểu diễn biểu đồ ca sử dụng 39

123docz.net - File bi loi xin lienhe: lethikim34079@hotmail.com hghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM

Trang 7

4.2 Nghiên cứu tình huống thực nghiệm 39

4.2.1 School Library System 39

4.2.2 Phương pháp đánh giá kết quả 43

Trang 8

DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT

ATL ATLAS Transformation Language BPM Business Process Management

BPMN Business Process Model and Notation CIM Computer Independent Model

EMF Eclipse Modeling Framework

Trang 9

Bảng 4.2 Kết quả đánh giá tính đầy đủ 46

Trang 10

DANH MỤC HÌNH VẼ

Hình 1.1 Ánh xạ các khái niệm UC từ quy trình nghiệp vụ [14] 7

Hình 2.1 Mẫu mô hình hóa trong MDE [8] 9

Hình 2.2 Chuyển đổi mô hình [25] 11

Hình 2.3 Cơ chế chuyển đổi mô hình [24] 13

Hình 2.4 Minh họa bài toán chuyển đổi “Families to Persons” 14

Hình 2.5 Mô hình chuyển đổi ATL “Families to Persons” 14

Hình 3.1 Mô hình quy trình nghiệp vụ Nobel Prize [9] 21

Hình 3.2 Mô hình ca sử dụng Nobel Prize [9] 22

Hình 3.3 Quy trình chuyển đổi mô hình đề xuất 23

Hình 3.4 Cơ chế chuyển đổi mô hình BPMN2UseCase 23

Hình 3.5 Định dạng đầu vào *.bpmn 24

Hình 3.6 Định dạng đầu ra *.uml 24

Hình 3.7 Siêu mô hình lược giản BPMN [8] 25

Hình 3.8 Mô hình quy trình nghiệp vụ xử lý đơn hàng online 25

Hình 3.9 Siêu mô hình ca sử dụng đơn giản [13] 26

Hình 3.10 Mô hình hoá ca sử dụng trong một nhà hàng 26

Hình 3.11 Luật RE1 - Ánh xạ Task sang UseCase 27

Hình 3.12 Hàm chuyển đổi RE1 - Task2UseCase 27

Hình 3.13 Luật RE2 - Ánh xạ Participant sang Actor 28

Hình 3.14 Hàm chuyển đổi RE2 - Participant2Actor 28

Hình 3.15 Luật RA1 - Ánh xạ giữa Participant và Task sang Association 28

Hình 3.16 Hàm chuyển đổi RA1 - Task2UseCasenAssociation 29

Hình 3.17 Luật RA2 - Ánh xạ SequenceFlow sang Dependency 29

Hình 3.18 Hàm chuyển đổi RA2 - SequenceFlow2Dependency 29

Hình 3.19 Luật RA3 - Ánh xạ ExclusiveGateway sang quan hệ Extend 30

Hình 3.20 Hàm chuyển đổi RA3 - Gateway2Extend 30

Hình 3.21 Luật RA4 - Ánh xạ MessageFlow sang Association 31

Hình 3.22 Hàm chuyển đổi RA4 - MessageFlow2Association 31

Hình 3.23 Luật RD1 - Ánh xạ đọc Data Store sang quan hệ include ReadData 32

Trang 11

Hình 3.24 Hàm chuyển đổi RD1 - DataStore2ReadData 32

Hình 3.25 Luật RD2 - Ánh xạ ghi Data Store sang quan hệ include WriteData 33

Hình 3.26 Hàm chuyển đổi RD2 – DataStore2WriteData 33

Hình 3.27 Luật RD3 - Ánh xạ nhận Data Object sang quan hệ include ReceiveData 33Hình 3.28 Hàm chuyển đổi RD3 - DataObject2ReceiveData 34

Hình 3.29 Luật RD4 - Ánh xạ gửi Data Object sang quan hệ include SendData 34

Hình 3.30 Hàm chuyển đổi RD4 – DataObject2SendData 34

Hình 3.31 Mã giả mô tả thuật toán sinh mô hình ca sử dụng 36

Hình 4.1 Giao diện công cụ Eclipse BPMN2 Modeler 38

Hình 4.2 Giao diện công cụ Eclipse Papyrus 39

Hình 4.3 Mô hình BPMN Purchase book [10] 40

Hình 4.4 Mô hình BPMN Lend book [10] 40

Hình 4.5 Mô hình BPMN Return book [10] 40

Hình 4.6 Mô hình ca sử dụng Purchase book 41

Hình 4.7 Mô hình ca sử dụng Lend book 42

Hình 4.8 Mô hình ca sử dụng Return book 42

Hình 4.9 Mô hình ca sử dụng School Library System [10] 43

Trang 12

CHƯƠNG 1 TỔNG QUAN

Trong chương này, luận văn sẽ giới thiệu và trình bày một cách tổng quát về đề tài nghiên cứu, bao gồm thực trạng phát triển hiện nay, các vấn đề thách thức gặp phải và các hướng tiếp cận liên quan Từ đó, luận văn xác định được mục tiêu tìm hiểu và phương pháp nghiên cứu để xây dựng và phát triển giải pháp cho đề tài

1.1 Đặt vấn đề

Trong phát triển phần mềm hiện nay, kỹ thuật yêu cầu (Requirement Engineering - RE) là một pha cực kỳ trọng yếu, là bước khởi đầu và có thể ảnh hưởng tới toàn bộ hoạt động phát triển phần mềm nếu không được thực hiện một cách đúng đắn RE là chìa khóa cho sự thành công của các dự án phần mềm [19] Thực tế, trong các hệ thống lớn và phức tạp, rất khó để phát triển được chính xác các yêu cầu phần mềm [19] Một số nghiên cứu chỉ ra rằng: Các lỗi phát sinh trong pha yêu cầu thường là nghiêm trọng và khó khăn nhất để khắc phục 70% các lỗi hệ thống là do đặc tả chưa đầy đủ và 30% là do các vấn đề thiết kế [1, 18] Có nhiều nguyên nhân dẫn đến các vấn đề trên, có thể được phân loại thành các nhóm chính sau [18]:

 Vấn đề về phạm vi: Ranh giới của hệ thống không rõ ràng, dẫn đến việc các thông tin không quan trọng có thể được đưa vào thiết kế trong khi các thông tin cần thiết có thể bị thiếu trong đặc tả yêu cầu

 Vấn đề về nhận thức và hiểu rõ hệ thống: phát sinh khi người phân tích/phát triển không xác định đúng nhu cầu của người yêu cầu hoặc khi bản thân người yêu cầu và các bên liên quan không thể hiện rõ được nhu cầu của chính họ Bên cạnh đó, sự thiếu trao đổi hoặc hiểu sai trong giao tiếp giữa bên yêu cầu và bên phân tích/phát triển cũng góp phần làm sinh ra các yêu cầu thiếu hoàn chỉnh, chính xác hoặc còn mơ hồ, không nhất quán

 Vấn đề về đáp ứng sự thay đổi: Theo thời gian, các yêu cầu cần luôn được cập nhật và thay đổi dựa trên sự thay đổi về nhu cầu và mục đích của bên yêu cầu, hay do sự phát triển không ngừng của các công nghệ phần mềm Do đó, sự chậm trễ trong việc thích ứng hay sự giái quyết không thỏa đáng các xung đột phát sinh có thể làm nảy sinh nhiều vấn đề

Nhiều nghiên cứu được đề xuất để nâng cao hiệu quả của pha yêu cầu và khắc phục các lỗi trên để có thể tạo ra được những chế tác yêu cầu phần mềm chính xác, hoàn thiện và hiệu quả Trong đó, hướng tiếp cận mô hình quy trình nghiệp vụ là một giải pháp phù hợp bởi ít nhất một nửa sự phát triển phần mềm công nghiệp được kết nối với sự phát triển ứng dụng kinh doanh [5] và việc hiểu rõ quy trình hoạt động là chìa khóa để xác định, phân tích các yêu cầu hệ thống cần thiết cho quá trình phát triển Thực tế cũng cho thấy nhiều tổ chức, doanh nghiệp đã có sẵn các mô hình quy trình nghiệp vụ tương đối đầy đủ và chi tiết để có thể cung cấp nền tảng cho việc mô hình hóa yêu cầu phần mềm Ví dụ, một nghiên cứu tại một ngân hàng quốc tế lớn chỉ ra rằng 350 trên tổng số 1000 quy trình kinh doanh dùng trong ngân hàng đã được mô

Trang 13

tả rõ ràng và sử dụng để tham khảo trong hoạt động kinh doanh hàng ngày [14] Bên cạnh đó, mô hình quy trình nghiệp vụ có thể thể hiện hoạt động của tổ chức một cách rõ ràng dễ hiểu qua các các biểu đồ đồ họa, góp phần làm giảm các lỗi phát sinh do “vấn đề về nhận thức và hiểu rõ hệ thống” Mô hình quy trình nghiệp vụ cũng giải quyết được “vấn đề về phạm vi” khi xây dựng đặc tả yêu cầu bởi việc thể hiện cách thức mà tổ chức thực hiện và sắp xếp công việc cũng như việc quy định rõ ràng cấu trúc và mục đích của hệ thống.

Theo các nghiên cứu [7, 13, 14], một dạng chế tác phần mềm có sự tương đồng rất lớn với mô hình quy trình nghiệp vụ đó là ca sử dụng Điều này khá rõ ràng khi xem xét đến hai khái niệm của ca sử dụng và quy trình kinh doanh: Một ca sử dụng UML chỉ định một chuỗi các hành động, bao gồm các biến thể mà hệ thống có thể thực hiện, mang lại kết quả giá trị có thể quan sát được cho một tác nhân cụ thể [14] Một quy trình kinh doanh là một tập hợp các hoạt động có cấu trúc và được cân nhắc, được thiết kế để tạo ra đầu ra cụ thể cho một khách hàng hoặc một thị trường cụ thể [12] Dựa trên các định nghĩa này, cả quy trình nghiệp vụ và ca sử dụng đều tập trung vào các hoạt động (hành động), đều được sắp xếp theo một cách nào đó và đều nhằm mục đích tạo ra một kết quả cụ thể cho một đối tượng nhất định (tác nhân hoặc khách hàng) Không chỉ tương đồng rõ rệt về mặt khái niệm, các quy trình nghiệp vụ còn có thể được mô tả bởi chính mô hình ca sử dụng [15] Từ đó có thể nhận định việc chuyển đổi từ quy trình kinh doanh sang ca sử dụng là hoàn toàn có thể và hợp lý Thêm vào đó, việc chuyển đổi này có thể mang lại lợi ích cụ thể, bởi thông thường, để xây dựng ca sử dụng, các tổ chức phải thực hiện khá nhiều cuộc phỏng vấn và phân tích đánh giá trong khi quy trình kinh doanh lại thường có sẵn dưới dạng các hướng dẫn công việc hoặc sổ tay quản trị [14] Sử dụng chính những nguồn có sẵn này để sinh ra ca sử dụng có thể tiết kiệm được nhiều thời gian, công sức và đảm bảo phản ánh đúng nhu cầu nghiệp vụ của hệ thống

Hiện nay, nhiều nghiên cứu đã đưa ra các phương pháp để giải quyết vấn đề trong bài toán này, có thể chia thành 3 hướng tiếp cận chính như sau: thứ nhất là phương pháp thủ công chuyển đổi giữa BPM và UC, thứ hai là chuyển đổi tự động mô hình UC từ BPM bằng cách xây dựng thuật toán chuyển đổi và cuối cùng là chuyển đổi tự động mô hình UC từ BPM bằng cách áp dụng MDE.

 Chuyển đổi thủ công giữa mô hình BPM và UC

Ở cách tiếp cận đầu tiên, Cruz và các đồng tác giả đã xây dựng một tập các luật để tạo ra mô hình ca sử dụng bao gồm cả biểu đồ và đặc tả từ mô hình quy trình nghiệp vụ [9] Nghiên cứu tập trung ưu tiên vào quá trình sinh ra đặc tả giàu thông tin sử dụng nhiều luật tương quan hơn Các đặc tả thể hiện qua ngôn ngữ tự nhiên (Natural Language – NL) bởi một tập hợp các cấu trúc câu đã được quy định trước Trong khi đó, nội dung của biểu đồ ca sử dụng được tạo ra bởi 5 luật chuyển đổi, áp dụng tương ứng cho các đối tượng Participant, Lane, Activity, quan hệ giữa Participant và Pool, quan hệ giữa Participant và Activityhghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohghghieh euu mot xo giai uhau khae uhue hieh tuohg eohg vehh euc vah gheu thchh tai eohg ty xhihee hai uhohg682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM682413069:30:36 PM9:30:36 PM

Trang 14

từ mô hình BPMN Do đó, biểu đồ tạo ra tương đối đơn giản, chỉ bao gồm những yếu tố thành phần cơ bản là Actor, Use Case và quan hệ giữa Actor và Use Case, không bao gồm các quan hệ giữa các Use Case như quan hệ mở rộng, bao gồm hay quan hệ tổng quát.

 Chuyển đổi tự động mô hình UC từ BPM bằng cách xây dựng thuật toán chuyển đổi

Nghiên cứu [13, 14] mô tả một thuật toán để chuyển đổi mô hình quy trình nghiệp vụ thành đặc tả yêu cầu chức năng, cụ thể là biểu đồ ca sử dụng Thuật toán hoạt động dựa trên việc tạo ra các siêu mô hình của quy trình nghiệp vụ và yêu cầu chức năng ca sử dụng, từ đó so sánh các khái niệm, ý nghĩa của các khái niệm và đưa ra được các ánh xạ tương quan giữa các mô hình Chi tiết việc xây dựng khái niệm tương quan này được trình bày cụ thể trong [14] (Hình 1.1).

Hình 1.1 Ánh xạ các khái niệm UC từ quy trình nghiệp vụ [14]

Trong quá trình thực nghiệm, phương pháp đã đánh giá 6 quy trình nghiệp vụ và tạo ra được 42 ca sử dụng Trong đó 17 ca sử dụng có cấu trúc chưa chính xác và vẫn còn sai sót, một tỉ lệ lỗi tương đối cao [13].

 Chuyển đổi tự động mô hình UC từ BPM bằng cách áp dụng MDE

Trong [21], một giải pháp tự động hóa được đưa ra để chuyển đổi từ mức mô hình độc lập tính toán (CIM) sang mức mô hình độc lập với nền tảng (PIM) Cách tiếp cận sử dụng biểu đồ cộng tác và biểu đồ quy trình BPMN đại diện cho mô hình nghiệp vụ tiêu chuẩn để thể hiện ở mức CIM Từ đó thu được biểu đồ ca sử dụng quy định chức năng của hệ thống và cuối cùng là biểu đồ lớp để mô hình các lớp và các mối quan hệ giữa chúng Để thực hiện việc chuyển đổi, tác giả sử dụng công cụ dựa trên ngôn ngữ QVT, theo kiến trúc hướng mô hình (MDA) Một nghiên cứu khác cũng theo

Trang 15

hướng MDE là [6], đề xuất một công cụ BPMN2UC sử dụng ngôn ngữ ATL (ATLAS Transformation Language) để sinh ra biểu đồ UC từ các khái niệm BPMN Đồng thời phương pháp cũng cho phép tạo ra đặc tả ca sử dụng cho các ca sử dụng phức tạp bằng cách sử dụng Acceleo.

Có thể thấy các phương pháp tiếp cận như trên đều mang lại những hiệu quả nhất định, tuy nhiên vẫn còn tồn tại một số nhược điểm cụ thể Phần lớn các giải pháp đều được thực hiện một cách thủ công, độ chính xác chưa cao và phát sinh tốn kém nhân lực và chi phí Cùng với đó, khả năng bao trùm các loại phần tử hay khái niệm còn yếu kém, dẫn đến việc đầu ra còn chưa đầy đủ và nghèo thông tin Việc thực hiện chuyển đổi còn phức tạp hay sự dư thừa trong quá trình xử lý cũng là những hạn chế cần được khắc phục.

1.2 Mục tiêu và phương pháp

Mục đích cơ bản của luận văn là xây dựng một phương pháp sinh tự động mô hình ca sử dụng từ mô hình quy trình nghiệp vụ, nhằm nâng cao hiệu quả của pha yêu cầu phần mềm và gia tăng tự động hóa trong phát triển phần mềm Giải pháp cần đơn giản, có thể áp dụng dễ dàng và phản ánh tương đối chi tiết và chính xác các hoạt động nghiệp vụ hệ thống.

Để đạt được mục tiêu này, luận văn đã đề xuất phương thức tiếp cận như sau:

 Nghiên cứu siêu mô hình của quy trình nghiệp vụ và ca sử dụng, từ đó so sánh, phân tích và đánh giá để tìm ra sự tương quan giữa các yếu tố trong mô hình Từ đó, xây dựng một bộ quy tắc chuyển đổi mô hình

 Phát triển một chương trình chuyển đổi mô hình – BPMN2UseCase, cài đặt dựa trên bộ luật nêu trên và tự động sinh ca sử dụng từ mô hình nghiệp vụ đầu vào

 Thử nghiệm và đánh giá chương trình sau khi áp dụng vào tình huống cụ thể và bộ test-cases Chương trình được đánh giá dựa trên các tiêu chí: tính ổn định, tính đầy đủ và tính đúng đắn.

1.3 Bố cục của luận văn

Chương 1: Giới thiệu, trình bày vấn đề nghiên cứu, mục tiêu và phương pháp

đề xuất

Chương 2: Kiến thức nền tảng, trình bày cơ sở lý thuyết về kỹ nghệ hướng mô

hình, mô hình quy trình nghiệp vụ và mô hình ca sử dụng

Chương 3: Tìm hiểu về bài toán chuyển đổi mô hình quy trình nghiệp vụ sang

ca sử dụng và các công trình nghiên cứu liên quan Từ đó đề xuất phương pháp BPMN2UseCase sinh tự động mô hình ca sử dụng từ mô hình quy trình nghiệp vụ

Chương 4: Cách cài đặt chương trình, ứng dụng thực nghiệm giải pháp vào các

tình huống cụ thể Xây dựng bộ test-cases để kiểm tra đánh giá phương pháp

Chương 5: Kết quả đạt được và hướng phát triển trong tương lai

Trang 16

CHƯƠNG 2 KIẾN THỨC NỀN TẢNG

Trong chương này, luận văn sẽ trình bày chi tiết các kiến thức cần thiết để giúp hiểu rõ được phương pháp tiếp cận đề tài, cụ thể bao gồm: kỹ nghệ hướng mô hình và các khái niệm quan trọng, mô hình quy trình nghiệp vụ và tiêu chuẩn ký hiệu BPMN cùng với mô hình ca sử dụng và biểu đồ ca sử dụng UML Đây là những nền tảng cơ bản cần phải nắm được để có thể ứng dụng xây dựng giải pháp cho bài toán chuyển đổi mô hình

2.1 Kỹ nghệ hướng mô hình

Mô hình là một khái niệm rất quan trọng trong việc nghiên cứu phát triển các phần mềm phức tạp Kỹ nghệ hướng mô hình (Model-Driven Engineering - MDE) là một hướng tiếp cận đầy hứa hẹn sử dụng mô hình để hỗ trợ các giai đoạn khác nhau trong vòng đời phát triển phần mềm MDE dựa trên các nguyên tắc liên quan đến các khái niệm mô hình, siêu mô hình, siêu-siêu mô hình và chuyển đổi mô hình để cung cấp một quy trình cho phép phát triển tự động một hệ thống [8] Trong ngữ cảnh của MDE, một mô hình là một thể hiện trừu tượng của một hệ thống được xác định bởi ngôn ngữ mô hình hóa, trong đó ngôn ngữ mô hình hóa là phương tiện thể hiện hệ thống một cách đơn giản và chính xác bằng cách sử dụng các biểu đồ, ký hiệu, số, chữ cái, … Ba khái niệm mô hình, siêu mô hình và siêu-siêu mô hình tạo thành một mẫu mô hình ba cấp [8] (Hình 2.1) Mô hình ở cấp càng cao thì mức độ trừu tượng càng cao

Hình 2.1 Mẫu mô hình hóa trong MDE [8]

2.1.1 Mô hình hóa (Modeling)

Mô hình (Model) là một thể hiện dạng trừu tượng hóa một đối tượng hay một hệ thống thực, cụ thể là một hình ảnh hay một biểu diễn phản ánh hệ thống thực, qua đó diễn tả hệ thống:

 Ở một mức trừu tượng hóa nhất định

Trang 17

 Theo một quan điểm hay một góc nhìn nào đó

 Bởi một hình thức diễn tả có thể hiểu được (đồ thị, bảng, văn bản,…)

Mô hình được dùng để nghiên cứu và tìm hiểu hoạt động của hệ thống, mô hình hóa là việc thay thế các đối tượng thực của hệ thống bằng mô hình hay thiết lập và sử dụng mô hình, từ đó thu được các thông tin quan trọng cần thiết của hệ thống bằng cách tiến hành thực nghiệm trên mô hình Các mục đích chính của quá trình mô hình hóa đó là:

 Để hiểu: Hiểu là hình thành được hình ảnh xác thực và giản lược về hệ thống

cần được tìm hiểu Nhờ vào việc sử dụng mô hình, các vấn đề được nhận thức dễ dàng và nhanh chóng hơn.

 Để trao đổi: Mô hình có thể coi như một loại ngôn ngữ để trao đổi giữa những

người quan tâm đến hệ thống.

 Để hoàn chỉnh: Mô hình với sự minh bạch, rõ ràng có thể giúp người dùng đánh

giá hệ thống có đầy đủ, chặt chẽ hay phù hợp với yêu cầu chưa, từ đó có thể hoàn thiện hơn.

Ngôn ngữ mô hình hóa (Modeling language)

Ngôn ngữ mô hình hóa là ngôn ngữ nhân tạo được sử dụng để diễn tả thông tin hoặc hệ thống trong một cấu trúc xác định bởi một bộ quy tắc nhất quán, trong đó các quy tắc dùng để giải thích ý nghĩa của các thành phần trong cấu trúc Dựa trên yêu cầu và miền sử dụng, các ngôn ngữ mô hình hóa có thể chia thành bốn loại: mô hình hóa hệ thống, mô hình hóa đối tượng, mô hình hóa dữ liệu và mô hình hóa thực tế ảo Xét về ngữ cảnh, một ngôn ngữ mô hình hóa có thể là đồ họa hoặc văn bản

 Ngôn ngữ mô hình hóa đồ họa: sử dụng kỹ thuật biểu diễn sơ đồ với các ký

hiệu được đặt tên để đại diện cho các khái niệm, các đường kết nối đại diện cho các quan hệ và nhiều dạng ký hiệu đồ họa khác để biểu diễn các ràng buộc Một số ví dụ về dạng đồ họa này là Business Process Modeling Notation (BPMN) - mô hình hóa quy trình, EXPRESS - mô hình hóa dữ liệu, Unified Modeling Language (UML) - mô hình hóa cho các hệ thống phần mềm chuyên sâu, hỗ trợ 13 kỹ thuật biểu đồ khác nhau…

 Ngôn ngữ mô hình hóa văn bản: sử dụng các từ khóa được chuẩn hóa cùng với

các tham số hoặc thuật ngữ để tạo ra các biểu thức máy tính có thể hiểu được

Lưu trữ mô hình

Để lưu trữ mô hình, công nghệ phổ biến được sử dụng là tiêu chuẩn eXtensible Markup Language Metadata Interchange (XMI) Theo [3], XMI – giao thức trao đổi dữ liệu đặc tả dựa trên ngôn ngữ đánh dấu mở rộng là một tiêu chuẩn được phát triển và duy trì bởi Tổ chức Quản lý Đối tượng (OMG) Mục tiêu của XMI là cho phép trao đổi dữ liệu đặc tả dễ dàng giữa các công cụ mô hình hóa dựa trên UML và kho lưu trữ dữ liệu đặc tả dựa trên MOF (Meta Object Facility - MOF là công nghệ nền tảng để mô tả các mô hình đặc tả) trong các môi trường không đồng nhất XMI được sử dụng

Trang 18

rộng rãi trong định dạng trao đổi XML, XMI định nghĩa các vấn đề sau trong việc mô tả các đối tượng trong XML:

 Biểu diễn các đối tượng dưới dạng các phần tử và các thuộc tính XML.

 Các cơ chế chuẩn cho các đối tượng trong cùng một tập tin hay trên nhiều tập tin.

 Xác định đối tượng, cho phép các đối tượng được tham chiếu từ các đối tượng khác dưới dạng các định danh (identifier - ID) hoặc các định danh toàn thể duy nhất (universally unique identifier – UUID).

XMI cung cấp một phương thức chuẩn cho người lập trình trao đổi thông tin về dữ liệu đặc tả Cụ thể XMI hướng đến giúp người lập trình sử dụng UML với các ngôn ngữ và các công cụ phát triển khác để trao đổi các mô hình dữ liệu với nhau Đặc biệt, XMI chuẩn hóa cách thức tập dữ liệu đặc tả được mô tả và yêu cầu người dùng trên nhiều lĩnh vực và nhiều môi trường hoạt động thống nhất cách mô tả dữ liệu

2.1.2 Chuyển đổi mô hình

Trong kỹ nghệ hướng mô hình MDE, chuyển đổi mô hình là quá trình biến đổi một mô hình sang một mô hình khác của cùng một hệ thống [26], nói cách khác là một cách tự động tạo ra mô hình đích từ một mô hình nguồn dựa trên một định nghĩa chuyển đổi Trong đó, một định nghĩa chuyển đổi là một tập hợp các quy tắc chuyển đổi để mô tả cách một hay nhiều cấu trúc của mô hình nguồn có thể được chuyển thành một hay nhiều cấu trúc của mô hình đích như thế nào [25] Hình 2.2 thể hiện các khái niệm cơ bản của chương trình chuyển đổi mô hình, với đầu vào là một mô hình nguồn tạo nên siêu mô hình nguồn và đầu ra là một mô hình khác tạo nên một siêu mô hình đích Chương trình chuyển đổi bao gồm một bộ các quy tắc, bản thân nó có thể được coi là một mô hình dựa trên một siêu mô hình và sử dụng một ngôn ngữ chuyển đổi để thực hiện

Hình 2.2 Chuyển đổi mô hình [25]

Trang 19

Các hướng chuyển đổi mô hình

Một cách tổng quát, cách tiếp cận chuyển đổi mô hình có thể được chia thành hai hướng là mô hình-thành-mô hình - M2M (model-to-model) và mô hình-thành-văn bản - M2T (model-to-text) Điểm khác biệt cơ bản đó là M2M tạo ra một mô hình đích với cú pháp trừu tượng, còn kết quả sinh ra của M2T được thể hiện bằng cú pháp cụ thể, có dạng chuỗi ký tự, văn bản, mã nguồn,… Theo [27], chuyển đổi M2T được phân thành hai loại: “visitor-based” và “template-based” Trong khi đó, M2M gồm năm loại chính [25]:

 Thao tác trực tiếp (direct-manipulation): cung cấp một đại diện mô hình nội bộ và một số APIs để thao tác với nó Nó cũng thường được thực hiện như một khung hướng đối tượng và người dùng phải xây dựng các quy tắc chuyển đổi, lên kế hoạch, truy vết,… bằng một ngôn ngữ lập trình.

 Quan hệ (relational): được xem như một hình thức giải quyết các ràng buộc Ý tưởng cơ bản là xác định các mối quan hệ giữa các phần tử nguồn và đích bằng cách sử dụng các ràng buộc không thể thực thi.

 Dựa trên chuyển đổi biểu đồ (graph-transformation-based): mô hình nguồn và mô hình đích đều được thể hiện dưới dạng đồ thị và thực hiện chuyển đổi mô hình bằng phép biến đổi đồ thị - lấy đồ thị cú pháp trừu tượng của mô hình và biến đổi nó theo quy tắc nhất định

 Tiếp cận hoạt động (operational): tương tự như thao tác trực tiếp nhưng cung cấp nhiều hỗ trợ sâu hơn cho chuyển đổi mô hình Một giải pháp điển hình là mở rộng hình thức siêu mô hình hóa với những điều kiện để thể hiện tính toán.

 Kết hợp (hybrid): kết hợp các kỹ thuật khác nhau nêu trên.

Để hỗ trợ việc tiếp cận các hướng nghiên cứu trên, nhiều kỹ thuật chuyển đổi mô hình đã được phát triển và đưa vào sử dụng, ví dụ M2T có Eclipse Acceleo, M2M có hai kỹ thuật nổi bật là ATL (ATLAS Transformation Language) và QVT (Query/View/Transformation).

 ATL là một bộ công cụ và ngôn ngữ chuyển đổi mô hình Vì ATL cung cấp cả hai cấu trúc khai báo và mệnh lệnh, nó được coi là một chuyển đổi mô hình kết hợp (hybrid) Kiến trúc bao gồm ba lớp: ATLAS Model Weaving (AMW), ATL và máy ảo ATL (Virtual Machine) AMW có thể được sử dụng như một ngôn ngữ đặc tả chuyển đổi mức trừu tượng cao hơn Các chương trình chuyển đổi được viết chủ yếu với ATL, và ATL VM sẽ biên dịch các chương trình ATL đó ATL cung cấp các phương thức để tạo ra một tập hợp các mô hình đích từ một tập hợp các mô hình nguồn.

 QVT là một bộ ngôn ngữ tiêu chuẩn để thực hiện chuyển đổi mô hình được xác định bởi OMG, có khả năng thực hiện các truy vấn và các phép biến đổi mô hình QVT tích hợp tiêu chuẩn ngôn ngữ ràng buộc đối tượng (Object Constraint Language – OCL) Đây cũng là một loại chuyển đổi kết hợp (hybrid) với cả hai cấu trúc khai báo và mệnh lệnh

Trang 20

Luận văn được định hướng xây dựng theo hướng M2M và sử dụng kỹ thuật ATL nên tập trung tìm hiểu sâu hơn về công cụ này.

Công cụ chuyển đổi ATL

Trong MDE, ATL là một ngôn ngữ và công cụ hiệu quả, cho phép tạo ra các mô hình đích từ một (hoặc một tập hợp) các mô hình nguồn Được phát triển dựa trên nền tảng Eclipse, môi trường tích hợp ATL (ATL Integrated Environment) cung cấp các công cụ tiêu chuẩn (debug, hỗ trợ cú pháp, …) giúp cho việc phát triển thuận tiện hơn

Về mặt hình thức, một phép chuyển đổi mô hình đơn giản phải xác định cách tạo ra một mô hình Mb, phù hợp với siêu mô hình MMb từ mô hình Ma, phù hợp với siêu mô hình MMa Bản thân phép biến đổi này cũng được định nghĩa là một mô hình, và phù hợp với một siêu mô hình chuyển đổi xác định ngữ nghĩa của việc chuyển đổi Phép biến đổi được xác định bởi mô hình chuyển đổi Mt, phù hợp với siêu mô hình MMt Siêu mô hình MMt này, cùng với MMa và MMb phải tuân theo siêu-siêu mô hình MMM [24] Lược đồ Hình 2.3 đã tóm tắt toàn bộ quá trình chuyển đổi mô hình từ mô hình Ma sang mô hình Mb

Hình 2.3 Cơ chế chuyển đổi mô hình [24]

Hiện nay, có một số công nghệ siêu-siêu mô hình được đưa ra và áp dụng thực tế Trong đó hai công nghệ được hỗ trợ sử dụng trong ATL đó là: MOF (Meta Object Facilities) định nghĩa bởi OMG và Ecore định nghĩa bởi EMF (Eclipse Modeling Framework) Như vậy, trong ATL, metametamodel MMM ở hình được thể hiện bằng cách sử dụng ngữ nghĩa của MOF hoặc Ecore [24].

Để có thể nắm được cơ chế hoạt động cơ bản của ATL, luận văn sẽ trình bày một ví dụ đơn giản “Families to Persons”, với đầu vào là một danh sách các gia đình và yêu cầu đầu ra là một danh sách cá nhân với đầy đủ tên họ và danh xưng phù hợp (Hình 2.4).

Trang 21

Hình 2.4 Minh họa bài toán chuyển đổi “Families to Persons”

Áp dụng chuyển đổi ATL cho bài toán được thể hiện trong Hình 2.5 Giả thiết quá trình cài đặt môi trường ATL đã thành công, các thành phần sau đã có sẵn: định nghĩa của ngôn ngữ ATL (ATL.km3) và định nghĩa của siêu-siêu mô hình (Ecore.ecore) Để thực hiện việc chuyển đổi, cần xác định các thành phần như sau:

- Mô hình nguồn thể hiện dưới dạng XMI của đầu vào (sample-Families.ecore) - Siêu mô hình nguồn (Families.km3) và siêu mô hình đích (Persons.km3): sử dụng ngôn ngữ đặc tả miền DSL

- Mô hình chuyển đổi ATL (Families2Persons.atl): sử dụng ngôn ngữ ATL, xây dựng các hàm chức năng thực hiện chuyển đổi từ đối tượng nguồn sang đối tượng đích

Sau khi quá trình chuyển đổi ATL được thực thi, đầu ra thu được là: - Mô hình đích thể hiện dưới dạng XMI (sample-Persons.ecore)

Hình 2.5 Mô hình chuyển đổi ATL “Families to Persons”

2.2 Mô hình quy trình nghiệp vụ

Khái niệm quy trình nghiệp vụ là quá trình diễn ra các công việc trong một tổ chức, doanh nghiệp, thể hiện được các thành phần chính của quá trình kinh doanh

Trang 22

Quy trình nghiệp vụ cũng cho thấy các bước từ đầu đến cuối của quy trình để đảm bảo đáp ứng các mục tiêu của tổ chức đề ra

Quản lý quy trình nghiệp vụ (Business Process Management - BPM) là một lĩnh vực trong hoạt động quản lý doanh nghiệp với phương pháp quản lý và tối ưu hóa các quy trình nghiệp vụ trong doanh nghiệp Có thể nói BPM là giải pháp tiềm năng giúp các tổ chức không ngừng cải tiến dịch vụ và nâng cao chất lượng phục vụ khách hàng của mình Với BPM, các doanh nghiệp có một hướng mới để triển khai ứng dụng công nghệ thông tin Mặc dù mới ra đời hơn một thập kỷ, nhưng BPM đã phát triển rất nhanh trên nhiều mặt: phương pháp luận, phương pháp và công cụ, và cũng đã có nhiều kinh nghiệm triển khai thành công Nhờ những ưu điểm vượt trội về tính đơn giản, dễ triển khai so với phương pháp ứng dụng công nghệ thông tin truyền thống, BPM đã được nhiều tổ chức doanh nghiệp trên toàn thế giới vận dụng hiệu quả và phổ biến.

2.2.1 Mô hình hóa quy trình nghiệp vụ

Song song với quá trình khảo sát tìm hiểu về vấn đề hệ thống thì cách tiếp cận nghiệp vụ là phương pháp có hệ thống nhất để nắm bắt các yêu cầu của các ứng dụng nghiệp vụ Theo [2], mô hình hóa quy trình nghiệp vụ là một kỹ thuật để tìm hiểu quy trình nghiệp vụ của một tổ chức và xác định các quy trình nghiệp vụ nào được hỗ trợ bởi hệ thống Các hệ thống phần mềm càng phức tạp thì cách vận dụng các kỹ thuật mô hình hóa và phương thức mô hình hóa trực quan càng trở nên quan trọng hơn Có nhiều yếu tố ảnh hưởng đến sự thành công của một dự án, trong đó việc có một tiêu chuẩn ngôn ngữ mô hình hóa chặt chẽ là một trong những yếu tố quan trọng nhất Mục đích đầu tiên của mô hình hóa nghiệp vụ là lập mô hình những tổ chức thế giới thực: tạo ra các đối tượng (mô hình) để có thể thiết kế những chương trình máy tính thông qua hiện tượng thế giới thực như: người, đối tượng làm việc và cách thức thực hiện các tác vụ Bên cạnh đó, thực hiện mô hình hóa quy trình nghiệp vụ cũng mang lại rất nhiều lợi ích cho tổ chức, doanh nghiệp:

- Hiểu được cấu trúc và các hoạt động của tổ chức được triển khai hệ thống - Hiểu được các vấn đề hiện tại trong tổ chức và xác định các vấn đề cần cải

tiến

- Bảo đảm các khách hàng, người dùng cuối và các nhà phát triển có sự hiểu

biết chung về tổ chức.

- Thiết lập các yêu cầu hệ thống nhằm hỗ trợ tổ chức

Phạm vi ảnh hưởng của mô hình hóa nghiệp vụ có thể biến đổi tùy theo nhu cầu và hệ thống nghiệp vụ cụ thể Có thể đơn giản chúng ta chỉ nhằm vào việc tăng năng suất bằng cách cải tiến những quy trình đã tồn tại, hoặc đang tạo ra những sự cải tiến có ảnh hưởng lớn bằng cách thay đổi đáng kể những quy trình nghiệp vụ dựa trên sự phân tích kỹ lưỡng các mục tiêu và khách hàng của tổ chức Để đạt được những mục đích trên, luồng công việc mô hình hóa nghiệp vụ mô tả một bức tranh tổng quát về tổ chức, từ đó xác định các quy trình (process), các vai trò (role), và các trách

Trang 23

nhiệm của tổ chức này trong mô hình ca sử dụng nghiệp vụ (business use-case model) và mô hình đối tượng nghiệp vụ (business object model) [2].

2.2.2 Tiêu chuẩn ký hiệu và mô hình hóa quy trình nghiệp vụ BPMN

Theo [1], vấn đề xảy ra trong quá trình tin học hóa các quy trình nghiệp vụ đó là các tác nhân thực hiện nghiệp vụ, người phân tích quy trình nghiệp vụ, người phát triển kỹ thuật (người chịu trách nhiệm tin học hóa các quy trình nghiệp vụ) và người quản lý nghiệp vụ (người giám sát và quản lý quy trình nghiệp vụ) gặp khó khăn trong việc hiểu ý tưởng của nhau Hơn nữa, chính những nhà phân tích nghiệp vụ của các tổ chức khác nhau, nhiều khi cũng không thể giao tiếp trong quá trình liên thông các quy trình nghiệp vụ với nhau Để giải quyết vấn đề này, cần thiết phải có các ký hiệu (notation) tiêu chuẩn tương ứng biểu diễn các phần tử nghiệp vụ như các sự kiện, hoạt động, luồng dữ liệu, các đơn vị tổ chức, Một tập các ký hiệu đồ họa về mô hình hóa quy trình nghiệp vụ xác định các biểu tượng (symbol) cho các phần tử quy trình nghiệp vụ, ý nghĩa cũng như các khả năng kết hợp của chúng.

Tiêu chuẩn ký hiệu và mô hình hóa quy trình nghiệp vụ (Business Process Model and Notation - BPMN) phát triển với mục đích chính là làm cầu nối khoảng cách về thông tin giữa các bên liên quan thường xuyên xảy ra vấn đề trong việc thiết kế và triển khai quy trình nghiệp vụ, đã và đang được sử dụng rộng rãi trong nhiều tổ chức BPMN hỗ trợ cho cả người dùng kỹ thuật và người dùng nghiệp vụ trong việc quản lý các quy trình nghiệp vụ bằng cách đưa ra một tập các ký hiệu chung, có tính trực quan và dễ hiểu cho người dùng.

2.2.2.1 Lịch sử phát triển của BPMN

Ban đầu, BPMN được phát triển bởi Tổ chức Sáng kiến quản lý quy trình nghiệp vụ (Business Process Management Initiative – BPMI), một tổ chức gồm các công ty về phần mềm [1] Ở giai đoạn khởi đầu, mục tiêu là cung cấp một tập các ký hiệu đồ họa mô tả quy trình được thể hiện trong Ngôn ngữ mô hình hóa quy trình nghiệp vụ (Business Process Modeling Language – BPML) BPML được sử dụng để xác định các mô tả quy trình có thể được thực thi bởi một hệ thống quản lý quy trình nghiệp vụ (Business Process Management System).

Phiên bản đầu tiên của BPMN được phát triển bởi nhóm của Stephen A White thuộc IBM năm 2004 Trong thời gian này, BPMI đã trở thành một nhóm thuộc Tổ chức quản lý đối tượng (Object Management Group – OMG) OMG là một tổ chức nổi tiếng về các tiêu chuẩn phần mềm, đặc biệt là UML Năm 2006, BPMN phiên bản 1.0 chính thức được chấp nhận là một tiêu chuẩn của tổ chức OMG [1].

Sau đó, OMG công bố phiên bản BPMN v1.1 vào tháng 01/2008 và công bố BPMN v1.2 vào tháng 01/2009 với một số thay đổi nhỏ Phiên bản BPMN v2.0 với nhiều thay đổi và mở rộng so với các phiên bản cũ, đã được OMG công bố vào tháng 01/2011 Phiên bản gần đây nhất là BPMN v2.0.2 được OMG công bố tháng 12/2013 Nội dung phiên bản BPMN v2.0.2 không khác biệt nhiều so với BPMN v2.0, chỉ chỉnh

Trang 24

sửa một số lỗi nhỏ về văn bản Trong năm 2013, BPMN cũng chính thức trở thành tiêu chuẩn quốc tế ISO/IEC 19510:2013.

Có ba loại Event, dựa trên thời điểm chúng ảnh hưởng đến luồng: Start, Intermediate và

End (thứ tự tương ứng với các hình bên phải).

ActivityActivity được biểu thị bằng một hình chữ nhật được bo góc và là một thuật ngữ chung cho hoạt động mà công ty thực hiện Các loại Activity là:

Task và Sub-Process.

GatewayGateway thể hiện bằng hình thoi và được sử dụng để kiểm soát sự phân kỳ và hội tụ của chuỗi hoạt động Tại đây các hoạt động sẽ được kết hợp hoặc phân nhánh thành các luồng xử lý trong quy trình.

 Connecting Objects: Các Flow Objects được kết nối với nhau trong một biểu

đồ để tạo ra cấu trúc cơ bản của một quy trình nghiệp vụ Có ba loại Connecting Objects cung cấp chức năng này.

Bảng 2.2 BPMN Connecting Objects [23]

Được biểu thị bằng một đường mũi tên liền nét và được sử dụng để hiển thị thứ tự (trình tự) mà các hoạt động sẽ được thực hiện trong một quy trình

Message Flow

Được thể hiện bằng một đường mũi tên đứt nét và sử dụng để hiển thị luồng tin nhắn giữa những người tham gia quá trình (các thực thể kinh doanh hoặc vai trò kinh doanh)

Association Được biểu thị bằng một đường mũi tên chấm chấm và sử dụng để liên kết dữ liệu, text và các

Trang 25

artifacts khác với các đối tượng luồng Các liên kết hiển thị các đầu vào và đầu ra của các hoạt động

 Swimlanes: Nhiều phương pháp mô hình hóa quy trình sử dụng khái niệm

Swimlane như một cơ chế để tổ chức các hoạt động thành các danh mục trực quan riêng biệt để minh họa các chức năng khác nhau BPMN hỗ trợ swimlanes với hai cấu trúc chính:

Bảng 2.3 BPMN Swimlanes [23]

Pool Đại diện cho một người tham gia quá trình Nó cũng thể hiện như một vùng chứa để phân vùng một tập hợp các hoạt động với các Pool khác.

Lane Một phân vùng con trong một Pool và có cùng chiều dài của Pool Lane được sử dụng để tổ chức và phân loại các hoạt động.

 Artifacts: BPMN được thiết kế để cho phép sự linh động trong việc mở rộng

các ký hiệu và cung cấp khả năng thêm ngữ cảnh phù hợp với một tình huống mô hình cụ thể Bất kỳ số lượng Artifacts nào cũng có thể được thêm vào biểu đồ, phù hợp với bối cảnh của các quy trình kinh doanh đang được mô hình hóa Hiện tại phiên bản của đặc tả BPMN chỉ xác định trước ba loại Artifacts.

Bảng 2.4 BPMN Artifacts [23]

Data Object

Một cơ chế để chỉ ra cách thức dữ liệu được yêu cầu hoặc tạo ra bởi các hoạt động Nó được kết nối với các hoạt động thông qua

Trang 26

thiết kế và triển khai các hệ thống dựa trên phần mềm UML được tạo ra bởi Tổ chức Quản lý Đối tượng (OMG) và phiên bản UML 1.0 đã được đề xuất và thông qua bởi OMG năm 1997.

Khác với các ngôn ngữ lập trình thông thường khác như C++, Java, COBOL, UML là một ngôn ngữ hình ảnh được sử dụng để tạo các bản thiết kế phần mềm, được mô tả như một ngôn ngữ mô hình trực quan có mục đích chung để trực quan hóa, xây dựng và lập tài liệu hệ thống phần mềm Mặc dù UML thường được sử dụng để mô hình hóa các hệ thống phần mềm, nhưng không bị giới hạn trong ranh giới này UML có thể được sử dụng để mô hình hóa các hệ thống không phải phần mềm ví dụ quy trình trong một đơn vị sản xuất,

“Một bức tranh có giá trị bằng một nghìn từ” - điều này hoàn toàn phù hợp để mô tả UML Có nhiều mục tiêu để phát triển UML nhưng quan trọng nhất là xác định một ngôn ngữ mô hình hóa chung mà tất cả các nhà lập mô hình đều có thể sử dụng, đơn giản, dễ hiểu và dễ sử dụng Bên cạnh đó, biểu đồ UML không chỉ dành cho các nhà phát triển mà còn cho người dùng doanh nghiệp, những người bình thường và bất kỳ ai quan tâm đến việc hiểu hệ thống Tóm lại, mục tiêu của UML có thể được định nghĩa là một cơ chế mô hình hóa đơn giản để mô hình hóa tất cả các hệ thống thực tế có thể có trong môi trường phức tạp ngày nay

UML được liên kết với thiết kế và phân tích hướng đối tượng UML sử dụng các phần tử và hình thức liên kết giữa chúng để tạo thành biểu đồ Các biểu đồ trong UML có thể được phân loại như sau:

 Biểu đồ cấu trúc - Chụp các khía cạnh hoặc cấu trúc tĩnh của hệ thống và các bộ phận của nó ở các mức độ trừu tượng, thực hiện khác nhau và cách chúng có liên quan với nhau Các yếu tố trong biểu đồ cấu trúc đại diện cho các khái niệm có ý nghĩa của một hệ thống Biểu đồ cấu trúc bao gồm: Biểu đồ thành phần, Biểu đồ đối tượng, Biểu đồ lớp và Biểu đồ triển khai.

 Biểu đồ hành vi - Chụp các khía cạnh động hoặc hành vi của hệ thống hay hành động của các đối tượng trong hệ thống, có thể được mô tả như một chuỗi các thay đổi đối với hệ thống theo thời gian Biểu đồ hành vi bao gồm: Biểu đồ ca sử dụng, Biểu đồ trạng thái, Biểu đồ hoạt động và Biểu đồ tương tác.

2.3.2 Biểu đồ ca sử dụng

Biểu đồ ca sử dụng mô tả tổng thể hệ thống một cách đơn giản, mô hình hóa các chuỗi hành động và xác định tương tác giữa người dùng và hệ thống

Bảng 2.5 Các khái niệm trong ca sử dụng

Actor có thể chỉ cung cấp thông tin cho hệ thống, chỉ lấy thông tin từ hệ thống hoặc nhận

Trang 27

thông tin từ hệ thống và cung cấp thông tin cho hệ thống.

UseCase Một khối chức năng được thực hiện bởi hệ thống để mang lại một kết quả có giá trị đối với một Actor cụ thể.

Relationship Quan hệ giữa các phần tử trong mô hình, bao gồm kết hợp (association), tổng quát hóa (generalization)

Use Case khác

thể có hoặc không), các hành vi theo điều kiện nhất định

Trang 28

CHƯƠNG 3 PHƯƠNG PHÁP SINH TỰ ĐỘNG CA SỬ DỤNG TỪ MÔ HÌNH QUY TRÌNH NGHIỆP VỤ

Trong chương này, luận văn sẽ đề xuất phương pháp BPMN2UseCase - tự động chuyển đổi mô hình quy trình nghiệp vụ sang ca sử dụng và trình bày cụ thể về quy trình, cơ chế hoạt động chương trình cũng như bộ quy tắc chuyển đổi và thuật toán thực thi giải pháp

3.1 Giới thiệu

Trong quá trình phát triển các hệ thống hiện nay, vấn đề chuyển đổi mô hình quy trình nghiệp vụ sang mô hình ca sử dụng có thể mang một ý nghĩa ứng dụng rất lớn và đem lại nhiều lợi ích cụ thể Đây có thể coi là một công cụ hữu dụng hỗ trợ cho phát triển phần mềm, đặc biệt là khâu xác định chức năng phần mềm Với ưu thế tận dụng các mô hình nghiệp vụ sẵn có, hướng tiếp cận này có thể giảm thiểu được các bước không cần thiết và tiết kiệm được nguồn lực, thời gian và chi phí Mô hình đầu ra rõ ràng, trực quan giúp cho các bên liên quan có thể nắm bắt được hệ thống một cách nhanh chóng, bao gồm phạm vi của hệ thống, các tác nhân trong hệ thống và các tình huống sử dụng với các tương tác giữa tác nhân và hệ thống

Tuy nhiên, bài toán chuyển đổi này cũng xuất hiện một số khó khăn và thách thức Cụ thể, hai mô hình quy trình nghiệp vụ và ca sử dụng tuy có những sự tương đồng về mặt khái niệm tổng quát nhưng phần lớn các siêu khái niệm của các phần tử đều tương đối khác biệt Điều này đòi hỏi sự phân tích và nghiên cứu kỹ đối với từng phần tử để có thể tìm ra sự tương quan để có thể xây dựng các quy tắc chuyển đổi Bên cạnh đó, quy trình nghiệp vụ nếu chưa được chuẩn hóa hay không sử dụng các tiêu chuẩn mô hình ký hiệu phù hợp có thể sẽ đem lại nhiều khó khăn và vướng mắc khi đánh giá và trích xuất các phần tử của mô hình đầu vào Một ví dụ minh hoạ cho quy trình nghiệp vụ thực tế là Nobel Prize, biểu diễn trong Hình 3.1

Hình 3.1 Mô hình quy trình nghiệp vụ Nobel Prize [9]

Đây là một mô hình giàu thông tin và bao gồm tương đối đầy đủ các loại phần tử hay siêu khái niệm phổ biến nhất của quy trình nghiệp vụ Tuy nhiên, do gặp phải

Trang 29

khó khăn trong việc phân tích và xác định các luật chuyển đổi, mô hình ca sử dụng đầu ra còn sơ sài, chưa đầy đủ và thiếu nhiều thông tin [9] (Hình 3.2)

Hình 3.2 Mô hình ca sử dụng Nobel Prize [9]

Sau quá trình nghiên cứu tìm hiểu, luận văn đề xuất phương pháp sinh tự động biểu đồ ca sử dụng từ mô hình quy trình nghiệp vụ dựa trên chuyển đổi mô hình Nguyên lý nền tảng của giải pháp là sử dụng các siêu mô hình metamodels của cả đầu vào và đầu ra, dựa trên sự tương quan về định nghĩa và ý nghĩa của các khái niệm giữa hai siêu mô hình này để xây dựng các luật chuyển đổi Nội dung của các mô hình được thể hiện qua định dạng giao thức XMI - một tiêu chuẩn được sử dụng rộng rãi để lưu trữ và trao đổi các dữ liệu đặc tả Từ đó, việc biểu diễn biểu đồ các mô hình trở nên dễ dàng hơn với sự hỗ trợ của các công cụ mô hình hóa UML phổ biến hiện nay

3.2 Tổng quan về phương pháp BPMN2UseCase

Để thực hiện sinh tự động biểu đồ ca sử dụng từ mô hình quy trình nghiệp vụ, luận văn đã phát triển chương trình BPMN2UseCase sử dụng ngôn ngữ chuyển đổi mô hình ATL và nền tảng mô hình hóa Eclipse (EMF) Hình 3.3 thể hiện quy trình thực hiện của phương pháp, bao gồm 3 bước riêng biệt: biểu diễn mô hình BPMN đầu vào, chuyển đổi BPMN2UseCase dựa trên tập luật định sẵn và biểu diễn mô hình UseCase đầu ra

Trang 30

Hình 3.3 Quy trình chuyển đổi mô hình đề xuất

Hình 3.4 mô tả tổng quan cách thức hoạt động của chương trình được cài đặt, tương ứng với ba bước thực hiện quy trình trên

Hình 3.4 Cơ chế chuyển đổi mô hình BPMN2UseCase

Một ưu điểm quan trọng của cách tiếp cận là dựa trên ký hiệu mô hình tiêu chuẩn, nên có thể dễ dàng tích hợp vào các nền tảng và công cụ sẵn có Trong chương

trình này, mô hình quy trình nghiệp vụ được thiết kế và sử dụng bởi công cụ Eclipse

BPMN2 Modeler và tạo ra file đầu vào chuẩn định dạng bpmn như ví dụ Hình 3.5

Sau quá trình chuyển đổi với ATL, chương trình sẽ tạo ra file đầu ra chuẩn XMI định

dạng uml như Hình 3.6 Sau khi đưa vào công cụ Eclipse Papyrus, biểu đồ ca sử dụng

sẽ được tạo ra một cách trực quan và dễ tiếp cận hơn

Trang 31

Hình 3.5 Định dạng đầu vào *.bpmn

Hình 3.6 Định dạng đầu ra *.uml

3.3 Biểu diễn mô hình BPMN

Theo [14], rất nhiều kỹ thuật và công cụ đã được phát triển để sử dụng cho việc mô hình hóa quy trình nghiệp vụ, mà các kỹ thuật này phần lớn đều tập trung vào mô hình hóa các khía cạnh khác ngoài khía cạnh hành vi, ví dụ như cấu trúc tổ chức hay các đối tượng dữ liệu Trong khi đó, biểu đồ ca sử dụng thuộc loại biểu đồ hành vi, không có các khái niệm khác ngoài hành vi Do đó, các mô hình này không có sự tương quan và rất khó để tạo ra sự chuyển đổi phù hợp Trong luận văn này, BPMN đã được lựa chọn sử dụng cho bước mô hình khái niệm của quy trình nghiệp vụ, với các định nghĩa về hành vi là Flow Objects và các mối quan hệ kết nối giữa chúng là

Sequence Flow, Message Flow và Association Hình 3.7 thể hiện metamodel BPMN đơn giản.

Trang 32

Hình 3.7 Siêu mô hình lược giản BPMN [8]

Minh hoạ cho quy trình nghiệp vụ đơn giản là quá trình xử lý đơn hàng online của một webshop thể hiện trong Hình 3.8 Đây là một luồng công việc cơ bản thông thường của hệ thống bán hàng sau khi nhận được đơn hàng online từ người dùng Đối tượng thực hiện ở đây là Web system, tương ứng với siêu khái niệm BPMNPool - đại diện cho một người tham gia quy trình Quy trình gồm bốn bước theo thứ tự bao gồm: Receive Order, Check Credit, Fulfill Order và Send Invoice và được thể hiện bằng các siêu khái niệm BPMNTask - đại diện cho các hoạt động cần thực hiện Sự kiện bắt đầu và kết thúc quá trình lần lượt tương ứng với BPMNStart và BPMNEnd nằm trong siêu khái niệm BPMNEvent - đại diện cho các sự kiện diễn ra trong suốt quy trình nghiệp vụ Đây là một ví dụ đơn giản để có thể giúp hình dung rõ hơn về quy trình nghiệp vụ thực tế và cách thể hiện các siêu khái niệm tương ứng trong siêu mô hình BPMN

Hình 3.8 Mô hình quy trình nghiệp vụ xử lý đơn hàng online

3.4 Biểu diễn mô hình ca sử dụng

Một biểu đồ ca sử dụng mô tả cách một thực thể sử dụng hay tương tác với hệ thống như thế nào Để thể hiện điều đó, biểu đồ ca sử dụng thường có các yếu tố thành phần là Actor và Use Case Trong đó Actor là thể hiện của thực thể tác động

Trang 33

tới hệ thống, Use Case là tập hợp các tương tác giữa các Actor và hệ thống, từ đó mô tả một phần hành vi của hệ thống Hình 3.9 thể hiện siêu mô hình của ca sử dụng dưới dạng đơn giản.

Hình 3.9 Siêu mô hình ca sử dụng đơn giản [13]

Một ví dụ mô hình ca sử dụng được minh hoạ trong Hình 3.10, thể hiện các hành vi hoạt động của một nhà hàng Biểu đồ xác định 4 tác nhân chính của hệ thống là Client, Waiter, Cashier và Chef, tương ứng với siêu khái niệm Actor. 9 ca sử dụng bao gồm Order Food, Serve Food, Pay for Food, tương ứng với siêu khái niệm

Use Case là những hoạt động chính xảy ra tại nhà hàng Quan hệ giữa tác nhân và ca sử dụng chính là những Association và giữa các ca sử dụng với nhau là

Include, Extend, Với cấu trúc biểu đồ đơn giản, rõ ràng, mô hình ca sử dụng giúp người dùng có thể nắm rõ cách thức hoạt động của hệ thống và tương tác của người dùng với hệ thống một cách dễ dàng hơn

Hình 3.10 Mô hình hoá ca sử dụng trong một nhà hàng

Trang 34

3.5 Xác định các luật chuyển đổi mô hình

Ở phần này, luận văn đưa ra một tập hợp các mối tương quan giữa các đối tượng và các quan hệ của hai mô hình trên (dưới dạng XMI), từ đó cho phép xây dựng phương pháp để chuyển đổi mô hình một cách hợp lý Cụ thể, tập luật được chia thành ba nhóm: chuyển đổi đối tượng, chuyển đổi quan hệ giữa các đối tượng và chuyển đổi quan hệ với dữ liệu Dựa trên việc phân tích và trích xuất các yếu tố thành phần tương ứng với các luật chuyển đổi đã được xác định, luận văn sẽ phát triển các hàm ATL thực hiện quá trình chuyển đổi, xác định bởi từ khóa cú pháp rule.

3.5.1 Luật chuyển đổi cho các đối tƣợng (Rules for Elements) Luật RE1: Ánh xạ Task sang UseCase [9]

Trong BPMN, một Task biểu diễn một tương tác người dùng với hệ thống Trong khi đó, một ca sử dụng thể hiện một mục tiêu người dùng muốn đạt được khi sử dụng hệ thống [16] Do đó, có thể chuyển đổi một Task trong BPMN sang một Use Case, tên của Use Case chính là tên của Task

Hình 3.11 Luật RE1 - Ánh xạ Task sang UseCase

Siêu khái niệm Task được chuyển đổi sang siêu khái niệm UseCase, trong đó thuộc tính name sẽ được giữ nguyên và gán tương ứng cho đối tượng UseCase

mới được tạo ra Hình 3.12 mô tả cấu trúc cài đặt của luật RE1.

Hình 3.12 Hàm chuyển đổi RE1 - Task2UseCase

Luật RE2: Ánh xạ Participant sang Actor [7, 9]

Trong BPMN, bất kỳ ai có hoạt động để thực hiện, tương tự như một quy trình, được gọi là một Participant [23] Trong biểu đồ ca sử dụng, một Actor thể hiện cho một người dùng của hệ thống Từ đó, một Participant trong quy trình nghiệp vụ có thể ánh xạ sang một Actor trong ca sử dụng