PPT 슬라이드

- ATM/RS/CONT/1 control specification for an ATM

procedure ATM is

PIN: Pin_no;

Acc_no: Account_number;

Balance: Amount;

Service: Available_services;

Valid_card, Valid_PIN: Boolean;

begin

loop

Get_card(Acct_no, PIN, Valid_card);

if Valid_card then

Validate_PIN(PIN, Valid_PIN);

if Valid_PIN then

Get_account(Acc_no,Balance);

Get_service(Service);

while a service is selected loop

Deliver_selected_service;

Get_service(Service);

end loop;

Return_card;

end if;

end if;

end loop;

end ATM;

이전 슬라이드

다음 슬라이드

첫 슬라이드로 이동

그래픽 버전 보기