Semantic Service Specification for V&V of Service Composition and Business Processes | IEEE Conference Publication | IEEE Xplore