Modeling and Verifying Web Services Choreography Using Process Algebra | IEEE Conference Publication | IEEE Xplore