Font Size: a A A

Research Of Correctness Of Web Services Composition Based On Improved Fuzzy Petri Net

Posted on:2017-04-18Degree:MasterType:Thesis
Country:ChinaCandidate:S Q DaiFull Text:PDF
GTID:2348330512950337Subject:Software engineering
Abstract/Summary:PDF Full Text Request
In recent years,the rapid development of Web services technology,with the number of the same or similar functional properties is also increasing.In the face of numerous complex requirements,it is particularly important to combine single Web services into a set of correct services.Petri net has the characteristics of intuitive graphical representation,rigorous mathematical theory foundation and so on.Based on the application of Petri net modeling,some problems are verified and analyzed.The research contents and contributions of this paper are as follows:(1)The number of services is increasing.The correctness and reliability of Web service composition are the guarantee of the successful combined execution.Because the Petri net has the characteristics of asynchronous concurrent,this paper proposes an improved fuzzy Petri net modeling that was carried out on the Web service composition.A collection is added to the fuzzy Petri net,using different values to represent the combination of reliability level,data flow and control flow.(2)Due to the strict inference superiority of fuzzy Petri net,fuzzy Petri net is a structure net which combines the fuzzy theory.The dependency of Web service composition and the generation of relational dependency graph based on the analysis of fuzzy generative.Therefore,this paper introduces the improved fuzzy Petri net with MYCIN algorithm to calculate the reliability level of the service composition.(3)The existing Web service has a wide variety and different functions.In the combination phase,it is the primary task to ensure the correctness of the service composition.The improved Petri net can be a good verification of its security,accessibility,whether there is a deadlock.(4)The model of stock exchange rate called is established to analyze its reachable marking graph and verify the correctness of the model.Through the simulation experiment,this paper shows that the proposed method can solve the problem of the reliability of Web service composition effectively.
Keywords/Search Tags:Web Services Composition, Service Combination of Validation, Fuzzy Petri Net, Modeling, Correctness
PDF Full Text Request
Related items