Improving the Performance of ActiveXML Workflows: The Formal Descriptions | IEEE Conference Publication | IEEE Xplore