Specification and Verification of Safe Web Service Behavior Adaptation

Author

Xie, Xiong ; Zhang, Weishi ; Zhai, Huawei ; Cui, Licheng ; Shi, Jinyu

Author_Institution

Dept. of Inf. Sci. & Technol., Dalian Maritime Univ., Dalian, China

fYear

2010

fDate

18-20 Dec. 2010

Firstpage

417

Lastpage

421

Abstract

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.

Keywords

Web services; formal specification; formal verification; adaptor behavior; behavior mismatch; formal specification; formal verification; safe Web service behavior adaptation; service behavior adaptation safety; Adaptation model; Finite element methods; Protocols; Safety; Silicon; Software engineering; Web services; Web service interaction; adaptor; behavior mismatch; safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Architectures, Algorithms and Programming (PAAP), 2010 Third International Symposium on

Conference_Location

Dalian

Print_ISBN

978-1-4244-9482-8

Type

conf

DOI

10.1109/PAAP.2010.27

Filename

5715118