Integrated Syntax and Semantic Validation for Services Computing | IEEE Conference Publication | IEEE Xplore