أرسل هذا في رسالة قصيرة: Formal analysis of metamodel :