A declarative control language for dependable XML message queues | IEEE Conference Publication | IEEE Xplore