4.2. Nghiên cứu tình huống thực nghiệm 4.2.1. School Library System 4.2.1. School Library System
Trong phần này, luận văn sẽ nghiên cứu và áp dụng phương pháp BPMN2UseCase vào mơ hình quy trình nghiệp vụ School Library System được đề xuất và thử nghiệm trong [10]. Mơ hình này được chia thành ba mơ hình nhỏ: Purchase book, Lend book và Return book, được thể hiện trong các Hình 4.3, 4.4 và 4.5. Sau đó, từ kết quả mơ hình ca sử dụng sinh ra có thể so sánh và đánh giá hiệu quả của cả hai phương pháp.
Hình 4.3. Mơ hình BPMN Purchase book [10].
Hình 4.4. Mơ hình BPMN Lend book [10].
Hình 4.5. Mơ hình BPMN Return book [10].
Áp dụng các luật chuyển đổi BPMN2UseCase được đề xuất ở trên, ta có thể xây dựng được biểu đồ ca sử dụng như Hình 4.6, 4.7 và 4.8.
Luật RE1: 15 UseCase sinh ra từ 15 Task tương ứng (Analyze suggestions for new acquisitions, Reject suggestion, Request budget,…)
Luật RE2: 4 Actor sinh ra từ 4 Participant tương ứng (Librarian, Supplier, Attendant, Borrower)
Luật RA1: Liên kết Association tương ứng giữa 4 Actor với các UseCase tương ứng sinh ra từ quan hệ giữa 4 Participant và các Task của từng Participant (Librarian và Analyze suggestions for new acquisitions, Attendant và Check borrower identification, ...)
Luật RA2: 3 Dependency <<precedes>> sinh ra từ 3 SequenceFlow giữa 2 Task (Receive returned book đến Search for book‟s active loan, Penalty treatment đến Upload Loan info, ...)
Luật RA3: 8 Extend association giữa các UseCase sinh ra từ 4 ExclusiveGateway (Check book status đến Register loan và đến Inform Book not available, ...)
Luật RA4: 7 Association sinh ra từ 7 MessageFlow giữa các Participant và Task (Request budget đến Supplier, Borrower đến Check book status, ...)
Luật RD1: 5 quan hệ Include ReadData sinh ra từ 5 quan hệ đọc dữ liệu từ Data Store (Suggestions đến Analyze suggestions for new acquisitions, Book đến Check book status, ...)
Luật RD2: 3 quan hệ Include WriteData sinh ra từ 3 quan hệ ghi dữ liệu vào Data Store (Perform order ghi vào Order, Register loan ghi vào Loan…)