Novel Method to Verify Web Services Process

王晨,王红兵,许迅

DOI: https://doi.org/10.3969/j.issn.1001-3695.2008.12.080

2008-01-01

Abstract:OWL-S and BPEL4WS are two widely used services description language which applied in modeling and implementing service composition.In the real services composition,the verification of Web services process plays an important role.Through the verification,the paper proved that a control flow of the services composition could satisfy some important or expected properties,some key properties such as no deadlock,no infinite loop and so on;also the service provider may verify Web services process to ensure that the Web services which they provided were completely correct.However,little attention had been paid to the methods which verify these two description language.And proposed a verification method of Web services which used TLA to model the services process,and then used the technology,model checking to verify some key properties.Through experiments,proves that it has good effect and is a potential and useful method in real environment.