Web service composition automation based on timed automata

Web service composition is a new direction in the research of service computing. To promote the portfolio, the key problem is to achieve efficient and automatic composition process. We propose the web service composition model based on timed automata. In the computing framework, we design the formal model and its construction algorithm; provide a web service interface description language and composition automation engine. In order to validate its performance, using UPPAAL as the service composition simulator, realized the automation process from independent web services into composite ones. The experimental results verify the feasibility of automatic service composition and the effectiveness of the proposed configuration.