Dựa vào tài liệu đặc tả màn hình, rằng buộc dữ liệu và yêu cầu nghiệp vụ (Business rule) bước tiếp theo là thực hiện thiết kế luồng xử lý nghiệp vụ cho từng sự kiện (Event). Tài liệu thiết kế lược đồ activity như sau:
DB
Front End Back End
Processing Design Online Design Document Processing
(flow)
System name IMP system
Business ID/Business name B02 Monthly Schedule
Function ID/Function name F_B02_02 処理ID／処理名 S_B02_02 Create 作成者 作成日 更新者 更新日 TungNX TungNX 13/11/2014 Information Type: Group Restricted
Company: NTT DATA Corporation Information Owner: Research and Development Headquarters
Get request Monthly Schedule Create
<<EXIT_STATUS>> [Screen] A99_06
$monthlyRequestNo = generate ID <<COM00001>>
<<EXPECTED>> Pass value: $monthlyRequestNo $annualRequestNo $year = Current year $monthStage $maintenanceType = Constants.CORRECTIVE_MAINTENACE_TYPE $itemCode = $arItemCode[$i] $locationLevel1 = $arLocationLevel1[$i] $resourceAmount = $arResourceAmount[$i] $duration = $arDuration[$i] $plnStartDate = $arPlnStartDate[$i] $plnStartEnd = $arPlnStartEnd[$i] $percentComplete = $arPercentComplete[$i] $inspectStatus = Constants.INS_PLANNING_STATUS $updatedBy = current user loged in $functionId $clientIp Return
<<EXPECTED>>
Return ~MsgID M.INF.F_COMMON.003 {Monthly Schedule}
Pass value SQL 3.0: Insert monthly schedule detail
<<EXPECTED>> $annualRequestNo $year $maintenanceType $monthStage $arItemCode[] $arLocationLevel1[] $arResourceAmount[] $arDuration[] $arPlnStartDate[] $arPlnStartEnd[] $arActStartDate[] $arActEndDate[] End $arLocationLevel1[] Begin $arLocationLevel1[] [Return 10] Return <<EXIT_STATUS>> [Screen] S_B02_02 <<EXPECTED>>
MsgID M.ERR.F_COMMON.028 [Monthly Schedule] Input Check [$scheduleObj != Null]
[$scheduleObj == Null]
Pass value Begin arLocationLevel1[] SQL 9.0: Get list location level 2
<<EXPECTED>> Pass value: $year=current year $locationLevel1=arItemLocation[i].[LOCATION_NO] Get value <<EXPECTED>> Get value: $arLocationLevel2[] Add warning [$arLocationLevel2.length = 0] <<EXPECTED>>
Add ~MsgID M.ERR.F_COMMON.xxx ({0} must have location level 2)
End arLocationLevel1[] [$arLocationLevel2.length > 0]
Error? Warning message [Y]
<<EXIT_STATUS>> [Screen] S_B02_02
<<EXPECTED>> Return error message
Pass value <<EXPECTED>> Pass value: $year $monthStage $maintenanceType = Constants.CORRECTIVE_MAINTENACE_TYPE
$status = Constants.DB_TRUE_FLAG SQL 8.0: Get list related location level 1 (distinct) Get value
Get value: $arLocationLevel1[]
[N] Click “Confirm”
Hình 3. 7. Lược đồ luồng nghiệp vụ xử lý tạo mới kế hoạch
Khi người dùng click vào nút “Xác nhận” yêu cầu được chuyển tới lớp xử lý event tương ứng. Dữ liệu người dùng được kiểm tra đảm bảo các rằng buộc cơ sở dữ liệu (khóa chính, bắt buộc phải nhập, độ dài, …). Hệ thống chỉ cho phép tạo kế hoạch khi đã các hạng mục được cài đặt mức kiểm tra ở mức hai, vì vậy, luồng nghiệp vụ sẽ kiểm tra sự tồn tại của vị trí cấp 2. Nếu dữ liệu đúng đắn theo yêu cầu nghiệp vụ sẽ được lưu vào cơ sở dữ liệu và hiển thị thông báo tạo kế hoạch thành công, kết thúc luồng nghiệp vụ.
Để đảm bảo tính đúng đắn của tài liệu phân tích, cần tránh những sai sót của tài liệu thiết kế VDM++ được sử dụng để đặc tả tài liệu thiết kế. Việc thực hiện mô hình hóa trong VDM++ cũng tương tự như việc cài đặt trong các ngôn ngữ bậc cao Java. Tuy nhiên, kiểu dữ liệu ở mức trừu tượng và không tập trung nhiều vào các xử lý cơ sở dữ liệu.
Hình 3. 8. Mô hình hóa lớp trừu tượng ScheduleAnnualModel
class ScheduleAnnualModel
operations
public getLastAnnualRequest : () ==> ScheduleAnnual_Entity
getLastAnnualRequest() == issubclassresponsibility;
public getItemsByStatus : CommonType`String ==> setof ScheduleAnnual_Entity
getItemsByStatus(sStatus) == issubclassresponsibility;
public getItemsByYear : CommonType`String ==> setof ScheduleAnnual_Entity
getItemsByYear(sYear) == issubclassresponsibility;
Hình 3. 9. Mô hình hóa lớp cài đặt ScheduleAnnualModelImpl
Lớp này cài đặt toàn bộ các xử lý liên quan đến bảng cơ sở dữ liệu Imp_Schedule_Annual. Gồm các thao tác thêm mới, sửa, xóa và một số kiểm tra ràng buộc (khóa chính, tính duy nhất, trường bắt buộc,…).
class ScheduleAnnualModelImpl is subclass of ScheduleAnnualModel
instance variables
impDB: impdb;
operations
public ScheduleAnnualModelImpl: impdb ==> ScheduleAnnualModelImpl
ScheduleAnnualModelImpl(db) == setDB(db);
public setDB: impdb ==> ()
setDB (db) == ( impDB:= db ); --Check primary key
public checkPrimaryKey : ScheduleAnnual_Entity ==> bool
checkPrimaryKey (obj) == (
return not checkExisting(obj)
);
--Check existing
public checkExisting : ScheduleAnnual_Entity ==> bool
checkExisting (obj) == (
returnexists row in set impDB.ScheduleAnnual_Table
& obj.annualRequestNo = row.annualRequestNo );
public getAllScheduleAnnuals : () ==> setof ScheduleAnnual_Entity
getAllScheduleAnnuals() == (
return impDB.ScheduleAnnual_Table
);
public findByKey : CommonType`String ==> ScheduleAnnual_Entity
findByKey(sKey) == (
return (iota sAnnual in set impDB.ScheduleAnnual_Table &
sAnnual.annualRequestNo = sKey)
);
public insert : ScheduleAnnual_Entity ==> CommonType`String
insert(obj) == (
impDB.ScheduleAnnual_Table := impDB.ScheduleAnnual_Table union {obj};
return obj.annualRequestNo
)
prenotexists row in set impDB.ScheduleAnnual_Table
& obj.annualRequestNo = row.annualRequestNo;
public update : ScheduleAnnual_Entity ==> CommonType`String
update(obj) == (
dcl sAnnualTemp : ScheduleAnnual_Entity;
sAnnualTemp := findByKey (obj.annualRequestNo);
impDB.ScheduleAnnual_Table := (impDB.ScheduleAnnual_Table \ {sAnnualTemp}) union
{obj};
return obj.annualRequestNo
)
preexists row in set impDB.ScheduleAnnual_Table
& obj.annualRequestNo = row.annualRequestNo;
public getLastAnnualRequest : () ==> ScheduleAnnual_Entity
getLastAnnualRequest() == (
dcl lastRow:ScheduleAnnual_Entity;
for all tmp in set impDB.ScheduleAnnual_Table do (
lastRow := tmp;
);
return lastRow;
)
precard impDB.ScheduleAnnual_Table >= 1;
public getItemsByStatus : CommonType`String ==> setof ScheduleAnnual_Entity
Mô hình hóa tầng controller (xử lý yêu cầu người dùng)
Hình 3. 10. Mô hình hóa lớp xử lý yêu cầu B0102ServiceController