Modeling Mondex (4)

Here are some more activity diagrams for GetBalance and three subactivities that are used in TransferMoney: ABORT, CheckValueSeqnoFrom, and CheckValueSeqnoTo

• GetBalance:
  
• ABORT:
  
• CheckValueSeqnoFrom:
  
• CheckValueSeqnoTo:
  
• full:
  

Back, continue to the generated code.