palavras-chave ATL Alloy Bidirectional transformation Least-change principle Model transformation QVT-R