أرسل هذا في رسالة قصيرة: Verification of communication protocols in web services :