- Mô hình động: Là các loại mô hình phụ thuộc vào yếu tố thời gian.
Chương 3: MÔ HÌNH HÓA NGHIỆP VỤ SỬ DỤNG LUẬT NGHIỆP VỤ VÀ MINH HỌA
3.2. Công cụ VeTIS xây dựng tập luật và tập từ vựng dựa vào công cụ VeTIS
cụ VeTIS
Để minh họa khả năng mở rộng của mô hình tiến trình nghiệp vụ BPMN với ngữ nghĩa của luật và từ vựng nghiệp vụ SBVR, chúng tôi sử dụng VeTIS. VeTIS là một plug-in cho công cụ MagicDraw. VeTIS dùng để định nghĩa các từ vựng và luật nghiệp vụ. VeTIS sử dụng ngôn ngữ tự nhiên rất gần gũi với người làm nghiệp vụ. Một trong những chức năng quan trọng của nó là chuyển đổi từ những đặc tả SBVR qua biểu đồ lớp UML với những ràng buộc OCL.
Dựa vào file VeTIS User Guide được cung cấp. Chúng tôi đã tạo ra tập luật và từ vựng để miêu tả hệ thống cho vay của ngân hàng (Bank Loan)
Sau đây là tập từ vựng :
loan
Definition:thetemporaryprovision ofmoney
loan_status_type
Concept_type:categorization_type Necessity: is_for general_concept loan
Loans_by_status_type
Necessity: categorization_scheme for general_concept loan that
subdivides loan by loan_status_type
loan_urgency_type
Concept_type:categorization_type Necessity: is_for general_concept loan
Loan_by_loan_urgency_type
Necessity: segmentation for general_concept loan that subdivides loan
by loan_urgency_type reliable_loan
valid_loan
reliable_loan is_a loan
real_estate
Definition:propertyconsisting ofhousesand land Synonym:asset Synonym:building territory person bank account instant_loan General_concept:loan
Necessity: is_included_in Loan_by_loan_urgency_type
regular_loan
Necessity: is_included_in Loan_by_loan_urgency_type
rejected_loan
General_concept:loan
Necessity: is_included_in Loans_by_status_type
accepted_loan
General_concept:loan
Necessity: is_included_in Loans_by_status_type
forest_parcel debtor Concept_type:role General_concept:person bail Concept_type:role General_concept:real_estate
owner Concept_type:role General_concept:person branch Concept_type:role General_concept:bank parent_bank Concept_type:role General_concept:bank amount General_concept:number duration General_concept:integer
special_conditions General_concept:text request_date General_concept:integer return_date General_concept:integer accept_date General_concept:integer address General_concept:text price General_concept:number person_code
General_concept:text bank_code General_concept:text account_number General_concept:text reject_date General_concept:integer reason General_concept:text area General_concept:number
bank gives loan
bank checks_validity_of loan
bank checks_reliability_of loan
debtor gets loan
Synonymous_form:loan is_got_by debtor Synonymous_form:loan of_the debtor
Synonymous_form:debtor that_gets_that loan
debtor requests loan
loan owns bail
Synonymous_form:bail is_owned_by loan
owner owns real_estate
Synonymous_form:real_estate is_owned_by owner
Synonymous_form:account is_owned_by person
account is_included_in bank
branch is_included_in parent_bank
Synonymous_form:parent_bank includes branch
loan is_returned
forest_parcel is_park
real_estate is_bail
loan has amount
Synonymous_form:amount of_the loan
loan has request_date
rejected_loan has reject_date
rejected_loan has reason
regular_loan has duration
instant_loan has special_conditions
loan has return_date
real_estate has address
real_estate has price
person has person_code
account has account_number
territory has area
forest_parcel is_category_of real_estate
forest_parcel is_category_of territory
Tập luật :
It is necessary that the loan is_got_by exactly one debtor.
It is necessary that a loan owns exactly one bail.
It is possible that a bail is_owned_by at most one loan.
It is possible that a debtor gets at most 3 loan.
It is necessary that the parent_bank includes at least 4 and at most 10
branch.
It is necessary that an account is_included_in exactly one bank.
It is necessary that a person owns at least 1 account.
It is necessary that a person owns at most 5 account.
It is necessary that the account is_owned_by exactly one person.
It is necessary that the loan is_given_by exactly one bank.
It is necessary that the owner owns at least 2 real_estate.
It is necessary that the real_estate is_owned_by exactly one owner.
It is permitted that a debtor requests a loan.
It is obligatory that bank checks_reliability_of the loan if the loan is_a
valid_loan.
It is necessary that amount of_the loan is_not_greater_than 10000.
It is obligatory that bank gives a loan if the loan is_a valid_loan and the
loan is_a reliable_loan.
It is necessary that the loan is_a reliable_loan if each loan of_the debtor
that_gets_that loan is_returned.
Hình 3.2. SBVR kết hợp với BPMN bằng plug-in BPMN-SBVR synchoronization
3.3. Kết luận Chương 3
Chương 3 của luận văn đề xuất kết hợp SBVR và BPMN nhằm biểu diễn tốt và bao quát hơn các cấu trúc nghiệp vụ. Trong việc kết hợp SBVR và BPMN, luận văn tập trung vào cách xây dựng các tập luật và từ vựng trong SBVR nhằm mô tả được các ràng buộc của các cấu trúc nghiệp vụ. Từ đó kết hợp với biểu đồ BPD để có thể biểu diễn tốt hơn các cấu trúc nghiệp vụ.
Ví dụ minh họa về Bank Loan có thể chưa hoàn thiện nhưng cũng đã thể hiện hướng tiếp cận kết hợp giữa luật nghiệp vụ và mô hình tiến trình nghiệp vụ thể hiện được biểu diễn tốt hơn các cấu trúc nghiệp vụ.