この資料をSMS送信: A Trace Semantics for Long−Running Transactions