Parallel Architectures, Algorithms and Programming, International Symposium on (2010)
Dalian, Liaoning China
Dec. 18, 2010 to Dec. 20, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PAAP.2010.27
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.
Web service interaction, behavior mismatch, adaptor, safety
Xiong Xie, Jinyu Shi, Huawei Zhai, Weishi Zhang, Licheng Cui, "Specification and Verification of Safe Web Service Behavior Adaptation", Parallel Architectures, Algorithms and Programming, International Symposium on, vol. 00, no. , pp. 417-421, 2010, doi:10.1109/PAAP.2010.27