Modeling Web Services with FSM Modules | IEEE Conference Publication | IEEE Xplore