Reference no: EM131064904
Question: Use VDM method to specify an automated transaction machine (ATM)
- Problem description
An automatic transaction machine provides fast banking services for depositing and withdrawing cash. Each user of the ATM has a card that is coded with a unique password of the user.
To initiate a transaction, machine is accessed with a card and password. If the password coded in the card matches the password entered by the user, the user is permitted to execute the transaction; otherwise, the transaction is terminated. It is assumed that only one account can be accessed with one card. The machine allows only two types of transactions withdraw, and deposit.
- Additional requirements o Each account in the bank is uniquely identified by an account number.
o A user can have several accounts with the bank; however, the user needs one card for each account.
o The machine has a reserve that can hold a fixed amount of cash.
o If there is a request to withdraw an amount exceeding the balance in that account or in the machine's reserve, the withdraw1 request will not be completed. No partial withdraw1 is permitted. The machine's reserve can be modified only by an employee of the bank. Each employee of the bank has a distinct card to access a special account.
An employee can update the reserve of the machine using the distinct card.
o The machine's reserve can be modified only by an employee of bank. Each employ of the bank has a distinct card to access a special account to update the reserve of the machine using the distinct card.
o Error messages should be given to user stating why a certain operation is not successful.
- Assumptions
o All account holders have equal privileges.
o Sufficient funds are deposited into the machine's reserve on regular basis.
- Operations Your specification should include three operations: (1) withdraw, (2) update reserve, and (3) deposit
|
What training is needed and mandated by hr
: Training Needs Assessment (or audit). What training is needed? What training is mandated? What are our resources. Prioritize.
|
|
Report your hypotheses in narrative and symbolic form
: You are working on a magic pill that you think might totally eliminate pain when given to patients who are experiencing severe pain. In your work, you have discovered three ingredients that might be effective if each is used alone. Which drug ther..
|
|
Their tosses resulted in heads
: Each person of a group of 500 people tosses a fair coin 120 times. How many people should be expected to report that (a) between 40% and 60% of their tosses resulted in heads and (b) 5/8 or more of their tosses resulted in heads?
|
|
Write a paper about us immigration and naturalization
: Write a paper about U.S. Immigration and Naturalization and Customs Service and the creation of separate agencies under the Department of Homeland Security.
|
|
Use vdm method to specify an automated transaction machine
: CSCI410/CSCI910 - Software Engineering Formal Methods - Use VDM method to specify an automated transaction machine
|
|
What is the arithmetic return for the stock
: A stock had returns of 18 percent, 11 percent, 17 percent, 14 percent, 19 percent, and -10 percent over the last six years. Required: (a) What is the arithmetic return for the stock? (b) What is the geometric return for the stock?
|
|
What percent is the fish tank empty
: A fish tank in the shape of a rectangular prism has dimensions of 15 inches and 12 inches and 8 inches the tank contains 1152 cubic inches of water. What percent is the fish tank empty?
|
|
European cash-or-nothing call pays its holder fixed amount
: A European cash-or-nothing call pays its holder a fixed amount F if the price at expiration time is larger than K and pays 0 otherwise. Find the risk-neutral valuation of such a call, one that expires in six month’s time and has F = 100 and K = 40 ,i..
|
|
Strengthen and improve initial proposal
: 1. A business research topic. Strengthen and improve initial proposal.2. A brief literature review of the research topic. Produce 2 to 3 pages on background information on your research topic.
|