Abstract: 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.

Key words: Regular flow net, Service adaptation, Symbolic coverability tree, Data dependence, Action dependence, Adapter