A solution for web service composition based on logic-interface orchestration | IEEE Conference Publication | IEEE Xplore