この資料をSMS送信: A data−flow approach to test multi−agent ASMs