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.

[1]  Davide Sangiorgi.  Concurrency theory: timed automata, testing, program synthesis , 2011, Distributed Computing.

[2]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[3]  Robert M. Hierons,et al.  Testing Real-Time Embedded Systems using Timed Automata based approaches , 2013, J. Syst. Softw..

[4]  Pascal Lorenz,et al.  Model-driven approach supporting formal verification for web service composition protocols , 2013, J. Netw. Comput. Appl..

[5]  Ling Fang Wang,et al.  A Study of BPEL-Based Framework for Optimal Composition of Dynamic WEB Services , 2012 .

[6]  Rodolfo Gómez.  Model-checking timed automata with deadlines with Uppaal , 2011, Formal Aspects of Computing.

[7]  Elizabeth Chang,et al.  Semantic Web Service matchmakers: state of the art and challenges , 2013, Concurr. Comput. Pract. Exp..

[8]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[9]  Ilia Bider,et al.  Enterprise, Business-Process and Information Systems Modeling , 2014, Lecture Notes in Business Information Processing.

[10]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[11]  Yan Chen,et al.  QoS ontology based efficient web services selection , 2009, 2009 International Conference on Management Science and Engineering.

[12]  Mamoun Filali,et al.  Verification of Timed BPEL 2.0 Models , 2011, BMMDS/EMMSAD.

[13]  Valentín Valero,et al.  Validation and verification of Web services choreographies by using timed automata , 2011, J. Log. Algebraic Methods Program..