3.9. Transaction

Per definition, a transformation running in enforcement mode is successful only when all its relations could be enforced. Therefore if a relation cannot be enforced after part of the target model has already been modified, it should not be left corrupt. The QVT standard does not mandate transaction but the medini QVT engine executes transformations in a transactional mode. So target models are not partially modified when a transformation fails !!.