An efficient framework for high-quality web service discovery

Support for dynamic attributes is increasingly important for facilitating high-quality web service discovery for service-oriented architectures. we proposed the static discovery dynamic selection (SDDS) architecture to overcome limitations of existing web service discovery methods. Our service discovery algorithms consider dynamic attributes to reduce the number of viable and acceptable services and thereby improve the consumer experience. In this paper, we propose a semantic model based on finite state automata to validate interactions among the SDDS components that deal with dynamic attributes. Our analysis using the automata model revealed a flaw in the SDDS communication synchronization. This flaw was corrected by introducing a webbased synchronization component to enforce valid communication patterns.