أرسل هذا في رسالة قصيرة: Web services choreography testing using semantic service description