Enviar por SMS: A reification calculus for model-oriented software specification