Partial-Equivalence: A Semantic Strategy in Service Composition and Modeling | IEEE Conference Publication | IEEE Xplore