Database Reference
In-Depth Information
GA-1':
if
Karte
= gultig
and
PIN
= richtig
and
Versuche
= nicht uberschritten
and
Betrag
Maximalbetrag
and
Kontostand = ausreichend
then
Auszahlung
= soll erfolgen
GA-2':
if
Karte = ungultig
then
Auszahlung = soll nicht erfolgen
GA-3':
if
PIN = falsch
then
Auszahlung = soll nicht erfolgen
GA-4':
if
Versuche = uberschritten
then
Auszahlung = soll nicht erfolgen
GA-5':
if
Betrag > Maximalbetrag
then
Auszahlung = soll nicht erfolgen
GA-6':
if
Kontostand = nicht ausreichend
then
Auszahlung = soll nicht erfolgen
GA-7':
if
Versuche
= nicht uberschritten
then
Kartenruckgabe = ja
GA-8':
if
Versuche
= uberschritten
then
Kartenruckgabe = nein
Abbildung 4.1 Die aus den Regeln { R1 , R2 , R1” , R2” } gewonnenen, syntaktisch verein-
fachten Regeln
Search WWH ::




Custom Search