digraph G { rankdir=TB node [shape=box, fontsize=9, height=0.1, width=0.05 ] edge [arrowsize=0.5, len=0.1] "CashPoint\n"->"UserRequestedAction\nActionEnvironment\nCashPointActivity\n" "UserRequestedAction\nActionEnvironment\nCashPointActivity\n"->"UserRequestedAction\n" "UserRequestedAction\nActionEnvironment\nCashPointActivity\n"->"ActionEnvironment\n" "UserRequestedAction\nActionEnvironment\nCashPointActivity\n"->"CashPointActivity\n" "UserRequestedAction\n"->"userRequestedAction\n" "CashPointActivity\n"->"cashPointActivity\n" "ActionEnvironment\n"->"Authorization\nFounds\n" "Authorization\nFounds\n"->"Authorization\n" "Authorization\nFounds\n"->"Founds\n" "Founds\n"->"desiredAmount\nUserResources\nCashPointResources\nEnoughResources\n" "desiredAmount\nUserResources\nCashPointResources\nEnoughResources\n"->"desiredAmount\n" "desiredAmount\nUserResources\nCashPointResources\nEnoughResources\n"->"UserResources\n" "desiredAmount\nUserResources\nCashPointResources\nEnoughResources\n"->"CashPointResources\n" "desiredAmount\nUserResources\nCashPointResources\nEnoughResources\n"->"EnoughResources\n" "UserResources\n"->"userAccountAmount\n" "CashPointResources\n"->"cashPointAmount\n" "Authorization\n"->"enteredPin\ncorrectPin\npinDifference\nauthorizated\nfailedAttempts\n" "enteredPin\ncorrectPin\npinDifference\nauthorizated\nfailedAttempts\n"->"enteredPin\n" "enteredPin\ncorrectPin\npinDifference\nauthorizated\nfailedAttempts\n"->"correctPin\n" "enteredPin\ncorrectPin\npinDifference\nauthorizated\nfailedAttempts\n"->"pinDifference\n" "enteredPin\ncorrectPin\npinDifference\nauthorizated\nfailedAttempts\n"->"authorizated\n" "enteredPin\ncorrectPin\npinDifference\nauthorizated\nfailedAttempts\n"->"failedAttempts\n" "EnoughResources\n"->"cdAmountDifference\nudAmountDifference\n" "cdAmountDifference\nudAmountDifference\n"->"cdAmountDifference\n" "cdAmountDifference\nudAmountDifference\n"->"udAmountDifference\n" }