This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:cases:hekate_case_cashpoint:description [2009/10/28 08:23] kinio |
hekate:cases:hekate_case_cashpoint:description [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| - ask for a balance of their account to be printed. | - ask for a balance of their account to be printed. | ||
| - | Withdrawals are subject to a user resources, which means the total amount that user has on his account. | + | Withdrawals are subject to a user resources, which means the total amount that user has on account. |
| Another restriction is that a withdrawal amount may not be greater than the value of the till local stock. | Another restriction is that a withdrawal amount may not be greater than the value of the till local stock. | ||
| Tills may keep //illegal// cards, i.e. after three failed tests for the PIN. | Tills may keep //illegal// cards, i.e. after three failed tests for the PIN. | ||
| - | The case has been originally taken from a textbook by T. Denvir, J. Oliveira, and N. Plat., //The Cash-Point (ATM) ’Problem’. Formal Aspects of Computing//, 12(4):211–215, 2000. | + | ==== Related Publications ==== |
| + | * The case has been originally taken from the paper: \\ T. Denvir, J. Oliveira, and N. Plat., //[[http://www.springerlink.com/content/hfrw0gqk351w3jee/?p=717dc93b7fcc4053a2703b99fc447ba1&pi=0|The Cash-Point (ATM) ’Problem’]]//, //Formal Aspects of Computing//, 12(4):211–215, 2000. \\ See also [[http://www.di.uminho.pt/~jno/html/jnopub.html#tex2html74|Author's page]] \\ {{:hekatedev:denvir_oliveira_plat-the_cashpoint_problem.pdf|Local copy - developers only}} | ||
| + | * Pascal Poizat, Jean-Claude Royer //KADL Specification of The Cash Point Case Study// | ||
| + | * [[http://cis.paisley.ac.uk/mcmo-ci0/SoftDev/Text/UML%20QuickGuide.pdf|UML – A Programmers Guide]] the same in the {{:hekate:cases:hekate_case_cashpoint:hekate_case_cashpoint-uc1.pdf|local copy}} | ||
| + | ==== Design History ==== | ||
| + | * [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ardcase_cs:bankomat]] | ||
| + | * [[https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#kaczor2008csltr208]] | ||
