MTxはトランザクションIDを生成します。

Tx1.1は、トランザクションIDを監査表に挿入してコミットします。

MTxは口座の残高を確認します。

Tx2.1は前述のトランザクションIDを使用して監査表を更新した後、コミットします。

MTxは払戻しに応じます。MTスコープは終了します。