Categorical Description and Checking for Web Services Composition Model | IEEE Conference Publication | IEEE Xplore