أرسل هذا في رسالة قصيرة: Compositionality and refinement in model-driven engineering