High-Precision Service Matching Based on Formal Semantic Description | IEEE Conference Publication | IEEE Xplore