Semantic Web Service Composition by Consistency-Based Model Refinement | IEEE Conference Publication | IEEE Xplore