أرسل هذا في رسالة قصيرة: Formalized service specification and analysis model /