Unresolved Model
The Unresolved model is used to terminate unresolved references when transforming QVTr concrete syntax to an abstract syntax model. This ensures that the resulting model is valid and can be transformed back to concrete syntax.