An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category | IEEE Conference Publication | IEEE Xplore