Rule
Literate Specification
Ÿrule (the
information of the owner of the account has been changed) {
Ÿ (the first name is changed) <return
TRUE>
Ÿ (the last name is changed) <return
TRUE>
Ÿ (the telephone number is changed)
<return TRUE>
Ÿ <return FALSE>\
Ÿ}
Ÿrule <verify
the information of the owner of the account> {
Ÿ (the information of the owner of the
account has been changed)
Ÿ [TRUE] {
Ÿ <validate the telephone
number>
Ÿ <change the first name to
uppercase>
Ÿ <change the last name to
uppercase>
Ÿ }
Ÿ [FALSE] <return>
Ÿ}
Ÿ Action
Rule Specification
Ÿ
Condition Rule Specification