Modeling Web Services Composition with Transaction Extension for Performance Evaluation | IEEE Conference Publication | IEEE Xplore