Dynamic Web Service Composition Based on State Space Searching | IEEE Conference Publication | IEEE Xplore