Enviar aquest missatge de text: Compositionality and refinement in model-driven engineering