Research on Web Service Behavior Adaptation Based on Regular Flow Nets
Hao Wu · 2012
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 coverability 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.