Formal semantics analysis of data flow and control flow for web composition transactions | IEEE Conference Publication | IEEE Xplore