O desenvolvimento de Transformações em ATL presupõe um Target e um Source Model e metamodel correspondentes.

O desenvolvimento de Transformações em ATL presupõe um Target e um Source Model e metamodel correspondentes. É fato que o Source Model deve ser um modelo só de leitura no momento da transformação. Deste modo, como é possível verificar a bitransitividade na transformação? Ou seja, que o modelo de origem durante a transformação não sofreu alteração ou se tornou incompatível com o modelo de destino e vice-versa.