palavras-chave Bidirectional transformations Compositionality Principle of least change Relational calculus