Specifying Semantic Web Service Compositions using UML and OCL | IEEE Conference Publication | IEEE Xplore