A Web Service Orchestration Model Based on Concurrent Transaction Logic | IEEE Conference Publication | IEEE Xplore