Gravar-mail: A reification calculus for model-oriented software specification