MTxはトランザクションIDを生成します。
Tx1.1は、トランザクションIDを監査表に挿入してコミットします。
MTxは口座の残高を確認します。
Tx2.1は前述のトランザクションIDを使用して監査表を更新した後、コミットします。
MTxは払戻しに応じます。MTスコープは終了します。