Specification and Verification of Safe Web Service Behavior Adaptation

Behavior adaptation of Web service uses an adaptor to coordinate the interaction of Web services and solves behavior mismatch. An automatic and safe approach of Web service behavior adaptation is proposed. Firstly, the model and framework of Web service behavior adaptation is given. Then, the formal specification of service behavior and the definition of adaptor are given. The safety of service behavior adaptation is verified. The checking approach of behavior mismatch and the calculating approach of adaptor behavior are specified formally. At last, a case is studied to verify the validity of the approach proposed in this paper.