- 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ông cụ VeTIS
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:thetemporaryprovisionofmoney loan_status_type
Concept_type:categorization_type Necessity:is_forgeneral_conceptloan
Loans_by_status_type
Necessity:categorization_schemeforgeneral_conceptloanthatsubdividesl oanbyloan_status_type
loan_urgency_type
Concept_type:categorization_type Necessity:is_forgeneral_conceptloan
Necessity:segmentationforgeneral_conceptloanthatsubdividesloanbyloa n_urgency_type
reliable_loan valid_loan
reliable_loanis_aloan valid_loanis_aloan real_estate Definition:propertyconsistingofhousesandland Synonym:asset Synonym:building territory person bank account instant_loan General_concept:loan
regular_loan
General_concept:loan
Necessity:is_included_inLoan_by_loan_urgency_type
rejected_loan
General_concept:loan
Necessity:is_included_inLoans_by_status_type
accepted_loan
General_concept:loan
Necessity:is_included_inLoans_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
bankgivesloan
Synonymous_form:loanis_given_bybank
bankchecks_reliability_ofloan debtorgetsloan
Synonymous_form:loanis_got_bydebtor
Synonymous_form:loanof_thedebtor
Synonymous_form:debtorthat_gets_thatloan debtorrequestsloan
loanownsbail
Synonymous_form:bailis_owned_byloan
ownerownsreal_estate
Synonymous_form:real_estateis_owned_byowner
personownsaccount
Synonymous_form:accountis_owned_byperson
accountis_included_inbank
branchis_included_inparent_bank
Synonymous_form:parent_bankincludesbranch
loanis_returned
real_estateis_bail
loanhasamount
Synonymous_form:amountof_theloan
loanhasrequest_date
accepted_loanhasaccept_date rejected_loanhasreject_date rejected_loanhasreason regular_loanhasduration
instant_loanhasspecial_conditions loanhasreturn_date
real_estatehasaddress real_estatehasprice personhasperson_code bankhasbank_code
accounthasaccount_number territoryhasarea
forest_parcelis_category_ofreal_estate forest_parcelis_category_ofterritory
Tập luật :
It is necessary thattheloanis_got_byexactlyonedebtor. It is necessary thataloanownsexactlyonebail.
It is possible thatabailis_owned_byatmostoneloan. It is possible thatadebtorgetsatmost3loan.
It is possible thatabranchis_included_inatmostoneparent_bank.
It is necessary thattheparent_bankincludesatleast4andatmost10branch. It is necessary thatanaccountis_included_inexactlyonebank.
It is necessary thatapersonownsatleast1account. It is necessary thatapersonownsatmost5account.
It is necessary thattheaccountis_owned_byexactlyoneperson. It is necessary thattheloanis_given_byexactlyonebank.
It is necessary thattheownerownsatleast2real_estate.
It is necessary thatthereal_estateis_owned_byexactlyoneowner. It is permitted thatadebtorrequestsaloan.
It is obligatory thatabankchecks_validity_ofaloan.
It is obligatory
thatbankchecks_reliability_oftheloaniftheloanis_avalid_loan.
It is necessary thatamountof_theloanis_not_greater_than10000.
It is obligatory
thatbankgivesaloaniftheloanis_avalid_loanandtheloanis_areliable_loan.
It is necessary
thattheloanis_areliable_loanifeachloanof_thedebtorthat_gets_thatloanis_retu
Hình 3.1. Biểu đồ lớp UML và các ràng buộc OCL thu được.
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ụ.