digraph G { rankdir=LR node [shape=box, fontsize=9, height=0.1, width=0.05 ] edge [arrowsize=0.5, len=0.1] "UserRequestedAction\n" "CashPointActivity\n" "Authorization\n" "desiredAmount\n" "UserResources\n" "CashPointResources\n" "EnoughResources\n" "UserRequestedAction\n"->"CashPointActivity\n" "Authorization\n"->"CashPointActivity\n" "desiredAmount\n"->"EnoughResources\n" "CashPointResources\n"->"EnoughResources\n" "UserResources\n"->"EnoughResources\n" "EnoughResources\n"->"CashPointActivity\n" }