Specify and Compose Web Services by TLA | IEEE Conference Publication | IEEE Xplore