A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata | IEEE Conference Publication | IEEE Xplore