The Web Services Composition Testing Based on Extended Finite State Machine and UML Model | IEEE Conference Publication | IEEE Xplore