この資料をSMS送信: Automated Negotiation from Declarative Contract Descriptions