Consistency Analysis For Interactive Behaviors Of Composed Web Services Based Logs

With the development of information technology, more and more information provided to users in the form of Web services. However, a single Web service’s function is limited, so we need to construct a composed of services to achieve the diversity of function. But after a single Web service is composed, may lead the consistency problems between interactive behaviors of composed Web service and the BPEL specification. In this paper, we analysis the consistency is to ensure the certainty between the behaviors of composed Web service and the BPEL specification. The main contents are described below:First, an interface automata model in BPEL format is built for the composed Web services, and an extension for the model is made. In this paper, we consider both the behavior and the data of the BPEL process.Second, log information of composed Web services is obtained through the technology of log4j, and the information is stored in the log file. After that, analysis the log information and get the behavioral sequences, which are for the consistency verification.Third, a behavioral consistency verification algorithm is designed that can verify the behaviors of composed Web service meet its BPEL specification.Forth, a validation prototype is completed, which is used to verify the algorithm described above. Finally, the Book System example demonstrates the prototype’s function.