この資料をSMS送信: Consistency rules between UML use case and activity diagrams using logical approach