Үүнийг мессежээр илгээх: Compositionality and refinement in model-driven engineering