WFTXB: A Tool for Translating between XPDL and BPEL | IEEE Conference Publication | IEEE Xplore