Modeling and Specification of Web Services Composition Using UML-S | IEEE Conference Publication | IEEE Xplore