Research on Web Service Behavior Adaptation Based on Regular Flow Nets
基于规范流网的Web服务行为适配方法研究

Web service adaptation is an important research focus in the field of service-oriented computing. Aiming at problems of service behavior formalization and adaptation in cyclic service behavior, data flow modeling and state space explosion,we proposed a new approach for service behavior formalization and adaptation. The whole process of how to formalize service behavior based on regular flow nets,how to construct symbolic coverabihty tree of service behavior,how to build data dependence and actions dependence relationships, how to generate symbolic execution trace adapters,till accomplishing service behavior adaptation was illustrated through examples in the paper.