7.1.2-操作規則

給SA的UML/MDA實務手冊
----------
第7章-分析企業規則

7.1-Why分析企業規則

7.1.2 操作規則

        操作規則(Operation Constraint Rules)用來保證操作會正確執行，通常又分為「操作前規則」(Operation Precondition Rules)及「操作後規則」(Operation Postcondition Rules)。

        在基金模擬個案中，定期定額申購類別提供了一項「自動申購」操作。只要(ONLY IF)在交易狀態為正常扣款，且(and)扣款帳戶餘額大於或等於交易金額(申購金額+手續費)的情況下，將執行(Execute)「自動申購」這項操作。自動申購的操作前規則，記述如下：

Execute 自動申購

ONLY IF 交易狀態＝正常扣款

and 扣款帳戶的餘額≧(申購金額+手續費)

        而且，執行(Execute)「自動申購」這項操作正確地完成(IS CORRECTLY COMPLETED)之後，扣款帳戶最新餘額只會是(ONLY IF)先前的餘額扣減交易金額(申購金額+手續費)，且(and)基金最新庫存單位數只會是先前的庫存單位數加上本次申購單位數(申購金額÷申購淨值)。自動申購的操作後規則，記述如下：

Execute 自動申購 IS CORRECTLY COMPLETED

ONLY IF 扣款帳戶最新餘額＝餘額－(申購金額+手續費)

and 基金最新庫存單位數＝庫存單位數+ (申購金額÷申購淨值)