Validating XML document adaptations via Hedge Automata transformations