この資料をSMS送信: Concurrency and Refinement in the Unified Modeling Language