Formal Modeling and Implementation of Virtual Web Services

With the increasing number of Web services on the Internet, how to find Web Services that best meet users' needs become a hot research in the service computing fields. However, most current researches invoke services in a point-to-point manner, rarely considering the dynamic changes of services. Therefore, it is particularly important to establish a set of standardized service invocation methods to shield the difference between real service invocation (virtualization of Web services). Natural language processing techniques was used to realize the virtualization of the web service. On this basis, a set of matching and combination rules for virtual Web services is established. Then, the dynamic regulation mechanism and evolution mechanism are designed. Finally, the effectiveness of the proposed method is validated by using the real service dataset from the Aliyun.