Static analysis of active XML systems