Supporting transformations across user interface descriptions at various abstraction levels