雇员
-name:char-ssn:Integer-address:char-employmentCategory:char-salary:Integer-hireDate:Date-retirementDate:Date-jobTitle:char-department:char
方法2
if orderState=active{entry/Calculate Disability Payments;record injury datails;order State:=On disability}else stateError{};
方法4
if orderState=active{entry/Calculate Status;Calculate Retirement Payment;Establish Annuityorder State:=Retired}else stateError{};
if orderState=active{order State:=active}else stateError{};
方法1
build orderorder State:=axtive
方法3
if orderState=On disability{order State:=axtive}else stateError{};
