Modeling Web Service And Checking Copatibility Of Web Services In Asynchronous Interaction

Along with Web services composition system widespread application, many new research issuesare raised. Due to Web service loose, low coupling characteristics, the asynchronous interactions hasbeen widely used. While previous research often focuses on synchronous interaction situation, playinglittle attention to the case of service interaction base on asynchronous communication. In thesynchronous conditions, we can use UPPAAL to model Web service and checking compatibility,however, in the asynchronous condition, we need to give appropriate interaction model and algorithmto checking compatibility. In addition, the actual needs of business often require services ofinteraction to be added time constraints. In this case, to guarantee these services can correctlycomposite, the services of participating in the composition must meet the specific time constraints. Sowe must check compatibility of services with time constraints, however, the existing research mainlyfocus of whether the interactive behaviors can correctly composite, it lacks of behaviors with timeconstraints checking and verification.To solve the above problem, we give a method of checking compatibility of web services withtimed constraints in this thesis, the specific research works can be listed as follows.(1)Analysis three interactive models of web services communication, such as synchronizablecommunication, locally ordered asynchronous communication, mutually ordered asynchronouscommunication, we can identified in different circumstances applicable interaction model.(2)We discuss Web services modeling method based on timed automata in this thesis. Firstly, weextend time attribute of BPEL, secondly, according to actual business requirements specification, weadd time constraints to activities of BPEL, and finally, we can transform it to timed automata to getthe timed automata model. At last we summarized the elements of BPEL activities to automata modeltransformation rules.(3)By analyzing the given the process and algorithm of checking services compatibility, aprototype tool of checking compatibility with time constraints, this tool can supports checkingcompatibility of web services with time constraints in asynchronous interaction, and finally verifiedby examples that verify the feasibility of methods and check algorithm.